Michael J. Maher

Orcid: 0000-0002-1868-2113

Affiliations:
  • Reasoning Research Institute, Canberra, Australia
  • University of New South Wales, Sydney, Australia


According to our database1, Michael J. Maher authored at least 123 papers between 1983 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Defeasible Reasoning via Datalog¬.
Theory Pract. Log. Program., September, 2023

The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II.
Theory Pract. Log. Program., 2023

2022
On Signings and the Well-Founded Semantics.
Theory Pract. Log. Program., 2022

Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP.
Theory Pract. Log. Program., 2022

2021
Strategic Argumentation.
FLAP, 2021

Approximating Defeasible Logics to Improve Scalability.
CoRR, 2021

Architecture for Smart SAFE Contracts.
Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020
Rethinking Defeasible Reasoning: A Scalable Approach.
Theory Pract. Log. Program., 2020

Corruption and Audit in Strategic Argumentation.
CoRR, 2020

A lemma on closures and its application to modularity in logic programming semantics.
CoRR, 2020

2018
Deadline-constrained Stochastic Optimization of Resource Provisioning, for Cloud Users.
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

2017
Contractibility for open global constraints.
Theory Pract. Log. Program., 2017

Annotated defeasible logic.
Theory Pract. Log. Program., 2017

Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation.
Fundam. Informaticae, 2017

Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user Perspective.
Proceedings of the CLOSER 2017, 2017

2016
Resistance to Corruption of General Strategic Argumentation.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Corrupt Strategic Argumentation: The Ideal and the Naive.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

Resistance to Corruption of Strategic Argumentation.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
An Efficient Technique for Network Traffic Summarization using Multiview Clustering and Statistical Sampling.
EAI Endorsed Trans. Scalable Inf. Syst., 2015

An Investigation of Performance Analysis of Anomaly Detection Techniques for Big Data in SCADA Systems.
EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015

Relating Concrete Argumentation Formalisms and Abstract Argumentation.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014
Complexity of Exploiting Privacy Violations in Strategic Argumentation.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Heart Disease Diagnosis Using Co-clustering.
Proceedings of the Scalable Information Systems - 5th International Conference, 2014

A Novel Approach for Network Traffic Summarization.
Proceedings of the Scalable Information Systems - 5th International Conference, 2014

An Efficient Approach for Complex Data Summarization Using Multiview Clustering.
Proceedings of the Scalable Information Systems - 5th International Conference, 2014

Strategic Argumentation Under Grounded Semantics is NP-Complete.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Defeasible and Ampliative Reasoning: Same-same but Different.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

Comparing Defeasible Logics.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Relative expressiveness of defeasible logics II.
Theory Pract. Log. Program., 2013

Relative Expressiveness of Well-Founded Defeasible Logics.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012
Relative expressiveness of defeasible logics.
Theory Pract. Log. Program., 2012

2011
User- and application-centric multihomed flow management.
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
An inclusion theorem for defeasible logics.
ACM Trans. Comput. Log., 2010

Human and Unhuman Commonsense Reasoning.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Contractibility and Contractible Approximations of Soft Global Constraints.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009
Local consistency for extended CSPs.
Theor. Comput. Sci., 2009

Open Contractible Global Constraints.
Proceedings of the IJCAI 2009, 2009

Open Constraints in a Boundable World.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

SOGgy Constraints: Soft Open Global Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
On Computing Constraint Abduction Answers.
Proceedings of the Logic for Programming, 2008

Flow-Based Propagators for the SEQUENCE and Related Global Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
Introduction Special Issue on Multiparadigm Languages and Constraint Programming.
Theory Pract. Log. Program., 2007

2006
Embedding defeasible logic into logic programming.
Theory Pract. Log. Program., 2006

Heyting Domains for Constraint Abduction.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005
Rewriting Union Queries Using Views.
Constraints An Int. J., 2005

Herbrand Constraint Abduction.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
Proceedings of the Logic Programming, 21st International Conference, 2005

Abduction of Linear Arithmetic Constraints.
Proceedings of the Logic Programming, 21st International Conference, 2005

2004
A Local Search Approach to Modelling and Solving Interval Algebra Problems.
J. Log. Comput., 2004

Argumentation Semantics for Defeasible Logic.
J. Log. Comput., 2004

Solving Over-Constrained Temporal Reasoning Problems Using Local Search.
Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

2003
A Synthesis of Constraint Satisfaction and Constraint Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Guest Editorial.
Constraints An Int. J., 2002

Applying Local Search to Temporal Reasoning.
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

A Model-Theoretic Semantics for Defeasible Logic.
Proceedings of the Paraconsistent Computational Logic, 2002

Propagation Completeness of Reactive Constraints.
Proceedings of the Logic Programming, 18th International Conference, 2002

Embedding Defeasible Logic into Logic Programs.
Proceedings of the Logic Programming, 18th International Conference, 2002

