Michael Maher's Publications

• Constraints and Databases
• Constraint Programming
• Concurrent Constraint Programming
• Defeasible Reasoning
• Algebras of Trees
• Logic Programming
• Miscellaneous

There is a different list of my papers, at the DBLP bibliography.

And another list on Google Scholar.

And one more on Libra.

For information on citations of my work, see CiteSeer (and its new incarnation CiteSeer^X), where I am listed among the most cited authors in Computer Science.

Constraints and Databases

• J. Wang, R. Topor & M. Maher, Rewriting Unions Queries Using Views, Constraints 10(3): 219-251, 2005.
  (pdf)
• J. Wang, M. Maher & R. Topor, Rewriting Unions of General Conjunctive Queries Using Views, Proc. Conf. on Extending Database Technology , LNCS 2287, 52-69, 2002.
  (pdf)
• J. Wang, M. Maher & R. Topor, Rewriting General Conjunctive Queries using Views, Proc. Australasian Database Conference , 2002.
  (ps)
• J. Wang, R. Topor & M. Maher, Reasoning with Disjunctive Constrained Tuple-Generating Dependencies, Proc. International Conference on Database and Expert Systems Applications, LNCS 2113, 963-973, 2001.
  (ps)
• M. Maher & J. Wang, Optimizing Queries in Extended Relational Databases, Proc. International Conference on Database and Expert Systems Applications, LNCS 1873, 386-396, 2000.
  (ps)
• A. Brodsky, C. Lassez, J-L. Lassez & M.J. Maher, Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data, Journal of Automated Reasoning 23(1): 83-104, 1999.
  (ps)
• A. Brodsky, J. Jaffar & M. Maher, Toward Practical Query Evaluation for Constraint Databases, Constraints 2, (3&4) 279-304, 1997.
  (ps)
• M.J. Maher, Constrained Dependencies, Theoretical Computer Science 173, 113-149, 1997.
  (ps)
• M. Maher & D. Srivastava, Chasing Constrained Tuple-Generating Dependencies, Proc. ACM Symposium on Principles of Database Systems, 128-138, 1996.
  (ps)
• M.J. Maher, A Transformation System for Deductive Database Modules with Perfect Model Semantics, Theoretical Computer Science 110, 377-403, 1993.
• M.J. Maher & P.J. Stuckey, Expanding Query Power in CLP Languages, Proc. North American Conference on Logic Programming, Cleveland, 20-36, 1989.
  (ps)
  (pdf)

Constraint Programming

• M. Maher,N. Narodytska, C.-G. Quimpter & T. Walsh, Flow-based propagators for the SEQUENCE and related global constraints, Proc. International Conference on Principles and Practice of Constraint Programming, LNCS 5202, Springer, 159-174, 2008.

• M. Maher, Heyting Domains for Constraint Abduction, Proc. Australian Joint Conference on Artificial Intelligence, LNAI 4304, Springer, 9-18, 2006.
  (pdf)

• P. J. Stuckey, M. Garcia de la Banda, M. Maher, K. Marriott, J. Slaney, Z. Somogyi, M. Wallace & T. Walsh, The G12 Project: Mapping Solver Independent Models to Efficient Solutions, Proc. International Conference on Logic Programming, LNCS 3668, Springer, 9-13, 2005. Also in: Proc. International Conference on Principles and Practice of Constraint Programming, LNCS 3709, Springer, 13-16, 2005.
  (pdf)

• M. Maher, Abduction of Linear Arithmetic Constraints, Proc. International Conference on Logic Programming, LNCS 3668, Springer, 174-188, 2005.
  Original (pdf)   Errata (pdf)   Revised version (pdf)
• M. Maher, Herbrand Constraint Abduction, Proc. Symposium on Logic in Computer Science, 397-406, 2005.
  (ps)
• M. Beaumont, J. Thornton, A. Sattar & M. Maher, Solving Over-constrained Temporal Reasoning Problems using Local Search, Proc. Pacific Rim Conference on Artificial Intelligence, 2004.
  (pdf)
• M. Maher, Global Constraints and Constraint Programming, presentation at BIRS workshop on Constraint Programming, Belief Revision and Combinatorial Optimization, 2003.
  (ppt)
• M. Maher, A Synthesis of Constraint Satisfaction and Constraint Solving, Proc. Principles and Practice of Constraint Programming, 525-538, 2003.
  (ps)
