By Honorary Associate Professor Michael Maher

Book Chapters

Maher MJ; van der Meyden R, 2025, 'Accounting Views of Convertible Instruments', in Blockchain Technologies, Springer Nature Singapore, pp. 31 - 40, http://dx.doi.org/10.1007/978-981-96-3920-5_3

van der Meyden R; Maher MJ, 2025, 'Architecture for SAFE Smart Contracts', in Blockchain Technologies, Springer Nature Singapore, pp. 195 - 228, http://dx.doi.org/10.1007/978-981-96-3920-5_15

van der Meyden R; Maher MJ, 2025, 'Blockchain and Smart Contracts', in Blockchain Technologies, Springer Nature Singapore, pp. 159 - 172, http://dx.doi.org/10.1007/978-981-96-3920-5_12

Maher MJ; van der Meyden R, 2025, 'Conversion of Post-Money SAFEs', in Blockchain Technologies, Springer Nature Singapore, pp. 61 - 68, http://dx.doi.org/10.1007/978-981-96-3920-5_5

van der Meyden R; Maher MJ, 2025, 'Difficulties in Formalizing SAFE Contracts', in Blockchain Technologies, Springer Nature Singapore, pp. 173 - 181, http://dx.doi.org/10.1007/978-981-96-3920-5_13

van der Meyden R; Maher MJ, 2025, 'Dissolution Events', in Blockchain Technologies, Springer Nature Singapore, pp. 141 - 143, http://dx.doi.org/10.1007/978-981-96-3920-5_9

Maher MJ; van der Meyden R, 2025, 'Equity Financing with Multiple SAFEs', in Blockchain Technologies, Springer Nature Singapore, pp. 89 - 108, http://dx.doi.org/10.1007/978-981-96-3920-5_7

van der Meyden R; Maher MJ, 2025, 'Evaluation', in Blockchain Technologies, Springer Nature Singapore, pp. 229 - 236, http://dx.doi.org/10.1007/978-981-96-3920-5_16

van der Meyden R; Maher MJ, 2025, 'Game-Theoretic Aspects of SAFE Conversion', in Blockchain Technologies, Springer Nature Singapore, pp. 69 - 86, http://dx.doi.org/10.1007/978-981-96-3920-5_6

van der Meyden R; Maher MJ, 2025, 'Interaction with Law', in Blockchain Technologies, Springer Nature Singapore, pp. 237 - 252, http://dx.doi.org/10.1007/978-981-96-3920-5_17

Maher MJ; van der Meyden R, 2025, 'Issues in Implementing Other SAFE Clauses', in Blockchain Technologies, Springer Nature Singapore, pp. 259 - 268, http://dx.doi.org/10.1007/978-981-96-3920-5_19

van der Meyden R; Maher MJ, 2025, 'Liquidity Events with Multiple SAFEs', in Blockchain Technologies, Springer Nature Singapore, pp. 109 - 140, http://dx.doi.org/10.1007/978-981-96-3920-5_8

Maher MJ; van der Meyden R, 2025, 'Methods for Converting a Pre-Money SAFE', in Blockchain Technologies, Springer Nature Singapore, pp. 41 - 60, http://dx.doi.org/10.1007/978-981-96-3920-5_4

van der Meyden R; Maher MJ, 2025, 'Privacy and Platform Issues', in Blockchain Technologies, Springer Nature Singapore, pp. 253 - 257, http://dx.doi.org/10.1007/978-981-96-3920-5_18

Maher MJ; van der Meyden R, 2025, 'SAFE Contract Terms', in Blockchain Technologies, Springer Nature Singapore, pp. 15 - 28, http://dx.doi.org/10.1007/978-981-96-3920-5_2

van der Meyden R; Maher MJ, 2025, 'Strategies for Formalization', in Blockchain Technologies, Springer Nature Singapore, pp. 183 - 194, http://dx.doi.org/10.1007/978-981-96-3920-5_14

van der Meyden R; Maher MJ, 2025, 'Summary of the Analysis', in Blockchain Technologies, Springer Nature Singapore, pp. 151 - 156, http://dx.doi.org/10.1007/978-981-96-3920-5_11

Maher MJ; van der Meyden R, 2025, 'The Need for SAFEs', in Blockchain Technologies, Springer Nature Singapore, pp. 3 - 14, http://dx.doi.org/10.1007/978-981-96-3920-5_1

van der Meyden R; Maher MJ, 2025, 'Towards a Better SAFE', in Blockchain Technologies, Springer Nature Singapore, pp. 145 - 150, http://dx.doi.org/10.1007/978-981-96-3920-5_10

Maher MJ, 2003, 'A Synthesis of Constraint Satisfaction and Constraint Solving', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 525 - 539, http://dx.doi.org/10.1007/978-3-540-45193-8_36

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, 2025, 'Which are the true defeasible logics?', Journal of Applied Non Classical Logics, 35, pp. 215 - 243, 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 LUC; TRUSZCZYNSKI M, 2023, 'The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II', Theory and Practice of Logic Programming, 23, pp. 1 - 1, http://dx.doi.org/10.1017/s1471068422000394

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

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

Back to profile page