The Denotational Semantics of Horn Clauses as a Production System. - Jean-Louis Lassez; Michael J. Maher (AAAI, 1983)

A Unified Treatment of Resolution Strategies for Logic Programs. - David A. Wolfram; Michael J. Maher; Jean-Louis Lassez (ICLP, 1984)

A Theory of Complete Logic Programs with Equality. - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (J. Log. Program., 1984)

Closures and Fairness in the Semantics of Programming Logic. - Jean-Louis Lassez; Michael J. Maher (Theor. Comput. Sci., 1984)

Optimal Fixedpoints of Logic Programs. - Jean-Louis Lassez; Michael J. Maher (Theor. Comput. Sci., 1985)

Logic Programming Language Scheme. - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (Logic Programming: Functions, Relations, and Equations, 1986)

Unification Revisited. - Jean-Louis Lassez; Michael J. Maher; Kim Marriott (Foundations of Logic and Functional Programming, 1986)

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (ICLP, 1986)

Eqivalences of Logic Programs. - Michael J. Maher (ICLP, 1986)

Comments on "General Failure of Logic Programs". - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (J. Log. Program., 1986)

Logic Semantics for a Class of Committed-Choice Programs. - Michael J. Maher (ICLP, 1987)

PROLOG - II as an instance of the logic programming language scheme. - Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher (Formal Description of Programming Concepts, 1987)

Unification Revisited - Jean-Louis Lassez; Michael J. Maher; Kim Marriott (Foundations of Deductive Databases and Logic Programming., 1988)

Equivalences of Logic Programs - Michael J. Maher (Foundations of Deductive Databases and Logic Programming., 1988)

Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees - Michael J. Maher (LICS, 1988)

A Transformation System for Deductive Database Modules with Perfect Model Semantics. - Michael J. Maher (FSTTCS, 1989)

Constraint Hierarchies and Logic Programming. - Alan Borning; Michael J. Maher; Amy Martindale; Molly Wilson (ICLP, 1989)

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. - Haim Gaifman; Michael J. Maher; Ehud Shapiro (NACLP, 1989)

Déjà Vu in Fixpoints of Logic Programs. - Michael J. Maher; Raghu Ramakrishnan 001 (NACLP, 1989)

Expanding Query Power in Constraint Logic Programming Languages. - Michael J. Maher; Peter J. Stuckey (NACLP, 1989)

Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. - Michael J. Maher (LPNMR, 1991)

Elimination of Negation in Term Algebras. - Jean-Louis Lassez; Michael J. Maher; Kim Marriott (MFCS, 1991)

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. - Haim Gaifman; Michael J. Maher; Ehud Shapiro (PODC, 1991)

A CLP View of Logic Programming. - Michael J. Maher (ALP, 1992)

Output in CLP. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (FGCS, 1992)

On Fourier's Algorithm for Linear Arithmetic Constraints. - Jean-Louis Lassez; Michael J. Maher (J. Autom. Reason., 1992)

A Logic Programming View of CLP. - Michael J. Maher (ICLP, 1993)

Toward Practical Constraint Databases. - Alexander Brodsky 001; Joxan Jaffar; Michael J. Maher (VLDB, 1993)

Projecting CLP (R) Constraints. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (New Gener. Comput., 1993)

A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. - Michael J. Maher (Theor. Comput. Sci., 1993)

Beyond Finite Domains. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (PPCP, 1994)

Guest Editor's Introduction. - Maurice Bruynooghe; Saumya K. Debray; Manuel V. Hermenegildo; Michael J. Maher (J. Log. Program., 1994)

Constraint Logic Programming: A Survey. - Joxan Jaffar; Michael J. Maher (J. Log. Program., 1994)

Logic Programming and Object Modelling: A Case Study (Abstract). - Joxan Jaffar; Michael J. Maher; Gustaf Neumann (ILPS, 1995)

On Inductive Inference of Cyclic Structures. - Michael J. Maher; Peter J. Stuckey (Ann. Math. Artif. Intell., 1995)

