Michael Maher's Publications
Here are some publications, selected by availability and not any other
criteria.
Some are slightly revised versions of the publication cited.
Substantial revisions are noted.
The papers are arranged by category, although
some publications are listed in more than one category.
I don't have electronic copies of any papers from before 1989
but I hope, eventually, to make those available too.
The copyright to many of these papers now belongs to
their respective publishers. Please respect it.
There are now many lists of (my) papers.
Here are a few.
There are many reasons why these bibliographies
are pretty unreliable and incomplete,
especially with regard to citations
(see, for example, the links
here
and here).
doi and
CrossRef provide look-up
for DOIs
(Digital Object Identifiers).
iThenticate
has a plagiarism checker.
On
CiteSeerX
I am listed among the
most cited authors
in Computer Science.
I have a
H-index
of 31 and over 5,000 citations, according to the H-index calculator
here
(which uses Google Scholar).
It is necessary to list all the forms of your name:
M Maher and MJ Maher, for example.
Hview
seems no longer to work.
My advisor genealogy is described by
this graph,
courtesy of the
Mathematics Genealogy Project
and
David Alber's Geneagrapher.
- 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)
-
M.A.H. Newton, D.N. Pham, A. Sattar & M.J. Maher,
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation,
Proc. International Conference on Principles and Practice of Constraint Programming,
LNCS , Springer,
2011,
to appear.
(pdf)
-
M.J. Maher,
Contractibility for Open Global Constraints,
draft, 2010.
(pdf)
-
M.J. Maher,
Contractibility and Contractible Approximations of Soft Global Constraints,
International Conference on Logic Programming ,
Technical Communications, LIPIcs 7,
2010.
(pdf)
-
M.J. Maher,
SOGgy Constraints: Soft Open Global Constraints,
Proc. International Conference on Principles and Practice of Constraint Programming,
LNCS 5732, Springer,
584-591,
2009.
(pdf)
-
M.J. Maher,
Open Contractible Global Constraints,
Proc. International Joint Conference on Artificial Intelligence (IJCAI),
578-583,
2009.
(pdf)
-
M.J. Maher,
Open Constraints in a Boundable World,
Proc. International Conference on
Integration of AI and OR Techniques in Constraint Programming
for Combinatorial Optimization Problems
(CPAIOR)
LNCS 5547, Springer,
163-177,
2009.
(pdf)
-
M.J. Maher,
Local Consistency for Extended CSPs,
Theoretical Computer Science,
410(46), 4769-4783, 2009.
(pdf)
-
M.J. Maher & G. Huang,
On Computing Constraint Abduction Answers,
Proc. International Conference on
Logic for Programming Artificial Intelligence and Reasoning (LPAR),
LNCS 5330, Springer,
421-435,
2008.
(pdf)
-
M. Maher, N. Narodytska, C.-G. Quimper & 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.
(pdf)
-
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)
(pdf)
- 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.
- 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.
(pdf)
-
M. Maher,
Human and Unhuman Commonsense Reasoning,
17th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning,
LNCS 6397,
16--29,
2010.
(pdf)
-
D. Billington, G. Antoniou, G. Governatori & M. Maher,
An Inclusion Theorem for Defeasible Logics,
ACM Transactions on Computational Logic,
12(1), 2011.
(pdf)
-
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.
-
M. Maher & G. Huang,
On Computing Constraint Abduction Answers,
Proc. International Conference on
Logic for Programming Artificial Intelligence and Reasoning (LPAR),
2008.
(pdf)
-
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)
- 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,
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,
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,
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.
- O. Mehani, R. Boreli, M. Maher & T. Ernst,
User- and Application-Centric Multihomed Flow Management,
The 36th IEEE Conference on Local Computer Networks,
2011,
to appear.
(pdf)
- 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.)