Rewriting Unions of General Conjunctive Queries Using Views.
Proceedings of the Advances in Database Technology, 2002

Rewriting General Conjunctive Queries Using Views.
Proceedings of the Database Technologies 2002, 2002

2001
Propositional Defeasible Logic has Linear Complexity.
Theory Pract. Log. Program., 2001

Representation results for defeasible logic.
ACM Trans. Comput. Log., 2001

Efficient Defeasible Reasoning Systems.
Int. J. Artif. Intell. Tools, 2001

Reasoning with Disjunctive Constrained Tuple-Generating Dependencies.
Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001

Solving Overconstrained Temporal Reasoning Problems.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000
Defeasible Logic versus Logic Programming without Negation as Failure.
J. Log. Program., 2000

Argumentation Semantics for Defeasible Logics.
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

An Argumentation-Theoretic Characterization of Defeasible Logic.
Proceedings of the ECAI 2000, 2000

A Family of Defeasible Reasoning Logics and its Implementation.
Proceedings of the ECAI 2000, 2000

Optimizing Queries in Extended Relational Databases.
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

A Denotational Semantics of Defeasible Logic.
Proceedings of the Computational Logic, 2000

A Flexible Framework for Defeasible Logics.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data.
J. Autom. Reason., 1999

A Comparison of Sceptical NAF-Free Logic Programming Approaches.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Revising Nonmonotonic Theories: The Case of Defeasible Logic.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Finding Fair Allocations for the Coalition Problem with Constraints.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

On the Analysis of Regulations using Defeasible Rules.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

A Semantic Decomposition of Defeasible Logics.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Adding Constraints to Logic-based Formalisms.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998
The Semantics of Constraint Logic Programs.
J. Log. Program., 1998

Normal Forms for Defeasible Logic.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Study of Provability in Defeasible Logic.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997
Constrained Dependencies.
Theor. Comput. Sci., 1997

Toward Practical Query Evaluation for Constraint Databases.
Constraints An Int. J., 1997

1996
Chasing Constrained Tuple-Generating Dependencies.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

1995
Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.
J. Log. Program., 1995

Oracle Semantics for Prolog.
Inf. Comput., 1995

On Inductive Inference of Cyclic Structures.
Ann. Math. Artif. Intell., 1995

Logic Programming and Object Modelling: A Case Study (Abstract).
Proceedings of the Logic Programming, 1995

1994
Constraint Logic Programming: A Survey.
J. Log. Program., 1994

Guest Editor's Introduction.
J. Log. Program., 1994

Beyond Finite Domains.
Proceedings of the Principles and Practice of Constraint Programming, 1994

1993
A Tranformation System for Deductive Databases Modules with Perfect Model Semantics.
Theor. Comput. Sci., 1993

Projecting CLP (R) Constraints.
New Gener. Comput., 1993

Toward Practical Constraint Databases.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

A Logic Programming View of CLP.
Proceedings of the Logic Programming, 1993

1992
On Fourier's Algorithm for Linear Arithmetic Constraints.
J. Autom. Reason., 1992

Output in CLP.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

A CLP View of Logic Programming.
Proceedings of the Algebraic and Logic Programming, 1992

1991
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Elimination of Negation in Term Algebras.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

1989
Expanding Query Power in Constraint Logic Programming Languages.
Proceedings of the Logic Programming, 1989

Déjà Vu in Fixpoints of Logic Programs.
Proceedings of the Logic Programming, 1989

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.
Proceedings of the Logic Programming, 1989

Constraint Hierarchies and Logic Programming.
Proceedings of the Logic Programming, 1989

A Transformation System for Deductive Database Modules with Perfect Model Semantics.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988
Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Equivalences of Logic Programs
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

Unification Revisited
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
PROLOG - II as an instance of the logic programming language scheme.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

Logic Semantics for a Class of Committed-Choice Programs.
Proceedings of the Logic Programming, 1987

1986
Comments on "General Failure of Logic Programs".
J. Log. Program., 1986

Eqivalences of Logic Programs.
Proceedings of the Third International Conference on Logic Programming, 1986

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming.
Proceedings of the Third International Conference on Logic Programming, 1986

Unification Revisited.
Proceedings of the Foundations of Logic and Functional Programming, 1986

Logic Programming Language Scheme.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985
Optimal Fixedpoints of Logic Programs.
Theor. Comput. Sci., 1985

1984
Closures and Fairness in the Semantics of Programming Logic.
Theor. Comput. Sci., 1984

A Theory of Complete Logic Programs with Equality.
J. Log. Program., 1984

A Unified Treatment of Resolution Strategies for Logic Programs.
Proceedings of the Second International Logic Programming Conference, 1984

1983
The Denotational Semantics of Horn Clauses as a Production System.
Proceedings of the National Conference on Artificial Intelligence, 1983


  Loading...