|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 99 publication records. Showing 99 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael J. Maher |
SOGgy Constraints: Soft Open Global Constraints.   |
CP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Open Constraints in a Boundable World. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Open Contractible Global Constraints. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Flow-Based Propagators for the SEQUENCE and Related Global Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher, Ge Huang |
On Computing Constraint Abduction Answers. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moreno Falaschi, Michael J. Maher |
Introduction Special Issue on Multiparadigm Languages and Constraint Programming. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Heyting Domains for Constraint Abduction. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Michael J. Maher (eds.) |
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy |
PPDP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
Embedding defeasible logic into logic programming. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Abduction of Linear Arithmetic Constraints. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Herbrand Constraint Abduction. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhu Wang, Rodney W. Topor, Michael J. Maher |
Rewriting Union Queries Using Views. |
Constraints |
2005 |
DBLP DOI BibTeX RDF |
global schema, union query, implication constraint, contained rewriting, constraint, data integration, query, view |
| 1 | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
Embedding Defeasible Logic into Logic Programming |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher (eds.) |
Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings |
ASIAN |
2004 |
DBLP BibTeX RDF |
|
| 1 | Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher |
Solving Over-Constrained Temporal Reasoning Problems Using Local Search. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Propositional Defeasible Logic has Linear Complexity |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington |
Argumentation Semantics for Defeasible Logic. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 99 (20 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")