Michael J. Maher

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 25

Top Venues

CoRR

Theory Pract. Log. Program.

Infoscale

CLOSER

Publications

Michael J. Maher
Which are the True Defeasible Logics? CoRR (2024)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory Pract. Log. Program. 23 (1) (2023)
Michael J. Maher
Defeasible Reasoning via Datalog¬. Theory Pract. Log. Program. 23 (5) (2023)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. Theory Pract. Log. Program. 22 (6) (2022)
Michael J. Maher
On Signings and the Well-Founded Semantics. Theory Pract. Log. Program. 22 (1) (2022)
Michael J. Maher
Defeasible Reasoning via Datalog¬. CoRR (2021)
Guido Governatori, Michael J. Maher, Francesco Olivieri
Strategic Argumentation. FLAP 8 (6) (2021)
Michael J. Maher
Approximating Defeasible Logics to Improve Scalability. CoRR (2021)
Michael J. Maher
Relative Expressiveness of Defeasible Logics II. CoRR (2021)
Michael J. Maher
On Signings and the Well-Founded Semantics. CoRR (2021)
Ron van der Meyden, Michael J. Maher
Architecture for Smart SAFE Contracts. BRAINS (2021)
Michael J. Maher
A lemma on closures and its application to modularity in logic programming semantics. CoRR (2020)
Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen Wade, Long Cheng
Rethinking Defeasible Reasoning: A Scalable Approach. Theory Pract. Log. Program. 20 (4) (2020)
Michael J. Maher
Corruption and Audit in Strategic Argumentation. CoRR (2020)
Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen Wade, Long Cheng
Rethinking Defeasible Reasoning: A Scalable Approach. CoRR (2020)
Masoumeh Tajvidi, Daryl Essam, Michael J. Maher
Deadline-constrained Stochastic Optimization of Resource Provisioning, for Cloud Users. CLOSER (2018)
Masoumeh Tajvidi, Michael J. Maher, Daryl Essam
Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user Perspective. CLOSER (2017)
Michael J. Maher
Contractibility for Open Global Constraints. CoRR (2017)
Guido Governatori, Michael J. Maher
Annotated defeasible logic. Theory Pract. Log. Program. 17 (5-6) (2017)
Michael J. Maher
Contractibility for open global constraints. Theory Pract. Log. Program. 17 (4) (2017)
Guido Governatori, Michael J. Maher
Annotated Defeasible Logic. CoRR (2017)
Michael J. Maher
Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation. Fundam. Informaticae 155 (3) (2017)
Michael J. Maher
Corrupt Strategic Argumentation: The Ideal and the Naive. Australasian Conference on Artificial Intelligence (2016)
Michael J. Maher
Resistance to Corruption of Strategic Argumentation. AAAI (2016)
Michael J. Maher
Resistance to Corruption of General Strategic Argumentation. PRIMA (2016)
Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher
An Efficient Technique for Network Traffic Summarization using Multiview Clustering and Statistical Sampling. EAI Endorsed Trans. Scalable Inf. Syst. 2 (5) (2015)
Michael J. Maher
Relating Concrete Argumentation Formalisms and Abstract Argumentation. ICLP (Technical Communications) (2015)
Mohiuddin Ahmed, Adnan Anwar, Abdun Naser Mahmood, Zubair Shah, Michael J. Maher
An Investigation of Performance Analysis of Anomaly Detection Techniques for Big Data in SCADA Systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 2 (3) (2015)
Michael J. Maher
Complexity of Exploiting Privacy Violations in Strategic Argumentation. PRICAI (2014)
Michael J. Maher
Defeasible and Ampliative Reasoning: Same-same but Different. DARe@ECAI (2014)
Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher
An Efficient Approach for Complex Data Summarization Using Multiview Clustering. Infoscale (2014)
Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher
Heart Disease Diagnosis Using Co-clustering. Infoscale (2014)
Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher
A Novel Approach for Network Traffic Summarization. Infoscale (2014)
Michael J. Maher
Comparing Defeasible Logics. ECAI (2014)
Guido Governatori, Michael J. Maher, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
Strategic Argumentation Under Grounded Semantics is NP-Complete. EUMAS (2014)
Michael J. Maher
Relative Expressiveness of Well-Founded Defeasible Logics. Australasian Conference on Artificial Intelligence (2013)
Michael J. Maher
Relative expressiveness of defeasible logics II. Theory Pract. Log. Program. 13 (4-5) (2013)
Michael J. Maher
Relative expressiveness of defeasible logics. Theory Pract. Log. Program. 12 (4-5) (2012)
Michael J. Maher
Relative Expressiveness of Defeasible Logics CoRR (2012)
Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. CP (2011)
Olivier Mehani, Roksana Boreli, Michael J. Maher, Thierry Ernst
User- and application-centric multihomed flow management. LCN (2011)
Michael J. Maher
Contractibility and Contractible Approximations of Soft Global Constraints. ICLP (Technical Communications) (2010)
Michael J. Maher
Human and Unhuman Commonsense Reasoning. LPAR (Yogyakarta) (2010)
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12 (1) (2010)
Michael J. Maher
Open Constraints in a Boundable World. CPAIOR (2009)
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Flow-Based Propagators for the SEQUENCE and Related Global Constraints CoRR (2009)
Michael J. Maher
Local consistency for extended CSPs. Theor. Comput. Sci. 410 (46) (2009)
Michael J. Maher
SOGgy Constraints: Soft Open Global Constraints. CP (2009)
Michael J. Maher
Open Contractible Global Constraints. IJCAI (2009)
Michael J. Maher, Ge Huang
On Computing Constraint Abduction Answers. LPAR (2008)
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP (2008)
Moreno Falaschi, Michael J. Maher
Introduction Special Issue on Multiparadigm Languages and Constraint Programming. Theory Pract. Log. Program. 7 (1-2) (2007)
Michael J. Maher
Heyting Domains for Constraint Abduction. Australian Conference on Artificial Intelligence (2006)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6 (6) (2006)
Junhu Wang, Rodney W. Topor, Michael J. Maher
Rewriting Union Queries Using Views. Constraints An Int. J. 10 (3) (2005)
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. CP (2005)
Michael J. Maher
Abduction of Linear Arithmetic Constraints. ICLP (2005)
Michael J. Maher
Herbrand Constraint Abduction. LICS (2005)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
Embedding Defeasible Logic into Logic Programming CoRR (2005)
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. ICLP (2005)
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14 (5) (2004)
John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. 14 (1) (2004)
Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher
Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI (2004)
Michael J. Maher
Propositional Defeasible Logic has Linear Complexity CoRR (2004)
Michael J. Maher
A Synthesis of Constraint Satisfaction and Constraint Solving. CP (2003)
Junhu Wang, Michael J. Maher, Rodney W. Topor
Rewriting Unions of General Conjunctive Queries Using Views. EDBT (2002)
Michael J. Maher
A Model-Theoretic Semantics for Defeasible Logic. Paraconsistent Computational Logic (2002)
Michael J. Maher
Propagation Completeness of Reactive Constraints. ICLP (2002)
John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
Applying Local Search to Temporal Reasoning. TIME (2002)
Joxan Jaffar, Michael J. Maher
Guest Editorial. Constraints An Int. J. 7 (3-4) (2002)
Junhu Wang, Michael J. Maher, Rodney W. Topor
Rewriting General Conjunctive Queries Using Views. Australasian Database Conference (2002)
Grigoris Antoniou, Michael J. Maher
Embedding Defeasible Logic into Logic Programs. ICLP (2002)
Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton
Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence (2001)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
Representation results for defeasible logic. ACM Trans. Comput. Log. 2 (2) (2001)
Michael J. Maher
Propositional Defeasible Logic has Linear Complexity. Theory Pract. Log. Program. 1 (6) (2001)
Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
Efficient Defeasible Reasoning Systems. Int. J. Artif. Intell. Tools 10 (4) (2001)
Junhu Wang, Rodney W. Topor, Michael J. Maher
Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. DEXA (2001)
Grigoris Antoniou, Michael J. Maher, David Billington
Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42 (1) (2000)
Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
Efficient defeasible reasoning systems. ICTAI (2000)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
A flexible framework for defeasible logics CoRR (2000)
Guido Governatori, Michael J. Maher
An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI (2000)
Michael J. Maher
A Denotational Semantics of Defeasible Logic. Computational Logic (2000)
Michael J. Maher, Junhu Wang
Optimizing Queries in Extended Relational Databases. DEXA (2000)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
Representation results for defeasible logic CoRR (2000)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
A Flexible Framework for Defeasible Logics. AAAI/IAAI (2000)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
A Family of Defeasible Reasoning Logics and its Implementation. ECAI (2000)
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
Argumentation Semantics for Defeasible Logics. PRICAI (2000)
Grigoris Antoniou, David Billington, Michael J. Maher
On the Analysis of Regulations using Defeasible Rules. HICSS (1999)
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI (1999)
Evan Tick, Roland H. C. Yap, Michael J. Maher
Finding Fair Allocations for the Coalition Problem with Constraints. ICLP (1999)
Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. J. Autom. Reason. 23 (1) (1999)
Michael J. Maher, Guido Governatori
A Semantic Decomposition of Defeasible Logics. AAAI/IAAI (1999)
Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR (1999)
Joxan Jaffar, Michael J. Maher, Gustaf Neumann
An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. HICSS (1999)
Michael J. Maher, Grigoris Antoniou, David Billington
A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence (1998)
Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey
The Semantics of Constraint Logic Programs. J. Log. Program. 37 (1-3) (1998)
Grigoris Antoniou, David Billington, Michael J. Maher
Normal Forms for Defeasible Logic. IJCSLP (1998)
Michael J. Maher
Constrained Dependencies. Theor. Comput. Sci. 173 (1) (1997)
Alexander Brodsky, Joxan Jaffar, Michael J. Maher
Toward Practical Query Evaluation for Constraint Databases. Constraints An Int. J. 2 (3/4) (1997)
Michael J. Maher, Divesh Srivastava
Chasing Constrained Tuple-Generating Dependencies. PODS (1996)

Michael J. Maher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael J. Maher