Oracle Semantics for Prolog. - Roberto Barbuti; Michael Codish; Roberto Giacobazzi; Michael J. Maher (Inf. Comput., 1995)

Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. - Maurice Bruynooghe; Saumya K. Debray; Manuel V. Hermenegildo; Michael J. Maher (J. Log. Program., 1995)

Chasing Constrained Tuple-Generating Dependencies. - Michael J. Maher; Divesh Srivastava (PODS, 1996)

Toward Practical Query Evaluation for Constraint Databases. - Alexander Brodsky 001; Joxan Jaffar; Michael J. Maher (Constraints An Int. J., 1997)

Constrained Dependencies. - Michael J. Maher (Theor. Comput. Sci., 1997)

A Study of Provability in Defeasible Logic. - Michael J. Maher; Grigoris Antoniou; David Billington (Australian Joint Conference on Artificial Intelligence, 1998)

Normal Forms for Defeasible Logic. - Grigoris Antoniou; David Billington; Michael J. Maher (IJCSLP, 1998)

The Semantics of Constraint Logic Programs. - Joxan Jaffar; Michael J. Maher; Kim Marriott; Peter J. Stuckey (J. Log. Program., 1998)

Adding Constraints to Logic-based Formalisms. - Michael J. Maher (The Logic Programming Paradigm, 1999)

A Semantic Decomposition of Defeasible Logics. - Michael J. Maher; Guido Governatori (AAAI/IAAI, 1999)

On the Analysis of Regulations using Defeasible Rules. - Grigoris Antoniou; David Billington; Michael J. Maher (HICSS, 1999)

An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. - Joxan Jaffar; Michael J. Maher; Gustaf Neumann (HICSS, 1999)

Finding Fair Allocations for the Coalition Problem with Constraints. - Evan Tick; Roland H. C. Yap; Michael J. Maher (ICLP, 1999)

Revising Nonmonotonic Theories: The Case of Defeasible Logic. - David Billington; Grigoris Antoniou; Guido Governatori; Michael J. Maher (KI, 1999)

A Comparison of Sceptical NAF-Free Logic Programming Approaches. - Grigoris Antoniou; Michael J. Maher; David Billington; Guido Governatori (LPNMR, 1999)

Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. - Alexander Brodsky 001; Catherine Lassez; Jean-Louis Lassez; Michael J. Maher (J. Autom. Reason., 1999)

A Flexible Framework for Defeasible Logics. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (AAAI/IAAI, 2000)

A Denotational Semantics of Defeasible Logic. - Michael J. Maher (Computational Logic, 2000)

Optimizing Queries in Extended Relational Databases. - Michael J. Maher; Junhu Wang (DEXA, 2000)

A Family of Defeasible Reasoning Logics and its Implementation. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher; Andrew Rock (ECAI, 2000)

An Argumentation-Theoretic Characterization of Defeasible Logic. - Guido Governatori; Michael J. Maher (ECAI, 2000)

Argumentation Semantics for Defeasible Logics. - Guido Governatori; Michael J. Maher; Grigoris Antoniou; David Billington (PRICAI, 2000)

Defeasible Logic versus Logic Programming without Negation as Failure. - Grigoris Antoniou; Michael J. Maher; David Billington (J. Log. Program., 2000)

Solving Overconstrained Temporal Reasoning Problems. - Matthew Beaumont; Abdul Sattar 001; Michael J. Maher; John Thornton 001 (Australian Joint Conference on Artificial Intelligence, 2001)

Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. - Junhu Wang; Rodney W. Topor; Michael J. Maher (DEXA, 2001)

Efficient Defeasible Reasoning Systems. - Michael J. Maher; Andrew Rock; Grigoris Antoniou; David Billington; Tristan Miller (Int. J. Artif. Intell. Tools, 2001)

Representation results for defeasible logic. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (ACM Trans. Comput. Log., 2001)

Propositional Defeasible Logic has Linear Complexity. - Michael J. Maher (Theory Pract. Log. Program., 2001)

Rewriting General Conjunctive Queries Using Views. - Junhu Wang; Michael J. Maher; Rodney W. Topor (Australasian Database Conference, 2002)

