| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Michael J. Maher 74 Junhu Wang , Michael J. Maher, Rodney W. Topor : Rewriting General Conjunctive Queries Using Views. Australasian Database Conference 2002 73 Junhu Wang , Michael J. Maher, Rodney W. Topor : Rewriting Unions of General Conjunctive Queries Using Views. EDBT 2002 : 52-69 72 Michael J. Maher: Propagation Completeness of Reactive Constraints. ICLP 2002 : 148-162 71 Grigoris Antoniou , Michael J. Maher: Embedding Defeasible Logic into Logic Programs. ICLP 2002 : 393-404 70 John Thornton , Matthew Beaumont , Abdul Sattar , Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002 : 94-99 69 Joxan Jaffar , Michael J. Maher: Guest Editorial. Constraints 7 (3-4): 227-228 (2002) 68 Matthew Beaumont , Abdul Sattar , Michael J. Maher, John Thornton : Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001 : 37-49 67 Junhu Wang , Rodney W. Topor , Michael J. Maher: Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. DEXA 2001 : 963-973 66 Michael J. Maher, Andrew Rock , Grigoris Antoniou , David Billington , Tristan Miller : Efficient Defeasible Reasoning Systems. International Journal on Artificial Intelligence Tools 10 (4): 483-501 (2001) 65 Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher: Representation results for defeasible logic. TOCL 2 (2): 255-287 (2001) 64 Michael J. Maher: Propositional Defeasible Logic has Linear Complexity. TPLP 1 (6): 691-711 (2001) 63 Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher: A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000 : 405-410 62 Michael J. Maher: A Denotational Semantics of Defeasible Logic. Computational Logic 2000 : 209-222 61 Michael J. Maher, Junhu Wang : Optimizing Queries in Extended Relational Databases. DEXA 2000 : 386-396 60 Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher, Andrew Rock : A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000 : 459-463 59 Guido Governatori , Michael J. Maher: An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI 2000 : 469-473 58 Michael J. Maher, Andrew Rock , Grigoris Antoniou , David Billington , Tristan Miller : Efficient defeasible reasoning systems. ICTAI 2000 : 384-392 57 Guido Governatori , Michael J. Maher, Grigoris Antoniou , David Billington : Argumentation Semantics for Defeasible Logics. PRICAI 2000 : 27-37 56 Grigoris Antoniou , Michael J. Maher, David Billington : Defeasible Logic versus Logic Programming without Negation as Failure. JLP 42 (1): 47-57 (2000) 55 Michael J. Maher, Guido Governatori : A Semantic Decomposition of Defeasible Logics. AAAI/IAAI 1999 : 299-305 54 Joxan Jaffar , Michael J. Maher, Gustaf Neumann : An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. HICSS 1999 53 Grigoris Antoniou , David Billington , Michael J. Maher: On the Analysis of Regulations using Defeasible Rules. HICSS 1999 52 Evan Tick , Roland H. C. Yap , Michael J. Maher: Finding Fair Allocations for the Coalition Problem with Constraints. ICLP 1999 : 530-544 51 David Billington , Grigoris Antoniou , Guido Governatori , Michael J. Maher: Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999 : 101-112 50 Grigoris Antoniou , Michael J. Maher, David Billington , Guido Governatori : A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999 : 347-356 49 Alexander Brodsky , Catherine Lassez , Jean-Louis Lassez , Michael J. Maher: Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. Journal of Automated Reasoning 23 (1): 83-104 (1999) 48 Michael J. Maher, Jean-Francois Puget : Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings. Springer 1998 47 Michael J. Maher, Grigoris Antoniou , David Billington : A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998 : 215-226 46 Grigoris Antoniou , David Billington , Michael J. Maher: Normal Forms for Defeasible Logic. IJCSLP 1998 : 160-174 45 Joxan Jaffar , Michael J. Maher, Kim Marriott , Peter J. Stuckey : The Semantics of Constraint Logic Programs. JLP 37 (1-3): 1-46 (1998) 44 Alexander Brodsky , Joxan Jaffar , Michael J. Maher: Toward Practical Query Evaluation for Constraint Databases. Constraints 2 (3/4): 279-304 (1997) 43 Michael J. Maher: Constrained Dependencies. TCS 173 (1): 113-149 (1997) 42 Michael Jampel , Eugene C. Freuder , Michael J. Maher: Over-Constrained Systems. Springer 1996 41 Michael J. Maher, Divesh Srivastava : Chasing Constrained Tuple-Generating Dependencies. PODS 1996 : 128-138 40 Michael J. Maher: Constrained Dependencies. CP 1995 : 170-185 39 Joxan Jaffar , Michael J. Maher, Gustaf Neumann : Logic Programming and Object Modelling: A Case Study (Abstract). ILPS 1995 : 48 38 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 37 Michael J. Maher, Peter J. Stuckey : On Inductive Inference of Cyclic Structures. Annals of Mathematics and Artificial Intelligence 15 (2): 167-208 (1995) 36 Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Michael J. Maher: Oracle Semantics for Prolog. Information and Computation 122 (2): 178-200 (1995) 35 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) 34 Joxan Jaffar , Michael J. Maher, Peter J. Stuckey , Roland H. C. Yap : Beyond Finite Domains. PPCP 1994 : 86-94 33 Maurice Bruynooghe , Saumya K. Debray , Manuel V. Hermenegildo , Michael J. Maher: Guest Editor's Introduction. JLP 19/20 : 1-3 (1994) 32 Joxan Jaffar , Michael J. Maher: Constraint Logic Programming: A Survey. JLP 19/20 : 503-581 (1994) 31 Michael J. Maher: A Logic Programming View of CLP. ICLP 1993 : 737-753 30 Alexander Brodsky , Joxan Jaffar , Michael J. Maher: Toward Practical Constraint Databases. VLDB 1993 : 567-580 29 Joxan Jaffar , Michael J. Maher, Peter J. Stuckey , Roland H. C. Yap : Projecting CLP (R) Constraints. New Generation Computing 11 (3): 449-469 (1993) 28 Michael J. Maher: A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. TCS 110 (2): 377-403 (1993) 27 Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Michael J. Maher: Oracle Semantics for Prolog. ALP 1992 : 100-114 26 Michael J. Maher: A CLP View of Logic Programming. ALP 1992 : 364-383 25 Joxan Jaffar , Michael J. Maher, Peter J. Stuckey , Roland H. C. Yap : Output in CLP. FGCS 1992 : 987-995 24 Jean-Louis Lassez , Michael J. Maher: On Fourier's Algorithm for Linear Arithmetic Constraints. Journal of Automated Reasoning 9 (3): 373-379 (1992) 23 Michael J. Maher: Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. LPNMR 1991 : 181-195 22 Jean-Louis Lassez , Michael J. Maher, Kim Marriott : Elimination of Negation in Term Algebras. MFCS 1991 : 1-16 21 Haim Gaifman , Michael J. Maher, Ehud Y. Shapiro : Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. PODC 1991 : 241-255 20 Michael J. Maher: A Transformation System for Deductive Database Modules with Perfect Model Semantics. FSTTCS 1989 : 89-98 19 Alan Borning , Michael J. Maher, Amy Martindale , Molly Wilson : Constraint Hierarchies and Logic Programming. ICLP 1989 : 149-164 18 Michael J. Maher, Peter J. Stuckey : Expanding Query Power in Constraint Logic Programming Languages. NACLP 1989 : 20-36 17 Haim Gaifman , Michael J. Maher, Ehud Y. Shapiro : Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. NACLP 1989 : 553-569 16 Michael J. Maher, Raghu Ramakrishnan : Déjà Vu in Fixpoints of Logic Programs. NACLP 1989 : 963-980 15 Jean-Louis Lassez , Michael J. Maher, Kim Marriott : Unification Revisited. Foundations of Deductive Databases and Logic Programming. 1988 : 587-625 14 Michael J. Maher: Equivalences of Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988 : 627-658 13 Michael J. Maher: Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees. LICS 1988 : 348-357 12 Michael J. Maher: Logic Semantics for a Class of Committed-Choice Programs. ICLP 1987 : 858-876 11 Jean-Louis Lassez , Michael J. Maher, Kim Marriott : Unification Revisited. Foundations of Logic and Functional Programming 1986 : 67-113 10 Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher: Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. ICLP 1986 : 223-241 9 Michael J. Maher: Eqivalences of Logic Programs. ICLP 1986 : 410-424 8 Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher: Logic Programming Language Scheme. Logic Programming: Functions, Relations, and Equations 1986 : 441-467 7 Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher: Comments on "General Failure of Logic Programs". JLP 3 (2): 115-118 (1986) 6 Jean-Louis Lassez , Michael J. Maher: Optimal Fixedpoints of Logic Programs. TCS 39 : 15-25 (1985) 5 Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher: A Theory of Complete Logic Programs with Equality. FGCS 1984 : 175-184 4 David A. Wolfram , Michael J. Maher, Jean-Louis Lassez : A Unified Treatment of Resolution Strategies for Logic Programs. ICLP 1984 : 263-276 3 Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher: A Theory of Complete Logic Programs with Equality. JLP 1 (3): 211-223 (1984) 2 Jean-Louis Lassez , Michael J. Maher: Closures and Fairness in the Semantics of Programming Logic. TCS 29 : 167-184 (1984) 1 Jean-Louis Lassez , Michael J. Maher: The Denotational Semantics of Horn Clauses as a Production System. AAAI 1983 : 229-231  DiSC'03 © 2003 Association for Computing Machinery |
