By Associate Professor Michael Maher

Book Chapters

Antoniou G; Maher MJ, 2002, 'Embedding Defeasible Logic into Logic Programs', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 393 - 404, http://dx.doi.org/10.1007/3-540-45619-8_27

Maher MJ, 2002, 'Propagation Completeness of Reactive Constraints', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 148 - 163, http://dx.doi.org/10.1007/3-540-45619-8_11

Wang J; Maher M; Topor R, 2002, 'Rewriting Unions of General Conjunctive Queries Using Views', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 52 - 69, http://dx.doi.org/10.1007/3-540-45876-x_6

Wang J; Topor R; Maher M, 2001, 'Reasoning with Disjunctive Constrained Tuple-Generating Dependencies', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 963 - 973, http://dx.doi.org/10.1007/3-540-44759-8_93

Beaumont M; Sattar A; Maher M; Thornton J, 2001, 'Solving Overconstrained Temporal Reasoning Problems', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 37 - 49, http://dx.doi.org/10.1007/3-540-45656-2_4

Maher MJ, 2000, 'A Denotational Semantics of Defeasible Logic', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 209 - 222, http://dx.doi.org/10.1007/3-540-44957-4_14

Governatori G; Maher MJ; Antoniou G; Billington D, 2000, 'Argumentation Semantics for Defeasible Logics', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 27 - 37, http://dx.doi.org/10.1007/3-540-44533-1_7

Maher M; Wang J, 2000, 'Optimizing Queries in Extended Relational Databases', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 386 - 396, http://dx.doi.org/10.1007/3-540-44469-6_36

Antoniou G; Maher MJ; Billington B; Governatori G, 1999, 'A Comparison of Sceptical NAF-Free Logic Programming Approaches', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 347 - 356, http://dx.doi.org/10.1007/3-540-46767-x_25

Maher MJ, 1999, 'Adding Constraints to Logic-based Formalisms', in Artificial Intelligence, Springer Berlin Heidelberg, pp. 313 - 331, http://dx.doi.org/10.1007/978-3-642-60085-2_13

Billington D; Antoniou G; Governatori G; Maher M, 1999, 'Revising Nonmonotonic Theories: The Case of Defeasible Logic', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 101 - 112, http://dx.doi.org/10.1007/3-540-48238-5_8

Jaffar J; Maher MJ, 1998, 'Constraint Logic Programming: A Survey', in Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming, Oxford University Press, http://dx.doi.org/10.1093/oso/9780198537922.003.0012

Maher MJ; Antoniou G; Billington D, 1998, 'A study of provability in defeasible logic', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 215 - 226, http://dx.doi.org/10.1007/bfb0095054

Brodsky A; Jaffar J; Maher MJ, 1997, 'Toward Practical Query Evaluation for Constraint Databases', in Constraints and Databases, Springer US, pp. 41 - 66, http://dx.doi.org/10.1007/978-1-4615-5515-5_3

Maher MJ, 1995, 'Constrained dependencies', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 170 - 185, http://dx.doi.org/10.1007/3-540-60299-2_11

Jaffar J; Maher MJ; Stuckey PJ; Yap RHC, 1994, 'Beyond finite domains', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 86 - 94, http://dx.doi.org/10.1007/3-540-58601-6_92

Lassez J-L; Maher M; Marriott K, 1991, 'Elimination of negation in term algebras', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 1 - 16, http://dx.doi.org/10.1007/3-540-54345-7_44

Maher MJ, 1989, 'A transformation system for deductive database modules with perfect model semantics', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 89 - 98, http://dx.doi.org/10.1007/3-540-52048-1_35

Maher MJ, 1988, 'Equivalences of Logic Programs', in Foundations of Deductive Databases and Logic Programming, Elsevier, pp. 627 - 658, http://dx.doi.org/10.1016/b978-0-934613-40-8.50020-8

Lassez J-L; Maher MJ; Marriott K, 1988, 'Unification revisited', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 67 - 113, http://dx.doi.org/10.1007/3-540-19129-1_4

Lassez J-L; Maher MJ; Marriott K, 1988, 'Unification Revisited', in Foundations of Deductive Databases and Logic Programming, Elsevier, pp. 587 - 625, http://dx.doi.org/10.1016/b978-0-934613-40-8.50019-1

Jaffar J; Lassez J-L; Maher MJ, 1986, 'Some issues and trends in the semantics of logic programming', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 223 - 241, http://dx.doi.org/10.1007/3-540-16492-8_78

Maher MJ, 'A CLP view of logic programming', in Lecture Notes in Computer Science, Springer-Verlag, pp. 364 - 383, http://dx.doi.org/10.1007/bfb0013838

Barbuti R; Codish M; Giacobazzi R; Maher M, 'Oracle semantics for Prologa', in Lecture Notes in Computer Science, Springer-Verlag, pp. 100 - 114, http://dx.doi.org/10.1007/bfb0013822

Journal articles

Maher MJ, 2024, 'Which are the true defeasible logics?', Journal of Applied Non-Classical Logics, http://dx.doi.org/10.1080/11663081.2024.2386918

