default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael J. Maher
Person information
- affiliation: Reasoning Research Institute, Canberra, Australia
- affiliation: University of New South Wales, Sydney, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i16]Michael J. Maher:
Which are the True Defeasible Logics? CoRR abs/2405.19157 (2024)- 2023
- [j41]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): 1 (2023) - [j40]Michael J. Maher:
Defeasible Reasoning via Datalog¬. Theory Pract. Log. Program. 23(5): 986-1028 (2023) - 2022
- [j39]Michael J. Maher:
On Signings and the Well-Founded Semantics. Theory Pract. Log. Program. 22(1): 115-127 (2022) - [j38]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): 770-775 (2022) - 2021
- [j37]Guido Governatori, Michael J. Maher, Francesco Olivieri:
Strategic Argumentation. FLAP 8(6): 1679-1748 (2021) - [c82]Ron van der Meyden, Michael J. Maher:
Architecture for Smart SAFE Contracts. BRAINS 2021: 145-148 - [i15]Michael J. Maher:
On Signings and the Well-Founded Semantics. CoRR abs/2102.06495 (2021) - [i14]Michael J. Maher:
Relative Expressiveness of Defeasible Logics II. CoRR abs/2102.10532 (2021) - [i13]Michael J. Maher:
Defeasible Reasoning via Datalog¬. CoRR abs/2106.10946 (2021) - [i12]Michael J. Maher:
Approximating Defeasible Logics to Improve Scalability. CoRR abs/2108.05232 (2021) - 2020
- [j36]Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng:
Rethinking Defeasible Reasoning: A Scalable Approach. Theory Pract. Log. Program. 20(4): 552-586 (2020) - [i11]Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng:
Rethinking Defeasible Reasoning: A Scalable Approach. CoRR abs/2001.00406 (2020) - [i10]Michael J. Maher:
A lemma on closures and its application to modularity in logic programming semantics. CoRR abs/2008.00724 (2020) - [i9]Michael J. Maher:
Corruption and Audit in Strategic Argumentation. CoRR abs/2008.13115 (2020)
2010 – 2019
- 2018
- [c81]Masoumeh Tajvidi, Daryl Essam, Michael J. Maher:
Deadline-constrained Stochastic Optimization of Resource Provisioning, for Cloud Users. CLOSER 2018: 179-189 - 2017
- [j35]Michael J. Maher:
Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation. Fundam. Informaticae 155(3): 233-260 (2017) - [j34]Michael J. Maher:
Contractibility for open global constraints. Theory Pract. Log. Program. 17(4): 365-407 (2017) - [j33]Guido Governatori, Michael J. Maher:
Annotated defeasible logic. Theory Pract. Log. Program. 17(5-6): 819-836 (2017) - [c80]Masoumeh Tajvidi, Michael J. Maher, Daryl Essam:
Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user Perspective. CLOSER 2017: 293-300 - [i8]Michael J. Maher:
Contractibility for Open Global Constraints. CoRR abs/1702.07889 (2017) - [i7]Guido Governatori, Michael J. Maher:
Annotated Defeasible Logic. CoRR abs/1707.04734 (2017) - 2016
- [c79]Michael J. Maher:
Resistance to Corruption of Strategic Argumentation. AAAI 2016: 1030-1036 - [c78]Michael J. Maher:
Corrupt Strategic Argumentation: The Ideal and the Naive. Australasian Conference on Artificial Intelligence 2016: 17-28 - [c77]Michael J. Maher:
Resistance to Corruption of General Strategic Argumentation. PRIMA 2016: 61-75 - 2015
- [j32]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): e5 (2015) - [j31]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): e4 (2015) - [c76]Michael J. Maher:
Relating Concrete Argumentation Formalisms and Abstract Argumentation. ICLP (Technical Communications) 2015 - 2014
- [c75]Michael J. Maher:
Comparing Defeasible Logics. ECAI 2014: 585-590 - [c74]Michael J. Maher:
Defeasible and Ampliative Reasoning: Same-same but Different. DARe@ECAI 2014 - [c73]Guido Governatori, Michael J. Maher, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco:
Strategic Argumentation Under Grounded Semantics is NP-Complete. EUMAS 2014: 379-387 - [c72]Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher:
An Efficient Approach for Complex Data Summarization Using Multiview Clustering. Infoscale 2014: 38-47 - [c71]Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher:
A Novel Approach for Network Traffic Summarization. Infoscale 2014: 51-60 - [c70]Mohiuddin Ahmed, Abdun Naser Mahmood, Michael J. Maher:
Heart Disease Diagnosis Using Co-clustering. Infoscale 2014: 61-70 - [c69]Michael J. Maher:
Complexity of Exploiting Privacy Violations in Strategic Argumentation. PRICAI 2014: 523-535 - 2013
- [j30]Michael J. Maher:
Relative expressiveness of defeasible logics II. Theory Pract. Log. Program. 13(4-5): 579-592 (2013) - [c68]Michael J. Maher:
Relative Expressiveness of Well-Founded Defeasible Logics. Australasian Conference on Artificial Intelligence 2013: 338-349 - 2012
- [j29]Michael J. Maher:
Relative expressiveness of defeasible logics. Theory Pract. Log. Program. 12(4-5): 793-810 (2012) - [i6]Michael J. Maher:
Relative Expressiveness of Defeasible Logics. CoRR abs/1210.1785 (2012) - 2011
- [c67]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: 645-659 - [c66]Olivier Mehani, Roksana Boreli, Michael J. Maher, Thierry Ernst:
User- and application-centric multihomed flow management. LCN 2011: 26-34 - 2010
- [j28]David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher:
An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12(1): 6:1-6:27 (2010) - [c65]Michael J. Maher:
Contractibility and Contractible Approximations of Soft Global Constraints. ICLP (Technical Communications) 2010: 114-123 - [c64]Michael J. Maher:
Human and Unhuman Commonsense Reasoning. LPAR (Yogyakarta) 2010: 16-29
2000 – 2009
- 2009
- [j27]Michael J. Maher:
Local consistency for extended CSPs. Theor. Comput. Sci. 410(46): 4769-4783 (2009) - [c63]Michael J. Maher:
SOGgy Constraints: Soft Open Global Constraints. CP 2009: 584-591 - [c62]Michael J. Maher:
Open Constraints in a Boundable World. CPAIOR 2009: 163-177 - [c61]Michael J. Maher:
Open Contractible Global Constraints. IJCAI 2009: 578-583 - [i5]Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CoRR abs/0909.4452 (2009) - 2008
- [c60]Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP 2008: 159-174 - [c59]Michael J. Maher, Ge Huang:
On Computing Constraint Abduction Answers. LPAR 2008: 421-435 - 2007
- [j26]Moreno Falaschi, Michael J. Maher:
Introduction Special Issue on Multiparadigm Languages and Constraint Programming. Theory Pract. Log. Program. 7(1-2): 1-2 (2007) - 2006
- [j25]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6(6): 703-735 (2006) - [c58]Michael J. Maher:
Heyting Domains for Constraint Abduction. Australian Conference on Artificial Intelligence 2006: 9-18 - [e5]Annalisa Bossi, Michael J. Maher:
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy. ACM 2006, ISBN 1-59593-388-3 [contents] - 2005
- [j24]Junhu Wang, Rodney W. Topor, Michael J. Maher:
Rewriting Union Queries Using Views. Constraints An Int. J. 10(3): 219-251 (2005) - [c57]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: 13-16 - [c56]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: 9-13 - [c55]Michael J. Maher:
Abduction of Linear Arithmetic Constraints. ICLP 2005: 174-188 - [c54]Michael J. Maher:
Herbrand Constraint Abduction. LICS 2005: 397-406 - [i4]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Embedding Defeasible Logic into Logic Programming. CoRR abs/cs/0511055 (2005) - 2004
- [j23]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): 93-112 (2004) - [j22]Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004) - [c53]Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher:
Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143 - [e4]Michael J. Maher:
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. Lecture Notes in Computer Science 3321, Springer 2004, ISBN 3-540-24087-X [contents] - [i3]Michael J. Maher:
Propositional Defeasible Logic has Linear Complexity. CoRR cs.AI/0405090 (2004) - 2003
- [c52]Michael J. Maher:
A Synthesis of Constraint Satisfaction and Constraint Solving. CP 2003: 525-539 - 2002
- [j21]Joxan Jaffar, Michael J. Maher:
Guest Editorial. Constraints An Int. J. 7(3-4): 227-228 (2002) - [c51]Junhu Wang, Michael J. Maher, Rodney W. Topor:
Rewriting General Conjunctive Queries Using Views. Australasian Database Conference 2002 - [c50]Junhu Wang, Michael J. Maher, Rodney W. Topor:
Rewriting Unions of General Conjunctive Queries Using Views. EDBT 2002: 52-69 - [c49]Michael J. Maher:
Propagation Completeness of Reactive Constraints. ICLP 2002: 148-162 - [c48]Grigoris Antoniou, Michael J. Maher:
Embedding Defeasible Logic into Logic Programs. ICLP 2002: 393-404 - [c47]Michael J. Maher:
A Model-Theoretic Semantics for Defeasible Logic. Paraconsistent Computational Logic 2002: 67-80 - [c46]John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher:
Applying Local Search to Temporal Reasoning. TIME 2002: 94-99 - 2001
- [j20]Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller:
Efficient Defeasible Reasoning Systems. Int. J. Artif. Intell. Tools 10(4): 483-501 (2001) - [j19]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001) - [j18]Michael J. Maher:
Propositional Defeasible Logic has Linear Complexity. Theory Pract. Log. Program. 1(6): 691-711 (2001) - [c45]Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton:
Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49 - [c44]Junhu Wang, Rodney W. Topor, Michael J. Maher:
Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. DEXA 2001: 963-973 - 2000
- [j17]Grigoris Antoniou, Michael J. Maher, David Billington:
Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42(1): 47-57 (2000) - [c43]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410 - [c42]Michael J. Maher:
A Denotational Semantics of Defeasible Logic. Computational Logic 2000: 209-222 - [c41]Michael J. Maher, Junhu Wang:
Optimizing Queries in Extended Relational Databases. DEXA 2000: 386-396 - [c40]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock:
A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463 - [c39]Guido Governatori, Michael J. Maher:
An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI 2000: 469-473 - [c38]Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller:
Efficient defeasible reasoning systems. ICTAI 2000: 384-392 - [c37]Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37 - [i2]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
A flexible framework for defeasible logics. CoRR cs.AI/0003013 (2000) - [i1]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Representation results for defeasible logic. CoRR cs.LO/0003082 (2000)
1990 – 1999
- 1999
- [j16]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): 83-104 (1999) - [c36]Michael J. Maher, Guido Governatori:
A Semantic Decomposition of Defeasible Logics. AAAI/IAAI 1999: 299-305 - [c35]Grigoris Antoniou, David Billington, Michael J. Maher:
On the Analysis of Regulations using Defeasible Rules. HICSS 1999 - [c34]Joxan Jaffar, Michael J. Maher, Gustaf Neumann:
An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. HICSS 1999 - [c33]Evan Tick, Roland H. C. Yap, Michael J. Maher:
Finding Fair Allocations for the Coalition Problem with Constraints. ICLP 1999: 530-544 - [c32]David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher:
Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112 - [c31]Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori:
A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356 - [p4]Michael J. Maher:
Adding Constraints to Logic-based Formalisms. The Logic Programming Paradigm 1999: 313-331 - 1998
- [j15]Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey:
The Semantics of Constraint Logic Programs. J. Log. Program. 37(1-3): 1-46 (1998) - [c30]Michael J. Maher, Grigoris Antoniou, David Billington:
A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998: 215-226 - [c29]Grigoris Antoniou, David Billington, Michael J. Maher:
Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174 - [e3]Michael J. Maher, Jean-Francois Puget:
Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings. Lecture Notes in Computer Science 1520, Springer 1998, ISBN 3-540-65224-8 [contents] - 1997
- [j14]Alexander Brodsky, Joxan Jaffar, Michael J. Maher:
Toward Practical Query Evaluation for Constraint Databases. Constraints An Int. J. 2(3/4): 279-304 (1997) - [j13]Michael J. Maher:
Constrained Dependencies. Theor. Comput. Sci. 173(1): 113-149 (1997) - 1996
- [c28]Michael J. Maher, Divesh Srivastava:
Chasing Constrained Tuple-Generating Dependencies. PODS 1996: 128-138 - [e2]Michael Jampel, Eugene C. Freuder, Michael J. Maher:
Over-Constrained Systems. Lecture Notes in Computer Science 1106, Springer 1996, ISBN 3-540-61479-6 [contents] - [e1]Michael J. Maher:
Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996. MIT Press 1996, ISBN 0-262-63173-3 [contents] - 1995
- [j12]Michael J. Maher, Peter J. Stuckey:
On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. 15(2): 167-208 (1995) - [j11]Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher:
Oracle Semantics for Prolog. Inf. Comput. 122(2): 178-200 (1995) - [j10]Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher:
Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. J. Log. Program. 23(2): 87-88 (1995) - [c27]Michael J. Maher:
Constrained Dependencies. CP 1995: 170-185 - [c26]Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher:
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. PODS 1995: 54-65 - [c25]Joxan Jaffar, Michael J. Maher, Gustaf Neumann:
Logic Programming and Object Modelling: A Case Study (Abstract). ILPS 1995: 48 - 1994
- [j9]Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher:
Guest Editor's Introduction. J. Log. Program. 19/20: 1-3 (1994) - [j8]Joxan Jaffar, Michael J. Maher:
Constraint Logic Programming: A Survey. J. Log. Program. 19/20: 503-581 (1994) - [c24]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Beyond Finite Domains. PPCP 1994: 86-94 - [c23]Michael J. Maher:
Constrained Dependencies. ILPS Workshop: Constraints and Databases 1994 - 1993
- [j7]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Projecting CLP (R) Constraints. New Gener. Comput. 11(3): 449-469 (1993) - [j6]Michael J. Maher:
A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. Theor. Comput. Sci. 110(2): 377-403 (1993) - [c22]Michael J. Maher:
A Logic Programming View of CLP. ICLP 1993: 737-753 - [c21]Alexander Brodsky, Joxan Jaffar, Michael J. Maher:
Toward Practical Constraint Databases. VLDB 1993: 567-580 - 1992
- [j5]Jean-Louis Lassez, Michael J. Maher:
On Fourier's Algorithm for Linear Arithmetic Constraints. J. Autom. Reason. 9(3): 373-379 (1992) - [c20]Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher:
Oracle Semantics for Prolog. ALP 1992: 100-114 - [c19]Michael J. Maher:
A CLP View of Logic Programming. ALP 1992: 364-383 - [c18]