Rewriting Unions of General Conjunctive Queries Using Views. - Junhu Wang; Michael J. Maher; Rodney W. Topor (EDBT, 2002)

Embedding Defeasible Logic into Logic Programs. - Grigoris Antoniou; Michael J. Maher (ICLP, 2002)

Propagation Completeness of Reactive Constraints. - Michael J. Maher (ICLP, 2002)

A Model-Theoretic Semantics for Defeasible Logic. - Michael J. Maher (Paraconsistent Computational Logic, 2002)

Applying Local Search to Temporal Reasoning. - John Thornton 001; Matthew Beaumont; Abdul Sattar 001; Michael J. Maher (TIME, 2002)

Guest Editorial. - Joxan Jaffar; Michael J. Maher (Constraints An Int. J., 2002)

A Synthesis of Constraint Satisfaction and Constraint Solving. - Michael J. Maher (CP, 2003)

Solving Over-Constrained Temporal Reasoning Problems Using Local Search. - Matthew Beaumont; John Thornton 001; Abdul Sattar 001; Michael J. Maher (PRICAI, 2004)

Argumentation Semantics for Defeasible Logic. - Guido Governatori; Michael J. Maher; Grigoris Antoniou; David Billington (J. Log. Comput., 2004)

A Local Search Approach to Modelling and Solving Interval Algebra Problems. - John Thornton 001; Matthew Beaumont; Abdul Sattar 001; Michael J. Maher (J. Log. Comput., 2004)

Abduction of Linear Arithmetic Constraints. - Michael J. Maher (ICLP, 2005)

The G12 Project: Mapping Solver Independent Models to Efficient Solutions. - Peter J. Stuckey; Maria J. García de la Banda; Michael J. Maher; Kim Marriott; John K. Slaney; Zoltan Somogyi; Mark Wallace 001; Toby Walsh (ICLP, 2005)

Herbrand Constraint Abduction. - Michael J. Maher (LICS, 2005)

Rewriting Union Queries Using Views. - Junhu Wang; Rodney W. Topor; Michael J. Maher (Constraints An Int. J., 2005)

Heyting Domains for Constraint Abduction. - Michael J. Maher (Australian Conference on Artificial Intelligence, 2006)

Embedding defeasible logic into logic programming. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (Theory Pract. Log. Program., 2006)

Introduction Special Issue on Multiparadigm Languages and Constraint Programming. - Moreno Falaschi; Michael J. Maher (Theory Pract. Log. Program., 2007)

Flow-Based Propagators for the SEQUENCE and Related Global Constraints. - Michael J. Maher; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (CP, 2008)

On Computing Constraint Abduction Answers. - Michael J. Maher; Ge Huang (LPAR, 2008)

SOGgy Constraints: Soft Open Global Constraints. - Michael J. Maher (CP, 2009)

Open Constraints in a Boundable World. - Michael J. Maher (CPAIOR, 2009)

Open Contractible Global Constraints. - Michael J. Maher (IJCAI, 2009)

Local consistency for extended CSPs. - Michael J. Maher (Theor. Comput. Sci., 2009)

Contractibility and Contractible Approximations of Soft Global Constraints. - Michael J. Maher (ICLP (Technical Communications), 2010)

Human and Unhuman Commonsense Reasoning. - Michael J. Maher (LPAR (Yogyakarta), 2010)

An inclusion theorem for defeasible logics. - David Billington; Grigoris Antoniou; Guido Governatori; Michael J. Maher (ACM Trans. Comput. Log., 2010)

Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. - Muhammad Abdul Hakim Newton; Duc Nghia Pham; Abdul Sattar 001; Michael J. Maher (CP, 2011)

User- and application-centric multihomed flow management. - Olivier Mehani; Roksana Boreli; Michael J. Maher; Thierry Ernst (LCN, 2011)

Relative expressiveness of defeasible logics. - Michael J. Maher (Theory Pract. Log. Program., 2012)

Relative Expressiveness of Well-Founded Defeasible Logics. - Michael J. Maher (Australasian Conference on Artificial Intelligence, 2013)

Relative expressiveness of defeasible logics II. - Michael J. Maher (Theory Pract. Log. Program., 2013)

