Michael J. Maher

Michael J. Maher, Gustaf Neumann, Joxan Jaffar, 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation

Michael J. Maher, 2017, Fundam. Informaticae.

Logic Programming and Object Modelling: A Case Study (Abstract)

Michael J. Maher, Gustaf Neumann, Joxan Jaffar, 1995, ILPS.

Oracle Semantics for Prolog

Michael J. Maher, Roberto Barbuti, Roberto Giacobazzi, 1995, Inf. Comput..

On the analysis of regulations using defeasible rules

Michael J. Maher, Grigoris Antoniou, David Billington, 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

On Fourier's algorithm for linear arithmetic constraints

Michael J. Maher, Jean-Louis Lassez, J. Lassez, 1992, Journal of Automated Reasoning.

A bi-level programming approach for trip matrix estimation and traffic control problems with stochastic user equilibrium link flows

Michael J. Maher, Xiaoyan Zhang, Dirck Van Vliet, 2001 .

A GRAPHICAL PROCEDURE FOR ANALYSING PARTIAL REGISTRATION-PLATE DATA

Michael J. Maher, David Watling, 1988 .

Applying local search to temporal reasoning

Michael J. Maher, Abdul Sattar, John Thornton, 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.

Projecting CLPR constraints

Michael J. Maher, Roland H. C. Yap, Peter J. Stuckey, 2009, New Generation Computing.

Oracle Semantics for Prolog

Michael J. Maher, Roberto Barbuti, Roberto Giacobazzi, 1992, Inf. Comput..

A Semantic Decomposition of Defeasible Logics

Michael J. Maher, Guido Governatori, Guido Governatori, 1999, AAAI/IAAI.

Heart Disease Diagnosis Using Co-clustering

Michael J. Maher, Mohiuddin Ahmed, Abdun Naser Mahmood, 2014, Infoscale.

Expanding Query Power in Constraint Logic Programming Languages

Michael J. Maher, Peter J. Stuckey, 1989, NACLP.

Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings

Michael J. Maher, 2004, ASIAN.

A Study of Provability in Defeasible Logic

Michael J. Maher, Grigoris Antoniou, David Billington, 1998, Australian Joint Conference on Artificial Intelligence.

A Novel Approach for Network Traffic Summarization

Michael J. Maher, Mohiuddin Ahmed, Abdun Naser Mahmood, 2014, Infoscale.

Contractibility and Contractible Approximations of Soft Global Constraints

Michael J. Maher, 2010, ICLP.

An inclusion theorem for defeasible logics

Michael J. Maher, Guido Governatori, Grigoris Antoniou, 2010, TOCL.

Optimizing Queries in Extended Relational Databases

Michael J. Maher, Junhu Wang, Junhu Wang, 2000, DEXA.

Propagation Completeness of Reactive Constraints

Michael J. Maher, 2002, ICLP.

Constrained Dependencies

Michael J. Maher, 1995, Theor. Comput. Sci..

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1986, ICLP.

Finding Fair Allocations for the Coalition Problem with Constraints

Michael J. Maher, Roland H. C. Yap, Evan Tick, 1999, ICLP.

On Computing Constraint Abduction Answers

Michael J. Maher, Ge Huang, 2008, LPAR.

Resistance to Corruption of Strategic Argumentation

Michael J. Maher, 2016, AAAI.

Comparing Defeasible Logics

Michael J. Maher, 2014, ECAI.

Tracking and Data Relay Satellite System (TDRSS) Support of User Spacecraft without TDRSS Transponders

Michael J. Maher, James A. Jackson, Greg C. Marr, 1995 .

SOGgy Constraints: Soft Open Global Constraints

Michael J. Maher, 2009, CP.

Output in CLP

Michael J. Maher, Roland H. C. Yap, Peter J. Stuckey, 1992, FGCS.

A Synthesis of Constraint Satisfaction and Constraint Solving

Michael J. Maher, 2003, CP.

Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning

Michael J. Maher, 1991, LPNMR.

Efficient Defeasible Reasoning Systems

