Michael J. Maher

149 papers A* 9A 10B 23C 7Misc 2Journal 58Unranked 33

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Which are the true defeasible logics? J. Appl. Non Class. Logics Michael J. Maher
2024	J	`jnl`	Which are the True Defeasible Logics? CoRR Michael J. Maher
2023	J	`jnl`	Defeasible Reasoning via Datalog¬. Theory Pract. Log. Program. Michael J. Maher
2023	J	`jnl`	The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory Pract. Log. Program. Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
2022	J	`jnl`	Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. Theory Pract. Log. Program. Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
2022	J	`jnl`	On Signings and the Well-Founded Semantics. Theory Pract. Log. Program. Michael J. Maher
2021	J	`jnl`	Approximating Defeasible Logics to Improve Scalability. CoRR Michael J. Maher
2021	—	`conf`	Architecture for Smart SAFE Contracts. BRAINS Ron van der Meyden, Michael J. Maher
2021	J	`jnl`	Defeasible Reasoning via Datalog¬. CoRR Michael J. Maher
2021	J	`jnl`	On Signings and the Well-Founded Semantics. CoRR Michael J. Maher
2021	J	`jnl`	Relative Expressiveness of Defeasible Logics II. CoRR Michael J. Maher
2021	J	`jnl`	Strategic Argumentation. FLAP Guido Governatori, Michael J. Maher, Francesco Olivieri
2020	J	`jnl`	A lemma on closures and its application to modularity in logic programming semantics. CoRR Michael J. Maher
2020	J	`jnl`	Corruption and Audit in Strategic Argumentation. CoRR Michael J. Maher
2020	J	`jnl`	Rethinking Defeasible Reasoning: A Scalable Approach. CoRR Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng
2020	J	`jnl`	Rethinking Defeasible Reasoning: A Scalable Approach. Theory Pract. Log. Program. Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng
2018	C	`conf`	Deadline-constrained Stochastic Optimization of Resource Provisioning, for Cloud Users. CLOSER Masoumeh Tajvidi, Daryl Essam, Michael J. Maher
2017	J	`jnl`	Annotated Defeasible Logic. CoRR Guido Governatori, Michael J. Maher
2017	J	`jnl`	Annotated defeasible logic. Theory Pract. Log. Program. Guido Governatori, Michael J. Maher
2017	J	`jnl`	Contractibility for Open Global Constraints. CoRR Michael J. Maher
2017	J	`jnl`	Contractibility for open global constraints. Theory Pract. Log. Program. Michael J. Maher
2017	J	`jnl`	Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation. Fundam. Informaticae Michael J. Maher
2017	C	`conf`	Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user Perspective. CLOSER Masoumeh Tajvidi, Michael J. Maher, Daryl Essam
2016	—	`conf`	Corrupt Strategic Argumentation: The Ideal and the Naive. Australasian Conference on Artificial Intelligence Michael J. Maher
2016	B	`conf`	Resistance to Corruption of General Strategic Argumentation. PRIMA Michael J. Maher
2016	A*	`conf`	Resistance to Corruption of Strategic Argumentation. AAAI Michael J. Maher
2015	J	`jnl`	An Efficient Technique for Network Traffic Summarization using Multiview Clustering and Statistical Sampling. EAI Endorsed Trans. Scalable Inf. Syst. Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher
2015	J	`jnl`	An Investigation of Performance Analysis of Anomaly Detection Techniques for Big Data in SCADA Systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. Mohiuddin Ahmed, Adnan Anwar, Abdun Naser Mahmood, Zubair Shah, Michael J. Maher
2015	—	`conf`	Relating Concrete Argumentation Formalisms and Abstract Argumentation. ICLP (Technical Communications) Michael J. Maher
2014	—	`conf`	A Novel Approach for Network Traffic Summarization. Infoscale Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher
2014	—	`conf`	An Efficient Approach for Complex Data Summarization Using Multiview Clustering. Infoscale Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher
2014	A	`conf`	Comparing Defeasible Logics. ECAI Michael J. Maher
2014	B	`conf`	Complexity of Exploiting Privacy Violations in Strategic Argumentation. PRICAI Michael J. Maher
2014	—	`conf`	Defeasible and Ampliative Reasoning: Same-same but Different. DARe@ECAI Michael J. Maher
2014	—	`conf`	Heart Disease Diagnosis Using Co-clustering. Infoscale Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher
2014	C	`conf`	Strategic Argumentation Under Grounded Semantics is NP-Complete. EUMAS Guido Governatori, Michael J. Maher, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2013	—	`conf`	Relative Expressiveness of Well-Founded Defeasible Logics. Australasian Conference on Artificial Intelligence Michael J. Maher
2013	J	`jnl`	Relative expressiveness of defeasible logics II. Theory Pract. Log. Program. Michael J. Maher
2012	J	`jnl`	Relative Expressiveness of Defeasible Logics CoRR Michael J. Maher
2012	J	`jnl`	Relative expressiveness of defeasible logics. Theory Pract. Log. Program. Michael J. Maher
2011	A	`conf`	Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. CP Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher
2011	B	`conf`	User- and application-centric multihomed flow management. LCN Olivier Mehani, Roksana Boreli, Michael J. Maher, Thierry Ernst
2010	J	`jnl`	An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
2010	—	`conf`	Contractibility and Contractible Approximations of Soft Global Constraints. ICLP (Technical Communications) Michael J. Maher
2010	—	`conf`	Human and Unhuman Commonsense Reasoning. LPAR (Yogyakarta) Michael J. Maher
2009	J	`jnl`	Flow-Based Propagators for the SEQUENCE and Related Global Constraints CoRR Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009	J	`jnl`	Local consistency for extended CSPs. Theor. Comput. Sci. Michael J. Maher
2009	B	`conf`	Open Constraints in a Boundable World. CPAIOR Michael J. Maher
2009	A*	`conf`	Open Contractible Global Constraints. IJCAI Michael J. Maher
2009	A	`conf`	SOGgy Constraints: Soft Open Global Constraints. CP Michael J. Maher
2008	A	`conf`	Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2008	B	`conf`	On Computing Constraint Abduction Answers. LPAR Michael J. Maher, Ge Huang
2007	J	`jnl`	Introduction Special Issue on Multiparadigm Languages and Constraint Programming. Theory Pract. Log. Program. Moreno Falaschi, Michael J. Maher
2006	J	`jnl`	Embedding defeasible logic into logic programming. Theory Pract. Log. Program. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2006	—	`conf`	Heyting Domains for Constraint Abduction. Australian Conference on Artificial Intelligence Michael J. Maher
2006	C	`ed.`	Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy PPDP Annalisa Bossi, Michael J. Maher
2005	B	`conf`	Abduction of Linear Arithmetic Constraints. ICLP Michael J. Maher
2005	J	`jnl`	Embedding Defeasible Logic into Logic Programming CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2005	A*	`conf`	Herbrand Constraint Abduction. LICS Michael J. Maher
2005	J	`jnl`	Rewriting Union Queries Using Views. Constraints An Int. J. Junhu Wang, Rodney W. Topor, Michael J. Maher
2005	A	`conf`	The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2005	B	`conf`	The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2004	J	`jnl`	A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
2004	—	`ed.`	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 ASIAN Michael J. Maher
2004	J	`jnl`	Argumentation Semantics for Defeasible Logic. J. Log. Comput. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
2004	J	`jnl`	Propositional Defeasible Logic has Linear Complexity CoRR Michael J. Maher
2004	B	`conf`	Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher
2003	A	`conf`	A Synthesis of Constraint Satisfaction and Constraint Solving. CP Michael J. Maher
2002	—	`conf`	A Model-Theoretic Semantics for Defeasible Logic. Paraconsistent Computational Logic Michael J. Maher
2002	C	`conf`	Applying Local Search to Temporal Reasoning. TIME John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
2002	B	`conf`	Embedding Defeasible Logic into Logic Programs. ICLP Grigoris Antoniou, Michael J. Maher
2002	J	`jnl`	Guest Editorial. Constraints An Int. J. Joxan Jaffar, Michael J. Maher
2002	B	`conf`	Propagation Completeness of Reactive Constraints. ICLP Michael J. Maher
2002	Misc	`conf`	Rewriting General Conjunctive Queries Using Views. Australasian Database Conference Junhu Wang, Michael J. Maher, Rodney W. Topor
2002	B	`conf`	Rewriting Unions of General Conjunctive Queries Using Views. EDBT Junhu Wang, Michael J. Maher, Rodney W. Topor
2001	J	`jnl`	Efficient Defeasible Reasoning Systems. Int. J. Artif. Intell. Tools Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
2001	J	`jnl`	Propositional Defeasible Logic has Linear Complexity. Theory Pract. Log. Program. Michael J. Maher
2001	C	`conf`	Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. DEXA Junhu Wang, Rodney W. Topor, Michael J. Maher
2001	J	`jnl`	Representation results for defeasible logic. ACM Trans. Comput. Log. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2001	—	`conf`	Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton
2000	—	`conf`	A Denotational Semantics of Defeasible Logic. Computational Logic Michael J. Maher
2000	A	`conf`	A Family of Defeasible Reasoning Logics and its Implementation. ECAI Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
2000	—	`conf`	A Flexible Framework for Defeasible Logics. AAAI/IAAI Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	J	`jnl`	A flexible framework for defeasible logics CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	A	`conf`	An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI Guido Governatori, Michael J. Maher
2000	B	`conf`	Argumentation Semantics for Defeasible Logics. PRICAI Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
2000	J	`jnl`	Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. Grigoris Antoniou, Michael J. Maher, David Billington
2000	B	`conf`	Efficient defeasible reasoning systems. ICTAI Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
2000	C	`conf`	Optimizing Queries in Extended Relational Databases. DEXA Michael J. Maher, Junhu Wang
2000	J	`jnl`	Representation results for defeasible logic CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
1999	B	`conf`	A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
1999	—	`conf`	A Semantic Decomposition of Defeasible Logics. AAAI/IAAI Michael J. Maher, Guido Governatori
1999	—	`ch.`	Adding Constraints to Logic-based Formalisms. The Logic Programming Paradigm Michael J. Maher
1999	—	`conf`	An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. HICSS Joxan Jaffar, Michael J. Maher, Gustaf Neumann
1999	B	`conf`	Finding Fair Allocations for the Coalition Problem with Constraints. ICLP Evan Tick, Roland H. C. Yap, Michael J. Maher
1999	—	`conf`	On the Analysis of Regulations using Defeasible Rules. HICSS Grigoris Antoniou, David Billington, Michael J. Maher
1999	Misc	`conf`	Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
1999	J	`jnl`	Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. J. Autom. Reason. Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher
1998	—	`conf`	A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence Michael J. Maher, Grigoris Antoniou, David Billington
1998	—	`conf`	Normal Forms for Defeasible Logic. IJCSLP Grigoris Antoniou, David Billington, Michael J. Maher
1998	A	`ed.`	Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings CP Michael J. Maher, Jean-Francois Puget
1998	J	`jnl`	The Semantics of Constraint Logic Programs. J. Log. Program. Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey
1997	J	`jnl`	Constrained Dependencies. Theor. Comput. Sci. Michael J. Maher
1997	J	`jnl`	Toward Practical Query Evaluation for Constraint Databases. Constraints An Int. J. Alexander Brodsky, Joxan Jaffar, Michael J. Maher
1996	A*	`conf`	Chasing Constrained Tuple-Generating Dependencies. PODS Michael J. Maher, Divesh Srivastava
1996	—	`ed.`	Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996 JICSLP Michael J. Maher
1996	—	`ed.`	Over-Constrained Systems Over-Constrained Systems Michael Jampel, Eugene C. Freuder, Michael J. Maher
1995	A	`conf`	Constrained Dependencies. CP Michael J. Maher
1995	J	`jnl`	Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. J. Log. Program. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
1995	—	`conf`	Logic Programming and Object Modelling: A Case Study (Abstract). ILPS Joxan Jaffar, Michael J. Maher, Gustaf Neumann
1995	J	`jnl`	On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. Michael J. Maher, Peter J. Stuckey
1995	J	`jnl`	Oracle Semantics for Prolog. Inf. Comput. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
1995	A*	`conf`	Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. PODS Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher
1994	—	`conf`	Beyond Finite Domains. PPCP Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1994	—	`conf`	Constrained Dependencies. ILPS Workshop: Constraints and Databases Michael J. Maher
1994	J	`jnl`	Constraint Logic Programming: A Survey. J. Log. Program. Joxan Jaffar, Michael J. Maher
1994	J	`jnl`	Guest Editor's Introduction. J. Log. Program. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
1993	B	`conf`	A Logic Programming View of CLP. ICLP Michael J. Maher
1993	J	`jnl`	A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. Theor. Comput. Sci. Michael J. Maher
1993	J	`jnl`	Projecting CLP (R) Constraints. New Gener. Comput. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1993	A*	`conf`	Toward Practical Constraint Databases. VLDB Alexander Brodsky, Joxan Jaffar, Michael J. Maher
1992	—	`conf`	A CLP View of Logic Programming. ALP Michael J. Maher
1992	J	`jnl`	On Fourier's Algorithm for Linear Arithmetic Constraints. J. Autom. Reason. Jean-Louis Lassez, Michael J. Maher
1992	—	`conf`	Oracle Semantics for Prolog. ALP Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
1992	—	`conf`	Output in CLP. FGCS Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1991	B	`conf`	Elimination of Negation in Term Algebras. MFCS Jean-Louis Lassez, Michael J. Maher, Kim Marriott
1991	A*	`conf`	Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. PODC Haim Gaifman, Michael J. Maher, Ehud Shapiro
1991	B	`conf`	Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. LPNMR Michael J. Maher
1989	—	`conf`	A Transformation System for Deductive Database Modules with Perfect Model Semantics. FSTTCS Michael J. Maher
1989	B	`conf`	Constraint Hierarchies and Logic Programming. ICLP Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson
1989	—	`conf`	Déjà Vu in Fixpoints of Logic Programs. NACLP Michael J. Maher, Raghu Ramakrishnan
1989	—	`conf`	Expanding Query Power in Constraint Logic Programming Languages. NACLP Michael J. Maher, Peter J. Stuckey
1989	—	`conf`	Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. NACLP Haim Gaifman, Michael J. Maher, Ehud Shapiro
1988	A*	`conf`	Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees LICS Michael J. Maher
1988	—	`ch.`	Equivalences of Logic Programs Foundations of Deductive Databases and Logic Programming. Michael J. Maher
1988	—	`ch.`	Unification Revisited Foundations of Deductive Databases and Logic Programming. Jean-Louis Lassez, Michael J. Maher, Kim Marriott
1987	B	`conf`	Logic Semantics for a Class of Committed-Choice Programs. ICLP Michael J. Maher
1987	—	`conf`	PROLOG - II as an instance of the logic programming language scheme. Formal Description of Programming Concepts Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
1986	J	`jnl`	Comments on "General Failure of Logic Programs". J. Log. Program. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
1986	B	`conf`	Eqivalences of Logic Programs. ICLP Michael J. Maher
1986	B	`conf`	Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. ICLP Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
1986	—	`ch.`	Logic Programming Language Scheme. Logic Programming: Functions, Relations, and Equations Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
1986	—	`conf`	Unification Revisited. Foundations of Logic and Functional Programming Jean-Louis Lassez, Michael J. Maher, Kim Marriott
1985	J	`jnl`	Optimal Fixedpoints of Logic Programs. Theor. Comput. Sci. Jean-Louis Lassez, Michael J. Maher
1984	—	`conf`	A Theory of Complete Logic Programs with Equality. FGCS Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
1984	J	`jnl`	A Theory of Complete Logic Programs with Equality. J. Log. Program. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
1984	B	`conf`	A Unified Treatment of Resolution Strategies for Logic Programs. ICLP David A. Wolfram, Michael J. Maher, Jean-Louis Lassez
1984	J	`jnl`	Closures and Fairness in the Semantics of Programming Logic. Theor. Comput. Sci. Jean-Louis Lassez, Michael J. Maher
1983	A*	`conf`	The Denotational Semantics of Horn Clauses as a Production System. AAAI Jean-Louis Lassez, Michael J. Maher