By Honorary Associate Professor Michael Maher

Preprints

Maher MJ, 2024, Which are the True Defeasible Logics?, https://arxiv.org/abs/2405.19157v1

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

Maher MJ, 2021, Defeasible Reasoning via Datalog$^\neg$, https://arxiv.org/abs/2106.10946v1

Maher MJ, 2021, On Signings and the Well-Founded Semantics, https://doi.org/10.1017/S1471068421000077

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

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

Maher MJ; Tachmazidis I; Antoniou G; Wade S; Cheng L, 2020, Rethinking Defeasible Reasoning: A Scalable Approach, http://dx.doi.org/10.48550/arxiv.2001.00406

Governatori G; Maher MJ, 2017, Annotated Defeasible Logic, https://arxiv.org/abs/1707.04734v1

Maher MJ, 2017, Contractibility for Open Global Constraints, https://arxiv.org/abs/1702.07889v1

Antoniou G; Billington D; Governatori G; Maher MJ, 2005, Embedding Defeasible Logic into Logic Programming, https://doi.org/10.1017/S147106840600277

Maher MJ, 2004, Propositional Defeasible Logic has Linear Complexity, https://arxiv.org/abs/cs/0405090v1

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

Antoniou G; Billington D; Governatori G; Maher MJ, 2000, Representation results for defeasible logic, https://arxiv.org/abs/cs/0003082v1

Antoniou G; Billigton D; Governatori G; Maher MJ, 2000, A flexible framework for defeasible logics, https://arxiv.org/abs/cs/0003013v1

Back to profile page