| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher |
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation.  |
CP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher |
An inclusion theorem for defeasible logics. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Human and Unhuman Commonsense Reasoning. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Contractibility and Contractible Approximations of Soft Global Constraints. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Local consistency for extended CSPs. |
Theor. Comput. Sci. |
2009 |
DBLP DOI 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 |
Open Contractible Global Constraints. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher |
Open Constraints in a Boundable World. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
SOGgy Constraints: Soft Open Global Constraints. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher, Ge Huang |
On Computing Constraint Abduction Answers. |
LPAR |
2008 |
DBLP DOI 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 | Moreno Falaschi, Michael J. Maher |
Introduction Special Issue on Multiparadigm Languages and Constraint Programming. |
TPLP |
2007 |
DBLP DOI 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 | 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 | 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, data integration, constraint, 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 |
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 | 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 | John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher |
A Local Search Approach to Modelling and Solving Interval Algebra Problems. |
J. Log. Comput. |
2004 |
DBLP DOI 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 |
|
| 1 | Michael J. Maher |
Propositional Defeasible Logic has Linear Complexity |
CoRR |
2004 |
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 |
A Synthesis of Constraint Satisfaction and Constraint Solving. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher |
Guest Editorial. |
Constraints |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher |
Applying Local Search to Temporal Reasoning. (PDF / PS) |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Propagation Completeness of Reactive Constraints. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigoris Antoniou, Michael J. Maher |
Embedding Defeasible Logic into Logic Programs. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhu Wang, Michael J. Maher, Rodney W. Topor |
Rewriting Unions of General Conjunctive Queries Using Views. |
EDBT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhu Wang, Michael J. Maher, Rodney W. Topor |
Rewriting General Conjunctive Queries Using Views. |
Australasian Database Conference |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher |
A Model-Theoretic Semantics for Defeasible Logic. |
Paraconsistent Computational Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller |
Efficient Defeasible Reasoning Systems. |
International Journal on Artificial Intelligence Tools |
2001 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
Representation results for defeasible logic. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
transformations, normal forms, defeasible logic |
| 1 | Michael J. Maher |
Propositional Defeasible Logic has Linear Complexity. |
TPLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton |
Solving Overconstrained Temporal Reasoning Problems. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhu Wang, Rodney W. Topor, Michael J. Maher |
Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. |
DEXA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigoris Antoniou, Michael J. Maher, David Billington |
Defeasible Logic versus Logic Programming without Negation as Failure. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
A flexible framework for defeasible logics |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
Representation results for defeasible logic |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock |
A Family of Defeasible Reasoning Logics and its Implementation. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Guido Governatori, Michael J. Maher |
An Argumentation-Theoretic Characterization of Defeasible Logic. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller |
Efficient defeasible reasoning systems. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining |
| 1 | Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington |
Argumentation Semantics for Defeasible Logics. |
PRICAI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher, Junhu Wang |
Optimizing Queries in Extended Relational Databases. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
A Flexible Framework for Defeasible Logics. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher |
A Denotational Semantics of Defeasible Logic. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher |
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. |
J. Autom. Reasoning |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Evan Tick, Roland H. C. Yap, Michael J. Maher |
Finding Fair Allocations for the Coalition Problem with Constraints. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher, Gustaf Neumann |
An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigoris Antoniou, David Billington, Michael J. Maher |
On the Analysis of Regulations using Defeasible Rules. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori |
A Comparison of Sceptical NAF-Free Logic Programming Approaches. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher |
Revising Nonmonotonic Theories: The Case of Defeasible Logic. |
KI |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher, Guido Governatori |
A Semantic Decomposition of Defeasible Logics. |
AAAI/IAAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey |
The Semantics of Constraint Logic Programs. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher, Grigoris Antoniou, David Billington |
A Study of Provability in Defeasible Logic. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigoris Antoniou, David Billington, Michael J. Maher |
Normal Forms for Defeasible Logic. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher, Jean-Francois Puget (eds.) |
Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings |
CP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher |
Constrained Dependencies. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Brodsky, Joxan Jaffar, Michael J. Maher |
Toward Practical Query Evaluation for Constraint Databases. |
Constraints |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher, Divesh Srivastava |
Chasing Constrained Tuple-Generating Dependencies. |
PODS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jampel, Eugene C. Freuder, Michael J. Maher (eds.) |
Over-Constrained Systems |
Over-Constrained Systems |
1996 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher |
Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher |
Oracle Semantics for Prolog. |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher, Peter J. Stuckey |
On Inductive Inference of Cyclic Structures. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher, Gustaf Neumann |
Logic Programming and Object Modelling: A Case Study (Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher |
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Constrained Dependencies. |
CP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher |
Guest Editor's Introduction. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher |
Constraint Logic Programming: A Survey. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap |
Beyond Finite Domains. |
PPCP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap |
Projecting CLP (R) Constraints. |
New Generation Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
A Logic Programming View of CLP. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alexander Brodsky, Joxan Jaffar, Michael J. Maher |
Toward Practical Constraint Databases. |
VLDB |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Lassez, Michael J. Maher |
On Fourier's Algorithm for Linear Arithmetic Constraints. |
J. Autom. Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher |
Oracle Semantics for Prolog. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
A CLP View of Logic Programming. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap |
Output in CLP. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Lassez, Michael J. Maher, Kim Marriott |
Elimination of Negation in Term Algebras. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
| 1 | Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro |
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. |
PODC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson |
Constraint Hierarchies and Logic Programming. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher, Raghu Ramakrishnan |
Déjà Vu in Fixpoints of Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher, Peter J. Stuckey |
Expanding Query Power in Constraint Logic Programming Languages. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro |
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher |
A Transformation System for Deductive Database Modules with Perfect Model Semantics. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Louis Lassez, Michael J. Maher, Kim Marriott |
Unification Revisited |
Foundations of Deductive Databases and Logic Programming. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher |
Equivalences of Logic Programs |
Foundations of Deductive Databases and Logic Programming. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher |
Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Logic Semantics for a Class of Committed-Choice Programs. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
| 1 | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
Comments on "General Failure of Logic Programs". |
J. Log. Program. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
Logic Programming Language Scheme. |
Logic Programming: Functions, Relations, and Equations |
1986 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Lassez, Michael J. Maher, Kim Marriott |
Unification Revisited. |
Foundations of Logic and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Eqivalences of Logic Programs. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Louis Lassez, Michael J. Maher |
Optimal Fixedpoints of Logic Programs. |
Theor. Comput. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
A Theory of Complete Logic Programs with Equality. |
J. Log. Program. |
1984 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")