By Associate Professor Michael Maher

Conference Papers

Thornton J; Beaumont M; Sattar A; Maher M, 'Applying local search to temporal reasoning', in Proceedings Ninth International Symposium on Temporal Representation and Reasoning, IEEE Comput. Soc, pp. 94 - 99, presented at Ninth International Symposium on Temporal Representation and Reasoning, http://dx.doi.org/10.1109/time.2002.1027481

Maher MJ; Rock A; Antoniou G; Billington D; Miller T, 'Efficient defeasible reasoning systems', in Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000, IEEE Comput. Soc, pp. 384 - 392, presented at Twelfth Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000, http://dx.doi.org/10.1109/tai.2000.889898

Antoniou G; Billington D; Maher MJ, 'On the analysis of regulations using defeasible rules', in Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers, IEEE Comput. Soc, pp. 7 - 7, presented at HICSS 32 - 32nd Annual Hawaii International Conference on System Sciences, http://dx.doi.org/10.1109/hicss.1999.772631

Conference Proceedings (Editor of)

Bossi A; Maher M, (ed.), 2006, 'Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming', Venice, Italy, presented at International Conference on Principles and Practice of Declarative Programming, Venice, Italy, 10 July 2006 - 12 July 2006

Maher M, (ed.), 2004, 'ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday', Springer, Chang Mai, Thailand, presented at 9th Asian Computing Science Conference, Chang Mai, Thailand, 08 December 2004 - 10 December 2004

Preprints

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

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

Back to profile page