Michael J. Maher, Tristan Miller, Grigoris Antoniou, 2001, Int. J. Artif. Intell. Tools.

Optimal Fixedpoints of Logic Programs

Michael J. Maher, Jean-Louis Lassez, 1985, Theor. Comput. Sci..

Constraint Logic Programming: A Survey

Michael J. Maher, Joxan Jaffar, J. Jaffar, 1994, J. Log. Program..

Déjà Vu in Fixpoints of Logic Programs ∗

Michael J. Maher, Raghu Ramakrishnan, R. Ramakrishnan, 1989 .

Comments on "General Failure of Logic Programs"

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1986, J. Log. Program..

Equivalences of Logic Programs

Michael J. Maher, 1988, Foundations of Deductive Databases and Logic Programming..

A CLP View of Logic Programming

Michael J. Maher, 1992, ALP.

Introductory Statistics: A Decision Map

Michael J. Maher, Thad. R. Harshbarger, 1978 .

Solving Over-Constrained Temporal Reasoning Problems Using Local Search

Michael J. Maher, Abdul Sattar, John Thornton, 2004, PRICAI.

A Model-Theoretic Semantics for Defeasible Logic

Michael J. Maher, 2002, Paraconsistent Computational Logic.

Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday

Michael J. Maher, 2004 .

Unification Revisited

Michael J. Maher, Kim Marriott, Jean-Louis Lassez, 1988, Foundations of Deductive Databases and Logic Programming..

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs

Michael J. Maher, Haim Gaifman, Ehud Shapiro, 1989, NACLP.

A Flexible Framework for Defeasible Logics

Michael J. Maher, Guido Governatori, Grigoris Antoniou, 2000, AAAI/IAAI.

Toward Practical Query Evaluation for Constraint Databases

Michael J. Maher, Joxan Jaffar, Alexander Brodsky, 2004, Constraints.

Statistics for Technology.

Michael J. Maher, Chris Chatfield, C. Chatfield, 1979 .

Rewriting Union Queries Using Views

Michael J. Maher, Junhu Wang, Rodney W. Topor, 2005, Constraints.

Argumentation Semantics for Defeasible Logics

Michael J. Maher, Guido Governatori, Grigoris Antoniou, 2000, PRICAI.

A Local Search Approach to Modelling and Solving Interval Algebra Problems

Michael J. Maher, Abdul Sattar, John Thornton, 2004, J. Log. Comput..

An Investigation of Performance Analysis of Anomaly Detection Techniques for Big Data in SCADA Systems

Michael J. Maher, Mohiuddin Ahmed, Adnan Anwar, 2015, EAI Endorsed Trans. Ind. Networks Intell. Syst..

Revising Nonmonotonic Theories: The Case of Defeasible Logic

Michael J. Maher, Guido Governatori, Grigoris Antoniou, 1999, KI.

A Logic Programming View of CLP

Michael J. Maher, 1993, ICLP.

Beyond Finite Domains

Michael J. Maher, Roland H. C. Yap, Peter J. Stuckey, 1994, PPCP.

Relative Expressiveness of Well-Founded Defeasible Logics

Michael J. Maher, 2013, Australasian Conference on Artificial Intelligence.

Speed, strategy, drag and drafting in thoroughbred horse racing

Michael J. Maher, Alan M. Wilson, Andrew J. Spence, 2009 .

Closures and Fairness in the Semantics of Programming Logic

Michael J. Maher, Jean-Louis Lassez, J. Lassez, 1984, Theor. Comput. Sci..

Analysis of a Global Contiguity Constraint

Michael J. Maher, 2006 .

Propositional defeasible logic has linear complexity

Michael J. Maher, 2001, Theory and Practice of Logic Programming.

Rewriting Unions of General Conjunctive Queries Using Views

Michael J. Maher, Junhu Wang, Rodney W. Topor, 2002, EDBT.

Logic Semantics for a Class of Committed-Choice Programs

Michael J. Maher, 1987, ICLP.

Heyting Domains for Constraint Abduction

