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