• M. Maher, Analysis of a Global Contiguity Constraint, Proc. Workshop on Rule-Based Constraint Reasoning and Programming, 2002.
  (pdf)
• M. Maher, Propagation Completeness of Reactive Constraints, Proc. International Conference on Logic Programming, 148 - 162, 2002.
  (pdf)
• J. Thornton, M. Beaumont, A. Sattar & M. Maher, A Local Search Approach to Modelling and Solving Interval Algebra Problems, Journal of Logic and Computation 14(1), 93--112, 2004.

  Preliminary version: J. Thornton, M. Beaumont, A. Sattar & M. Maher, Applying Local Search to Temporal Reasoning, Proc. International Symposium on Temporal Representation and Reasoning (TIME-2002).
  (pdf)

• M. Beaumont, A. Sattar, M.J. Maher & J. Thornton, Solving Overconstrained Temporal Reasoning Problems, Proc. Australian Joint Conference on Artificial Intelligence, 37-49, 2001.
  (pdf)
• M.J. Maher, Adding Constraints to Logic-based Formalisms, in: The Logic Programming Paradigm: a 25 Years Perspective, K.R. Apt, V. Marek, M. Truszczynski and D.S. Warren (Eds.), Springer-Verlag, Artificial Intelligence Series, 313-331, 1999.
  (pdf)
• E. Tick, R. Yap & M. Maher, Finding Fair Allocations for the Coalition Problem with Constraints, Proc. International Conference on Logic Programming, MIT Press, 530-544, 1999.
  (pdf)
• J. Jaffar, M.J. Maher, K.G. Marriott & P.J. Stuckey, Semantics of Constraint Logic Programs, Journal of Logic Programming, 37, 1-46, 1998.
  (pdf)
• J. Jaffar & M.J. Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming 19 & 20, 503-581, 1994.
  (ps)

• J. Jaffar, M.J. Maher, P.J. Stuckey & R.H.C. Yap, Beyond Finite Domains, Proc. Principles and Practice of Constraint Programming, LNCS 874, 86-94, 1994.
  (ps)
• J. Jaffar, M.J. Maher, P.J. Stuckey & R.H.C. Yap, Projecting CLP(R) Constraints, New Generation Computing 11, 449-469, 1993.
  (ps)
• M.J. Maher, A Transformation System for Deductive Database Modules with Perfect Model Semantics, Theoretical Computer Science 110, 377-403, 1993.
• M.J. Maher, A Logic Programming View of CLP, Proc. 10th International Conference on Logic Programming, MIT Press, 737-753, 1993.
  (ps)
• M.J. Maher, A CLP View of Logic Programming, Proc. 3rd Conference on Algebraic and Logic Programming, LNCS 632, 364-383, 1992.
  (ps)
• J-L. Lassez & M.J. Maher, On Fourier's Algorithm for Linear Arithmetic Constraints, Journal of Automated Reasoning 9, 373-379, 1992.
  (ps)
• M.J. Maher & P.J. Stuckey, Expanding Query Power in CLP Languages, Proc. North American Conference on Logic Programming, Cleveland, 20-36, 1989.
  (ps)
• A. Borning, M.J. Maher, A. Martindale & M. Wilson, Constraint Hierarchies and Logic Programming, Proc. 6th International Conference on Logic Programming, Lisbon, Portugal, 149-164, 1989.

Concurrent Constraint Programming

• H. Gaifman, M.J. Maher & E. Shapiro, Replay, Recovery, Replication and Snapshots of Nondeterministic Concurrent Programs, Proc. ACM Symposium on Principles of Distributed Computation, 241-255, 1991.
  (ps)
• H. Gaifman, M. Maher & E. Shapiro, Reactive Behavior Semantics for Concurrent Constraint Logic Programs, Proc. North American Conference on Logic Programming, Cleveland, 553-569, 1989.
  (ps)
• M.J. Maher, Logic Semantics for a Class of Committed-Choice Programs, Proc. 4th International Conference on Logic Programming, Melbourne, Australia, 858-876, 1987.

Defeasible Reasoning

• G. Antoniou, D. Billington, G. Governatori & M. Maher, Embedding Defeasible Logic into Logic Programming, Theory and Practice of Logic Programming, 6(6), 703-735, 2006.
  (pdf)

• G. Governatori, M.J. Maher, G. Antoniou & D. Billington, Argumentation Semantics for Defeasible Logics, Journal of Logic and Computation, 14(5), 675-702, 2004.
  (pdf)