Michael J. Maher, 2006, Australian Conference on Artificial Intelligence.

Guest Editors' Introduction: Special Section: Ten Years of Logic Programming

Michael J. Maher, Maurice Bruynooghe, Saumya K. Debray, 1995, J. Log. Program..

A Family of Defeasible Reasoning Logics and its Implementation

Michael J. Maher, Guido Governatori, Grigoris Antoniou, 2000, ECAI.

Relating Concrete Argumentation Formalisms and Abstract Argumentation

Michael J. Maher, 2015, ICLP.

Toward Practical Constraint Databases

Michael J. Maher, Joxan Jaffar, Alexander Brodsky, 1993, VLDB.

Defeasible and Ampliative Reasoning: Same-same but Different

Michael J. Maher, 2014, DARe@ECAI.

Local consistency for extended CSPs

Michael J. Maher, 2009, Theor. Comput. Sci..

An Efficient Technique for Network Traffic Summarization using Multiview Clustering and Statistical Sampling

Michael J. Maher, Mohiuddin Ahmed, Abdun Naser Mahmood, 2015, EAI Endorsed Trans. Scalable Inf. Syst..

Open Constraints in a Boundable World

Michael J. Maher, 2009, CPAIOR.

Foundations of Deductive Databases and Logic Programming

Michael J. Maher, Jean-Louis Lassez, Kim Marriott, 1988 .

Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming

Michael J. Maher, Jean-Francois Puget, 1998 .

Elimination of Negation in Term Algebras

Michael J. Maher, Kim Marriott, Jean-Louis Lassez, 1991, MFCS.

Adding Constraints to Logic-based Formalisms

Michael J. Maher, 1999, The Logic Programming Paradigm.

The G12 Project: Mapping Solver Independent Models to Efficient Solutions

Michael J. Maher, Toby Walsh, Peter J. Stuckey, 2005, ICLP.

Efficient defeasible reasoning systems

Michael J. Maher, Tristan Miller, Grigoris Antoniou, 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

PROLOG - II as an instance of the logic programming language scheme

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1987, Formal Description of Programming Concepts.

An Efficient Approach for Complex Data Summarization Using Multiview Clustering

Michael J. Maher, Mohiuddin Ahmed, Abdun Naser Mahmood, 2014, Infoscale.

A Theory of Complete Logic Programs with Equality

Michael J. Maher, Joxan Jaffar, Jean-Louis Lassez, 1984, J. Log. Program..

Embedding Defeasible Logic into Logic Programs

Michael J. Maher, Grigoris Antoniou, 2002, ICLP.

Constraint Hierarchies and Logic Programming

Michael J. Maher, Alan Borning, Molly Wilson, 1989, ICLP.

Guest Editor's Introduction

Michael J. Maher, Maurice Bruynooghe, Saumya K. Debray, 1994, J. Log. Program..

An Argumentation-Theoretic Characterization of Defeasible Logic

Michael J. Maher, Guido Governatori, Guido Governatori, 2000, ECAI.

Embedding Defeasible Logic into Logic Programming pdf

Michael J. Maher, Guido Governatori, Grigoris Antoniou, 2005, ArXiv.

Rewriting General Conjunctive Queries Using Views

Michael J. Maher, Junhu Wang, Rodney W. Topor, 2002, Australasian Database Conference.

A Transformation System for Deductive Database Modules with Perfect Model Semantics

Michael J. Maher, 1989, FSTTCS.

Advances in Computer Science-ASIAN 2004 Higher Level Decision Making: 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Oc ... ber 8-10, (Lecture Notes in Computer Science)

Michael J. Maher, 2005 .

Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user Perspective

Michael J. Maher, Daryl Essam, Masoumeh Tajvidi, 2017, CLOSER.

Deadline-constrained Stochastic Optimization of Resource Provisioning, for Cloud Users

Michael J. Maher, Daryl Essam, Masoumeh Tajvidi, 2018, CLOSER.

Solving Numerical Constraints

Michael J. Maher, Volker Weispfenning, Alexander Bockmayr, 2001, Handbook of Automated Reasoning.