Maher MJ, 2023, 'Defeasible Reasoning via Datalog', Theory and Practice of Logic Programming, 23, pp. 986 - 1028, http://dx.doi.org/10.1017/S1471068421000387

Eiter T; Maher M; Pontelli E; De Raedt L; Truszczynski M, 2022, 'Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP', THEORY AND PRACTICE OF LOGIC PROGRAMMING, 22, pp. 770 - 775, http://dx.doi.org/10.1017/S1471068422000345

Maher MJ, 2022, 'On Signings and the Well-Founded Semantics', Theory and Practice of Logic Programming, 22, pp. 115 - 127, http://dx.doi.org/10.1017/S1471068421000077

Maher MJ, 2021, 'Approximating Defeasible Logics to Improve Scalability', , http://arxiv.org/abs/2108.05232v1

Governatori G; Maher MJ; Olivieri F, 2021, 'Strategic argumentation', Journal of Applied Logics, 8, pp. 1679 - 1748

Maher MJ, 2021, 'Defeasible Reasoning via Datalog$^\neg$', Theory and Practice of Logic Programming 23 (5), 986-1028, 2021, http://arxiv.org/abs/2106.10946v1

Maher MJ, 2020, 'Corruption and Audit in Strategic Argumentation', , http://arxiv.org/abs/2008.13115v1

Maher MJ, 2020, 'A lemma on closures and its application to modularity in logic programming semantics', , http://arxiv.org/abs/2008.00724v1

Maher MJ; Tachmazidis ILIAS; Antoniou G; Wade S; Cheng LONG, 2020, 'Rethinking Defeasible Reasoning: A Scalable Approach', Theory and Practice of Logic Programming, http://dx.doi.org/10.1017/S1471068420000010

Governatori G; Maher MJ, 2017, 'Annotated defeasible logic', Theory and Practice of Logic Programming, 17, pp. 819 - 836, http://dx.doi.org/10.1017/S1471068417000266

Maher MJ, 2017, 'Contractibility for open global constraints', Theory and Practice of Logic Programming, 17, pp. 365 - 407, http://dx.doi.org/10.1017/S1471068417000126

Maher MJ, 2017, 'Relating concrete defeasible reasoning formalisms and abstract argumentation', Fundamenta Informaticae, 155, pp. 233 - 260, http://dx.doi.org/10.3233/FI-2017-1584

Ahmed M; Anwar A; MAHMOOD A; Shah Z; Maher MJ, 2015, 'An Investigation of Performance Analysis of Anomaly Detection Techniques for Big Data in SCADA Systems', ICST Transactions on Industrial Networks and Intelligent Systems, 2, pp. e5, http://dx.doi.org/10.4108/inis.2.3.e5

Ahmed M; Mahmood AN; Maher MJ, 2015, 'An Efficient Technique For Network Traffic Summarization Using Multiview Clustering And Statistical Sampling', EAI Endorsed Transactions on Scalable Information Systems, 2, pp. 1 - 9, http://dx.doi.org/10.4108/sis.2.5.e4

Maher MJ, 2013, 'Relative Expressiveness of Defeasible Logics II', Theory and Practice of Logic Programming, 13, pp. 579 - 592, http://dx.doi.org/10.1017/S1471068413000367

Maher M, 2012, 'Relative Expressiveness of Defeasible Logics', Theory and Practice of Logic Programming, 12, pp. 793 - 810, http://dx.doi.org/10.1017/S1471068412000294

Billington D; Antoniou G; Governatori G; Maher M, 2010, 'An inclusion theorem for defeasible logics', ACM Transactions on Computational Logic, 12, http://dx.doi.org/10.1145/1838552.1838558

Maher M, 2009, 'Local consistency for extended CSPs', Theoretical Computer Science, 410, pp. 4769 - 4783

Falaschi M; Maher M, 2007, 'Introduction Special Issue on Multiparadigm Languages and Constraint Programming', Theory and Practice of Logic Programming, 7, pp. 1 - 2

Maher M; Antoniou G; Billington D; Governatori G, 2006, 'Embedding defeasible logic in logic programming', Theory and Practice of Logic Programming, 6, pp. 703 - 735

Antoniou G; Billington D; Governatori G; Maher MJ, 2005, 'Embedding Defeasible Logic into Logic Programming', Theory and Practice of Logic Programming, 6, pp. 6, http://dx.doi.org/10.1017/S147106840600277

Wang J; Topor RW; Maher M, 2005, 'Rewriting Union Queries Using Views', Constraints, 10, pp. 219 - 251

Governatori G; Maher MJ; Antoniou G; Billington D, 2004, 'Argumentation semantics for defeasible logic', Journal of Logic and Computation, 14, pp. 675 - 702, http://dx.doi.org/10.1093/logcom/14.5.675

Maher MJ, 2004, 'Propositional Defeasible Logic has Linear Complexity', Theory and Practice of Logic Programming, 1, pp. 6, http://arxiv.org/abs/cs/0405090v1

Maher MJ, 2002, 'A Model-Theoretic Semantics for Defeasible Logic', , http://arxiv.org/abs/cs/0207086v1

Back to profile page