• M. Maher, A Model-Theoretic Semantics for Defeasible Logic, Proc. Workshop on Paraconsistent Computational Logic, 67 - 80, 2002.
  (ps)
• G. Antoniou & M. Maher, Embedding Defeasible Logic into Logic Programs, Proc. International Conference on Logic Programming, 393 - 404, 2002.
  Revised version: (ps)

• G. Antoniou, D. Billington, G. Governatori & M. Maher, Representation Results for Defeasible Logic, ACM Transactions on Computational Logic, 2, 255-287, 2001.
  (pdf)
• M. Maher, Propositional Defeasible Logic has Linear Complexity, Theory and Practice of Logic Programming, 1(6), 691-711, 2001.
  (ps)
• M.J. Maher, A. Rock, G. Antoniou, D. Billington & T. Miller, Efficient Defeasible Reasoning Systems, International Journal on Artificial Intelligence Tools, 10 (4), 483-501, 2001.
  (ps)
• G. Antoniou, M. Maher & D. Billington, Defeasible Logic versus Logic Programming without Negation as Failure, Journal of Logic Programming, 42, 47-57, 2000.
  (ps)
• G. Antoniou, D. Billington, G. Governatori & M. Maher, A Flexible Framework for Defeasible Logics, Proc. American National Conference on Artificial Intelligence (AAAI-00), AAAI/MIT Press, 405-410, 2000.
  (pdf)
• G. Antoniou, D. Billington, G. Governatori, M.J. Maher & A. Rock, A Family of Defeasible Reasoning Logics and its Implementation, Proc. European Conf. on Artificial Intelligence, 459-463, 2000.
  (pdf)
• G. Governatori & M. Maher, An Argumentation-Theoretic Characterization of Defeasible Logic, Proc. European Conf. on Artificial Intelligence, 469-474, 2000.
  (pdf)
• G. Governatori, M.J. Maher, G. Antoniou & D. Billington, Argumentation Semantics for Defeasible Logics, Proc. Pacific Rim Conf. on Artificial Intelligence, LNAI 1886, 27-37, 2000.
  (pdf)
• M. Maher, A Denotational Semantics for Defeasible Logic, Proc. First International Conference on Computational Logic, LNAI 1861, Springer, 209-222, 2000.
  (ps)
• G. Antoniou, D. Billington & M. Maher, On the Analysis of Regulations using Defeasible Rules, Proc. Hawaii International Conference on System Sciences, 1999.
  (ps)
• M. Maher & G. Governatori, A Semantic Decomposition of Defeasible Logics, Proc. American National Conference on Artificial Intelligence (AAAI-99), AAAI/MIT Press, 299-305, 1999.
  Revised version (pdf)
• D. Billington, G. Antoniou, G. Governatori & M. Maher, Revising Nonmonotonic Theories: The Case of Defeasible Logic, Proc. German Conference on Artificial Intelligence (KI-99), LNAI 1701, Springer, 1999.
  (pdf)
• M. Maher, G. Antoniou & D. Billington, A Study of Provability in Defeasible Logic, Proc. Australian Joint Conference on Artificial Intelligence, LNAI 1502, Springer, 215-226, 1998.
  (pdf)
• G. Antoniou, D. Billington & M. Maher, Sceptical Logic Programming based Default Reasoning - Defeasible Logic Rehabilitated, Foundations of Commonsense Reasoning, 1998.

Algebras of Trees

• M. Maher, Herbrand Constraint Abduction, Symposium on Logic in Computer Science, 397-406, 2005.
  (ps)
• M.J. Maher & P.J. Stuckey, On Inductive Inference of Cyclic Structures, Annals of Mathematics and Artificial Intelligence, 15, 2, 167-208, 1995.
  Missing pictures (ps)
• M.J. Maher, A CLP View of Logic Programming, Proc. 3rd Conference on Algebraic and Logic Programming, LNCS 632, 364-383, 1992.
  (ps)
• J-L. Lassez, M.J. Maher & K. Marriott, Elimination of Negation in Term Algebras, Proc. Mathematical Foundations of Computer Science, 1-16, 1991.
  (ps)
• M.J. Maher, Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning, Proc. 1st International Workshop on Logic Programming and Non-Monotonic Reasoning, MIT Press, 181-195, 1991.
  (ps)