A Denotational Semantics of Defeasible Logic

Michael J. Maher, 2000, Computational Logic.

Herbrand constraint abduction

Michael J. Maher, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

A Unified Treatment of Resolution Strategies for Logic Programs

Michael J. Maher, David A. Wolfram, Jean-Louis Lassez, 1984, ICLP.

Approximating Defeasible Logics to Improve Scalability pdf

Michael J. Maher, 2021, ArXiv.

Architecture for Smart SAFE Contracts

Michael J. Maher, Ron Van der Meyden, 2021, 2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).

On Signings and the Well-Founded Semantics pdf

Michael J. Maher, 2021, Theory and Practice of Logic Programming.

Defeasible Reasoning via Datalog$^\neg$

Michael J. Maher, 2021, 2106.10946.

Strategic Argumentation

Michael J. Maher, Guido Governatori, Francesco Olivieri, 2021, FLAP.

Projecting CLP(R ) Constraints

Michael J. Maher, Peter James Stuckey, R. Yap, 1993 .

Speed, pacing strategy and aerodynamic drafting in Thoroughbred horse racing

Michael J. Maher, Alan M. Wilson, A. Spence, 2012, Biology Letters.

Constrained Dependencies

Michael J. Maher, 1995, CP.

Note: This Version of the Paper Has Been Reconstituted with Optical Char

Michael J. Maher, M J Maher, J Minker, 2022 .

User- and application-centric multihomed flow management

Roksana Boreli, Michael J. Maher, Thierry Ernst, 2011, 2011 IEEE 36th Conference on Local Computer Networks.

MultiCPL ’ 02 : Workshop on Multiparadigm Constraint Programming Languages and RCoRP ’ 02 : Fourth Workshop on Rule-Based Constraint Reasoning and Programming

Michael J. Maher, Alexei A. Morozov, A. Morozov, 2002 .

Special issue - 10 years of logic programming - introduction

Michael J. Maher, Maurice Bruynooghe, Saumya K. Debray, 1994 .

Revising Nonmonotonic Belief Sets: The Case of Defeasible Logic

Michael J. Maher, Guido Governatori, Grigoris Antoniou, 1999 .

Contractible Global Constraints

Michael J. Maher, 2009 .

Reasoning about Stable Models ( and other Unstable Semantics )

Michael J. Maher, I. Watson, 1990 .

Constrained Dependencies

Michael J. Maher, 1995, Theor. Comput. Sci..

Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data

Michael J. Maher, J. Lassez, A. Brodsky, 1995, PODS.

Statistics for Technology.

Michael J. Maher, Chris Chatfield, A. F. Bissell, 1979 .

Surprising variations in the rate of ring opening for a series of rhodamine lactams with similar equilibrium endpoints

Michael J. Maher, K. Shimizu, Clifton J. Stephenson, 2014 .

On Signings and the Well-Founded Semantics

Michael J. Maher, 2021, Theory Pract. Log. Program..

Reasoning about Stable Models ( and other Unstable Semantics )

Michael J. Maher, I. Watson, 1990 .

Open Contractible Global Constraints

Michael J. Maher, 2009, IJCAI.

Sceptical Logic Programming Based Default Reasoning { Defeasible Logic Rehabilitated

Michael J. Maher, M J Maher, D. Billington, 1998 .

Defeasible Reasoning via Datalog¬

Michael J. Maher, 2021, Theory and Practice of Logic Programming.

On Signings and the Well-Founded Semantics

Michael J. Maher, 2021, Theory Pract. Log. Program..

Unification Revisited

Michael J. Maher, J-L. Lassez, M. J. Maher, 1986, Foundations of Deductive Databases and Logic Programming..

4] F. Bancilhon, a Note on the Performance of Rule Based Systems. in Mcc Technical Report 11 Conclusions and Future Work 10 Discussion of the Suucient Condition 9 a Suucient Condition 8 Functional Dependencies over Gc and M

Michael J. Maher, R. Ramakrishnan, 1989 .