Search the dblp DataBase
Michael J. Maher :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alexander Brodsky , Joxan Jaffar , Michael J. Maher Toward Practical Constraint Databases. [Citation Graph (14, 38)][DBLP ] VLDB, 1993, pp:567-580 [Conf ] Michael J. Maher , Raghu Ramakrishnan Déjà Vu in Fixpoints of Logic Programs. [Citation Graph (9, 0)][DBLP ] NACLP, 1989, pp:963-980 [Conf ] Alexander Brodsky , Catherine Lassez , Jean-Louis Lassez , Michael J. Maher Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. [Citation Graph (5, 15)][DBLP ] PODS, 1995, pp:54-65 [Conf ] Joxan Jaffar , Michael J. Maher Constraint Logic Programming: A Survey. [Citation Graph (5, 0)][DBLP ] J. Log. Program., 1994, v:19, n:, pp:503-581 [Journal ] Michael J. Maher , Peter J. Stuckey Expanding Query Power in Constraint Logic Programming Languages. [Citation Graph (4, 0)][DBLP ] NACLP, 1989, pp:20-36 [Conf ] Michael J. Maher Eqivalences of Logic Programs. [Citation Graph (3, 0)][DBLP ] ICLP, 1986, pp:410-424 [Conf ] Jean-Louis Lassez , Michael J. Maher On Fourier's Algorithm for Linear Arithmetic Constraints. [Citation Graph (3, 0)][DBLP ] J. Autom. Reasoning, 1992, v:9, n:3, pp:373-379 [Journal ] Joxan Jaffar , Michael J. Maher , Peter J. Stuckey , Roland H. C. Yap Output in CLP. [Citation Graph (2, 0)][DBLP ] FGCS, 1992, pp:987-995 [Conf ] Michael J. Maher Logic Semantics for a Class of Committed-Choice Programs. [Citation Graph (2, 0)][DBLP ] ICLP, 1987, pp:858-876 [Conf ] Michael J. Maher A Logic Programming View of CLP. [Citation Graph (2, 0)][DBLP ] ICLP, 1993, pp:737-753 [Conf ] Michael J. Maher Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees [Citation Graph (2, 0)][DBLP ] LICS, 1988, pp:348-357 [Conf ] Jean-Louis Lassez , Michael J. Maher Closures and Fairness in the Semantics of Programming Logic. [Citation Graph (2, 0)][DBLP ] Theor. Comput. Sci., 1984, v:29, n:, pp:167-184 [Journal ] Michael J. Maher A CLP View of Logic Programming. [Citation Graph (1, 0)][DBLP ] ALP, 1992, pp:364-383 [Conf ] Michael J. Maher Constrained Dependencies. [Citation Graph (1, 0)][DBLP ] CP, 1995, pp:170-185 [Conf ] Michael J. Maher A Transformation System for Deductive Database Modules with Perfect Model Semantics. [Citation Graph (1, 0)][DBLP ] FSTTCS, 1989, pp:89-98 [Conf ] Alexander Brodsky , Joxan Jaffar , Michael J. Maher Toward Practical Query Evaluation for Constraint Databases. [Citation Graph (1, 0)][DBLP ] Constraints, 1997, v:2, n:3/4, pp:279-304 [Journal ] Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher A Theory of Complete Logic Programs with Equality. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1984, v:1, n:3, pp:211-223 [Journal ] Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher A Flexible Framework for Defeasible Logics. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2000, pp:405-410 [Conf ] Jean-Louis Lassez , Michael J. Maher The Denotational Semantics of Horn Clauses as a Production System. [Citation Graph (0, 0)][DBLP ] AAAI, 1983, pp:229-231 [Conf ] Michael J. Maher , Guido Governatori A Semantic Decomposition of Defeasible Logics. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1999, pp:299-305 [Conf ] Junhu Wang , Michael J. Maher , Rodney W. Topor Rewriting General Conjunctive Queries Using Views. [Citation Graph (0, 0)][DBLP ] Australasian Database Conference, 2002, pp:- [Conf ] Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Michael J. Maher Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP ] ALP, 1992, pp:100-114 [Conf ] Matthew Beaumont , Abdul Sattar , Michael J. Maher , John Thornton Solving Overconstrained Temporal Reasoning Problems. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 2001, pp:37-49 [Conf ] Michael J. Maher Heyting Domains for Constraint Abduction. [Citation Graph (0, 0)][DBLP ] Australian Conference on Artificial Intelligence, 2006, pp:9-18 [Conf ] Michael J. Maher , Grigoris Antoniou , David Billington A Study of Provability in Defeasible Logic. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 1998, pp:215-226 [Conf ] Michael J. Maher A Denotational Semantics of Defeasible Logic. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:209-222 [Conf ] Michael J. Maher A Synthesis of Constraint Satisfaction and Constraint Solving. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:525-539 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:13-16 [Conf ] Michael J. Maher , Junhu Wang Optimizing Queries in Extended Relational Databases. [Citation Graph (0, 0)][DBLP ] DEXA, 2000, pp:386-396 [Conf ] Junhu Wang , Rodney W. Topor , Michael J. Maher Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. [Citation Graph (0, 0)][DBLP ] DEXA, 2001, pp:963-973 [Conf ] Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher , Andrew Rock A Family of Defeasible Reasoning Logics and its Implementation. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:459-463 [Conf ] Guido Governatori , Michael J. Maher An Argumentation-Theoretic Characterization of Defeasible Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:469-473 [Conf ] Junhu Wang , Michael J. Maher , Rodney W. Topor Rewriting Unions of General Conjunctive Queries Using Views. [Citation Graph (0, 0)][DBLP ] EDBT, 2002, pp:52-69 [Conf ] Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher A Theory of Complete Logic Programs with Equality. [Citation Graph (0, 0)][DBLP ] FGCS, 1984, pp:175-184 [Conf ] Jean-Louis Lassez , Michael J. Maher , Kim Marriott Unification Revisited. [Citation Graph (0, 0)][DBLP ] Foundations of Logic and Functional Programming, 1986, pp:67-113 [Conf ] Grigoris Antoniou , David Billington , Michael J. Maher On the Analysis of Regulations using Defeasible Rules. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] Joxan Jaffar , Michael J. Maher , Gustaf Neumann An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] Grigoris Antoniou , David Billington , Michael J. Maher Normal Forms for Defeasible Logic. [Citation Graph (0, 0)][DBLP ] IJCSLP, 1998, pp:160-174 [Conf ] Grigoris Antoniou , Michael J. Maher Embedding Defeasible Logic into Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 2002, pp:393-404 [Conf ] Alan Borning , Michael J. Maher , Amy Martindale , Molly Wilson Constraint Hierarchies and Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1989, pp:149-164 [Conf ] Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1986, pp:223-241 [Conf ] Michael J. Maher Propagation Completeness of Reactive Constraints. [Citation Graph (0, 0)][DBLP ] ICLP, 2002, pp:148-162 [Conf ] Michael J. Maher Abduction of Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP ] ICLP, 2005, pp:174-188 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICLP, 2005, pp:9-13 [Conf ] Evan Tick , Roland H. C. Yap , Michael J. Maher Finding Fair Allocations for the Coalition Problem with Constraints. [Citation Graph (0, 0)][DBLP ] ICLP, 1999, pp:530-544 [Conf ] David A. Wolfram , Michael J. Maher , Jean-Louis Lassez A Unified Treatment of Resolution Strategies for Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1984, pp:263-276 [Conf ] Michael J. Maher , Andrew Rock , Grigoris Antoniou , David Billington , Tristan Miller Efficient defeasible reasoning systems. [Citation Graph (0, 0)][DBLP ] ICTAI, 2000, pp:384-392 [Conf ] David Billington , Grigoris Antoniou , Guido Governatori , Michael J. Maher Revising Nonmonotonic Theories: The Case of Defeasible Logic. [Citation Graph (0, 0)][DBLP ] KI, 1999, pp:101-112 [Conf ] Michael J. Maher Herbrand Constraint Abduction. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:397-406 [Conf ] Grigoris Antoniou , Michael J. Maher , David Billington , Guido Governatori A Comparison of Sceptical NAF-Free Logic Programming Approaches. [Citation Graph (0, 0)][DBLP ] LPNMR, 1999, pp:347-356 [Conf ] Michael J. Maher Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] LPNMR, 1991, pp:181-195 [Conf ] Jean-Louis Lassez , Michael J. Maher , Kim Marriott Elimination of Negation in Term Algebras. [Citation Graph (0, 0)][DBLP ] MFCS, 1991, pp:1-16 [Conf ] Michael J. Maher A Model-Theoretic Semantics for Defeasible Logic. [Citation Graph (0, 0)][DBLP ] Paraconsistent Computational Logic, 2002, pp:67-80 [Conf ] Haim Gaifman , Michael J. Maher , Ehud Y. Shapiro Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. [Citation Graph (0, 0)][DBLP ] PODC, 1991, pp:241-255 [Conf ] Michael J. Maher , Divesh Srivastava Chasing Constrained Tuple-Generating Dependencies. [Citation Graph (0, 14)][DBLP ] PODS, 1996, pp:128-138 [Conf ] Joxan Jaffar , Michael J. Maher , Peter J. Stuckey , Roland H. C. Yap Beyond Finite Domains. [Citation Graph (0, 0)][DBLP ] PPCP, 1994, pp:86-94 [Conf ] Matthew Beaumont , John Thornton , Abdul Sattar , Michael J. Maher Solving Over-Constrained Temporal Reasoning Problems Using Local Search. [Citation Graph (0, 0)][DBLP ] PRICAI, 2004, pp:134-143 [Conf ] Guido Governatori , Michael J. Maher , Grigoris Antoniou , David Billington Argumentation Semantics for Defeasible Logics. [Citation Graph (0, 0)][DBLP ] PRICAI, 2000, pp:27-37 [Conf ] Haim Gaifman , Michael J. Maher , Ehud Y. Shapiro Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] NACLP, 1989, pp:553-569 [Conf ] Joxan Jaffar , Michael J. Maher , Gustaf Neumann Logic Programming and Object Modelling: A Case Study (Abstract). [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:48- [Conf ] John Thornton , Matthew Beaumont , Abdul Sattar , Michael J. Maher Applying Local Search to Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] TIME, 2002, pp:94-99 [Conf ] Michael J. Maher , Peter J. Stuckey On Inductive Inference of Cyclic Structures. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:167-208 [Journal ] Joxan Jaffar , Michael J. Maher Guest Editorial. [Citation Graph (0, 0)][DBLP ] Constraints, 2002, v:7, n:3-4, pp:227-228 [Journal ] Junhu Wang , Rodney W. Topor , Michael J. Maher Rewriting Union Queries Using Views. [Citation Graph (0, 0)][DBLP ] Constraints, 2005, v:10, n:3, pp:219-251 [Journal ] Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher A flexible framework for defeasible logics [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Michael J. Maher Propositional Defeasible Logic has Linear Complexity [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher Representation results for defeasible logic [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Michael J. Maher Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:122, n:2, pp:178-200 [Journal ] Michael J. Maher , Andrew Rock , Grigoris Antoniou , David Billington , Tristan Miller Efficient Defeasible Reasoning Systems. [Citation Graph (0, 0)][DBLP ] International Journal on Artificial Intelligence Tools, 2001, v:10, n:4, pp:483-501 [Journal ] Alexander Brodsky , Catherine Lassez , Jean-Louis Lassez , Michael J. Maher Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1999, v:23, n:1, pp:83-104 [Journal ] Grigoris Antoniou , Michael J. Maher , David Billington Defeasible Logic versus Logic Programming without Negation as Failure. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 2000, v:42, n:1, pp:47-57 [Journal ] Maurice Bruynooghe , Saumya K. Debray , Manuel V. Hermenegildo , Michael J. Maher Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1995, v:23, n:2, pp:87-88 [Journal ] Maurice Bruynooghe , Saumya K. Debray , Manuel V. Hermenegildo , Michael J. Maher Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1994, v:19, n:, pp:1-3 [Journal ] Joxan Jaffar , Jean-Louis Lassez , Michael J. Maher Comments on "General Failure of Logic Programs". [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1986, v:3, n:2, pp:115-118 [Journal ] Joxan Jaffar , Michael J. Maher , Kim Marriott , Peter J. Stuckey The Semantics of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1998, v:37, n:1-3, pp:1-46 [Journal ] Guido Governatori , Michael J. Maher , Grigoris Antoniou , David Billington Argumentation Semantics for Defeasible Logic. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:5, pp:675-702 [Journal ] John Thornton , Matthew Beaumont , Abdul Sattar , Michael J. Maher A Local Search Approach to Modelling and Solving Interval Algebra Problems. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:1, pp:93-112 [Journal ] Joxan Jaffar , Michael J. Maher , Peter J. Stuckey , Roland H. C. Yap Projecting CLP (R) Constraints. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1993, v:11, n:3, pp:449-469 [Journal ] Jean-Louis Lassez , Michael J. Maher Optimal Fixedpoints of Logic Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:39, n:, pp:15-25 [Journal ] Michael J. Maher Constrained Dependencies. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:173, n:1, pp:113-149 [Journal ] Michael J. Maher A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:110, n:2, pp:377-403 [Journal ] Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher Representation results for defeasible logic. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2001, v:2, n:2, pp:255-287 [Journal ] Michael J. Maher Propositional Defeasible Logic has Linear Complexity. [Citation Graph (0, 0)][DBLP ] TPLP, 2001, v:1, n:6, pp:691-711 [Journal ] Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher Embedding defeasible logic into logic programming. [Citation Graph (0, 0)][DBLP ] TPLP, 2006, v:6, n:6, pp:703-735 [Journal ] Flow-Based Propagators for the SEQUENCE and Related Global Constraints. [Citation Graph (, )][DBLP ] SOGgy Constraints: Soft Open Global Constraints. [Citation Graph (, )][DBLP ] Open Constraints in a Boundable World. [Citation Graph (, )][DBLP ] Contractibility and Contractible Approximations of Soft Global Constraints. [Citation Graph (, )][DBLP ] Open Contractible Global Constraints. [Citation Graph (, )][DBLP ] On Computing Constraint Abduction Answers. [Citation Graph (, )][DBLP ] Embedding Defeasible Logic into Logic Programming [Citation Graph (, )][DBLP ] Flow-Based Propagators for the SEQUENCE and Related Global Constraints [Citation Graph (, )][DBLP ] Search in 0.193secs, Finished in 0.200secs