• M.J. Maher, On Parameterized Substitutions, IBM Research Report RC 16042, T.J. Watson Research Center, 1990.
  (pdf)
• J-L. Lassez, M.J. Maher & K.G. Marriott, Unification Revisited, in: Foundations of Deductive Databases and Logic Programming, J. Minker (Ed), Morgan Kaufmann, 587-625, 1988.
• M.J. Maher, Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees, Proc. 3rd Logic in Computer Science Conference, Edinburgh, UK, 348-357, 1988.
• M.J. Maher, Complete Axiomatizations of Finite, Rational and Infinite Trees, IBM Research Report, T.J. Watson Research Center, 1988. Addendum, 1988.
  The research report (pdf, about 13MB) and an incomplete addendum (pdf, about 1MB)

Logic Programming

• R. Barbuti, M. Codish, R. Giacobazzi & M.J. Maher, Oracle Semantics for Prolog, Information and Computation, 122 (2), 178-200, 1995.
  (ps)

• M.J. Maher, A Logic Programming View of CLP, Proc. 10th International Conference on Logic Programming, MIT Press, 737-753, 1993.
  (ps)
• M.J. Maher, A CLP View of Logic Programming, Proc. 3rd Conference on Algebraic and Logic Programming, LNCS 632, 364-383, 1992.
  (ps)
• M.J. Maher, Reasoning about Stable Models (and other Unstable Semantics), manuscript, 1990.
  (pdf)
• M.J. Maher & R. Ramakrishnan, Déjà Vu in Fixpoints of Logic Programs, Proc. North American Conference on Logic Programming, Cleveland, 963-980, 1989.
  Full version, 1994. (pdf)
• M.J. Maher, Equivalences of Logic Programs, in: Foundations of Deductive Databases and Logic Programming, J. Minker (Ed), Morgan Kaufmann, 627-658, 1988.
• M.J. Maher, Correctness of a Logic Program Transformation System, IBM Research Report RC 13496, T.J. Watson Research Center, 1988.
  (pdf)
• M.J. Maher, Single Rules Form Canonical Logic Programs, IBM Research Report RC 13528, T.J. Watson Research Center, 1988.
  (pdf)
• J. Jaffar, J-L. Lassez & M.J. Maher, Some Issues and Trends in the Semantics of Logic Programming, Proc. 3rd International Conference on Logic Programming, London, U.K., LNCS 225, 223-241, 1986.
  (pdf)
• J. Jaffar, J-L. Lassez & M.J. Maher, Prolog-II as an Instance of the Logic Programming Language Scheme, in: Formal Description of Programming Concepts III, M. Wirsing (Ed), North-Holland, 275-299, 1987.
• J. Jaffar, J-L. Lassez & M.J. Maher, A Logic Programming Language Scheme, in: Logic Programming: Relations, Functions and Equations, D. DeGroot and G. Lindstrom (Eds), Prentice-Hall, 441-467, 1986.
• J. Jaffar, J-L. Lassez & M.J. Maher, Comments on ``General Failure of Logic Programs'', Journal of Logic Programming 3, 2 (1986) 115-118.
• J-L. Lassez & M.J. Maher, Optimal Fixedpoints of Logic Programs, Theoretical Computer Science 39 (1985) 15-25.

• D.A. Wolfram, M.J. Maher & J-L. Lassez, A Unified Treatment of Resolution Strategies for Logic Programs, Proc. 2nd International Logic Programming Conference, Uppsala, Sweden, 263-276, 1984.
• J-L. Lassez & M.J. Maher, The Denotational Semantics of Horn Clauses as a Production System, Proc. AAAI National Conference on Artificial Intelligence (AAAI-83), Washington, USA, 229-231, 1983.

Miscellaneous

• J. Jaffar, M. Maher & G. Neumann, An Architecture and Prototype Implementation of a System for Individualised Workflows in Medical Information Systems, Proc. Hawaii International Conference on System Sciences, 1999.
  (ps)
• G. Antoniou, D. Billington & M. Maher, On the Analysis of Regulations using Defeasible Rules, Proc. Hawaii International Conference on System Sciences, 1999.
  (ps)
• J. Jaffar, M. Maher & G. Neumann, Diabetes Manager, IBM Research Report, T.J. Watson Research Center, 1995.
• M.J. Maher, Semantics of Logic Programs, Ph.D. Thesis, University of Melbourne, 1985. (Technical Report 85/14, Department of Computer Science.)