Comparing Defeasible Logics. - Michael J. Maher (ECAI, 2014)

Defeasible and Ampliative Reasoning: Same-same but Different. - Michael J. Maher (DARe@ECAI, 2014)

Strategic Argumentation Under Grounded Semantics is NP-Complete. - Guido Governatori; Michael J. Maher; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (EUMAS, 2014)

An Efficient Approach for Complex Data Summarization Using Multiview Clustering. - Mohiuddin Ahmed; Abdun Naser Mahmood; Michael J. Maher (Infoscale, 2014)

A Novel Approach for Network Traffic Summarization. - Mohiuddin Ahmed; Abdun Naser Mahmood; Michael J. Maher (Infoscale, 2014)

Heart Disease Diagnosis Using Co-clustering. - Mohiuddin Ahmed; Abdun Naser Mahmood; Michael J. Maher (Infoscale, 2014)

Complexity of Exploiting Privacy Violations in Strategic Argumentation. - Michael J. Maher (PRICAI, 2014)

Relating Concrete Argumentation Formalisms and Abstract Argumentation. - Michael J. Maher (ICLP (Technical Communications), 2015)

An Investigation of Performance Analysis of Anomaly Detection Techniques for Big Data in SCADA Systems. - Mohiuddin Ahmed; Adnan Anwar; Abdun Naser Mahmood; Zubair Shah; Michael J. Maher (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015)

An Efficient Technique for Network Traffic Summarization using Multiview Clustering and Statistical Sampling. - Mohiuddin Ahmed; Abdun Naser Mahmood; Michael J. Maher (EAI Endorsed Trans. Scalable Inf. Syst., 2015)

Resistance to Corruption of Strategic Argumentation. - Michael J. Maher (AAAI, 2016)

Corrupt Strategic Argumentation: The Ideal and the Naive. - Michael J. Maher (Australasian Conference on Artificial Intelligence, 2016)

Resistance to Corruption of General Strategic Argumentation. - Michael J. Maher (PRIMA, 2016)

Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user Perspective. - Masoumeh Tajvidi; Michael J. Maher; Daryl Essam (CLOSER, 2017)

Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation. - Michael J. Maher (Fundam. Informaticae, 2017)

Annotated defeasible logic. - Guido Governatori; Michael J. Maher (Theory Pract. Log. Program., 2017)

Contractibility for open global constraints. - Michael J. Maher (Theory Pract. Log. Program., 2017)

Deadline-constrained Stochastic Optimization of Resource Provisioning, for Cloud Users. - Masoumeh Tajvidi; Daryl Essam; Michael J. Maher (CLOSER, 2018)

A lemma on closures and its application to modularity in logic programming semantics. - Michael J. Maher (CoRR, 2020)

Corruption and Audit in Strategic Argumentation. - Michael J. Maher (CoRR, 2020)

Rethinking Defeasible Reasoning: A Scalable Approach. - Michael J. Maher; Ilias Tachmazidis; Grigoris Antoniou; Stephen J. Wade; Long Cheng 003 (Theory Pract. Log. Program., 2020)

Architecture for Smart SAFE Contracts. - Ron van der Meyden; Michael J. Maher (BRAINS, 2021)

Approximating Defeasible Logics to Improve Scalability. - Michael J. Maher (CoRR, 2021)

Strategic Argumentation. - Guido Governatori; Michael J. Maher; Francesco Olivieri (FLAP, 2021)

Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. - Thomas Eiter; Michael J. Maher; Enrico Pontelli; Luc De Raedt; Miroslaw Truszczynski (Theory Pract. Log. Program., 2022)

On Signings and the Well-Founded Semantics. - Michael J. Maher (Theory Pract. Log. Program., 2022)

The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. - Thomas Eiter; Michael J. Maher; Enrico Pontelli; Luc De Raedt; Miroslaw Truszczynski (Theory Pract. Log. Program., 2023)

Defeasible Reasoning via Datalog¬. - Michael J. Maher (Theory Pract. Log. Program., 2023)

Which are the true defeasible logics? - Michael J. Maher (J. Appl. Non Class. Logics, 2025)