2009
2008
2007
2006
- Embedding defeasible logic into logic programmingGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher. tplp, 6(6):703-735, 2006. [doi]
- Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, ItalyAnnalisa Bossi, Michael J. Maher, editors, ACM, 2006.
- Heyting Domains for Constraint AbductionMichael J. Maher. ausai 2006: 9-18 [doi]
2005
- Herbrand Constraint AbductionMichael J. Maher. lics 2005: 397-406 [doi]
- Abduction of Linear Arithmetic ConstraintsMichael J. Maher. iclp 2005: 174-188 [doi]
- The G12 Project: Mapping Solver Independent Models to Efficient SolutionsPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. iclp 2005: 9-13 [doi]
- The G12 Project: Mapping Solver Independent Models to Efficient SolutionsPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. cp 2005: 13-16 [doi]
- Rewriting Union Queries Using ViewsJunhu Wang, Rodney W. Topor, Michael J. Maher. constraints, 10(3):219-251, 2005. [doi]
2004
- Solving Over-Constrained Temporal Reasoning Problems Using Local SearchMatthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher. pricai 2004: 134-143 [doi]
- Argumentation Semantics for Defeasible LogicGuido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington. logcom, 14(5):675-702, 2004. [doi]
- 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, ProceedingsMichael J. Maher, editor, Volume 3321 of Lecture Notes in Computer Science, Springer, 2004.
- A Local Search Approach to Modelling and Solving Interval Algebra ProblemsJohn Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher. logcom, 14(1):93-112, 2004. [doi]
2003
2002
- Embedding Defeasible Logic into Logic ProgramsGrigoris Antoniou, Michael J. Maher. iclp 2002: 393-404 [doi]
- Guest EditorialJoxan Jaffar, Michael J. Maher. constraints, 7(3-4):227-228, 2002.
- A Model-Theoretic Semantics for Defeasible LogicMichael J. Maher. pcl 2002: 67-80 [doi]
- Propagation Completeness of Reactive ConstraintsMichael J. Maher. iclp 2002: 148-162 [doi]
- Applying Local Search to Temporal ReasoningJohn Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher. time 2002: 94-99 [doi]
- Rewriting General Conjunctive Queries Using ViewsJunhu Wang, Michael J. Maher, Rodney W. Topor. adc 2002: [doi]
- Rewriting Unions of General Conjunctive Queries Using ViewsJunhu Wang, Michael J. Maher, Rodney W. Topor. edbt 2002: 52-69 [doi]
2001
- Representation results for defeasible logicGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher. tocl, 2(2):255-287, 2001. [doi]
- Solving Overconstrained Temporal Reasoning ProblemsMatthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton. ausai 2001: 37-49 [doi]
- Propositional Defeasible Logic has Linear ComplexityMichael J. Maher. tplp, 1(6):691-711, 2001.
- Efficient Defeasible Reasoning SystemsMichael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller. ijait, 10(4):483-501, 2001.
- Reasoning with Disjunctive Constrained Tuple-Generating DependenciesJunhu Wang, Rodney W. Topor, Michael J. Maher. dexa 2001: 963-973 [doi]
2000
- A Family of Defeasible Reasoning Logics and its ImplementationGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock. ecai 2000: 459-463
- Defeasible Logic versus Logic Programming without Negation as FailureGrigoris Antoniou, Michael J. Maher, David Billington. jlp, 42(1):47-57, 2000.
- A Flexible Framework for Defeasible LogicsGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher. AAAI 2000: 405-410
- An Argumentation-Theoretic Characterization of Defeasible LogicGuido Governatori, Michael J. Maher. ecai 2000: 469-473
- Argumentation Semantics for Defeasible LogicsGuido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington. pricai 2000: 27-37
- Efficient defeasible reasoning systemsMichael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller. ictai 2000: 384-392 [doi]
- A Denotational Semantics of Defeasible LogicMichael J. Maher. cl 2000: 209-222 [doi]
- Optimizing Queries in Extended Relational DatabasesMichael J. Maher, Junhu Wang. dexa 2000: 386-396 [doi]
1999
- A Comparison of Sceptical NAF-Free Logic Programming ApproachesGrigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori. lpnmr 1999: 347-356 [doi]
- On the Analysis of Regulations using Defeasible RulesGrigoris Antoniou, David Billington, Michael J. Maher. hicss 1999: [doi]
- Revising Nonmonotonic Theories: The Case of Defeasible LogicDavid Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher. ki 1999: 101-112 [doi]
- Separability of Polyhedra for Optimal Filtering of Spatial and Constraint DataAlexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher. jar, 23(1):83-104, 1999.
- An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information SystemsJoxan Jaffar, Michael J. Maher, Gustaf Neumann. hicss 1999: [doi]
- A Semantic Decomposition of Defeasible LogicsMichael J. Maher, Guido Governatori. AAAI 1999: 299-305
- Finding Fair Allocations for the Coalition Problem with ConstraintsEvan Tick, Roland H. C. Yap, Michael J. Maher. iclp 1999: 530-544
1998
- Normal Forms for Defeasible LogicGrigoris Antoniou, David Billington, Michael J. Maher. iclp 1998: 160-174
- The Semantics of Constraint Logic ProgramsJoxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey. jlp, 37(1-3):1-46, 1998.
- A Study of Provability in Defeasible LogicMichael J. Maher, Grigoris Antoniou, David Billington. ausai 1998: 215-226
- Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, ProceedingsMichael J. Maher, Jean-Francois Puget, editors, Volume 1520 of Lecture Notes in Computer Science, Springer, 1998.
1997
1996
1995
- Oracle Semantics for PrologRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher. iandc, 122(2):178-200, 1995.
- Separability of Polyhedra for Optimal Filtering of Spatial and Constraint DataAlexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher. pods 1995: 54-65 [doi]
- Guest Editors Introduction: Special Section: Ten Years of Logic ProgrammingMaurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher. jlp, 23(2):87-88, 1995.
- Logic Programming and Object Modelling: A Case Study (Abstract)Joxan Jaffar, Michael J. Maher, Gustaf Neumann. slp 1995: 48
- Constrained DependenciesMichael J. Maher. cp 1995: 170-185
- On Inductive Inference of Cyclic StructuresMichael J. Maher, Peter J. Stuckey. AMAI, 15(2):167-208, 1995.
1994
- Guest Editor s IntroductionMaurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher. jlp, 19/20:1-3, 1994.
- Beyond Finite DomainsJoxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap. ppcp 1994: 86-94
- Constraint Logic Programming: A SurveyJoxan Jaffar, Michael J. Maher. jlp, 19/20:503-581, 1994.
1993
1992
1991
1989
1988
1987
1986
- Comments on General Failure of Logic Programs Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher. jlp, 3(2):115-118, 1986.
- Logic Programming Language SchemeJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher. In Logic Programming: Functions, Relations, and Equations. pages 441-467, 1986.
- Invited Talk: Some Issues and Trends in the Semantics of Logic ProgrammingJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher. iclp 1986: 223-241
- Unification RevisitedJean-Louis Lassez, Michael J. Maher, Kim Marriott. flfp 1988: 67-113
- Eqivalences of Logic ProgramsMichael J. Maher. iclp 1986: 410-424
1985
1984
- A Theory of Complete Logic Programs with EqualityJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher. jlp, 1(3):211-223, 1984.
- A Theory of Complete Logic Programs with EqualityJoxan Jaffar, Jean-Louis Lassez, Michael J. Maher. fgcs 1984: 175-184
- Closures and Fairness in the Semantics of Programming LogicJean-Louis Lassez, Michael J. Maher. TCS, 29:167-184, 1984.
- A Unified Treatment of Resolution Strategies for Logic ProgramsDavid A. Wolfram, Michael J. Maher, Jean-Louis Lassez. iclp 1984: 263-276
1983