By Honorary Associate Professor Michael Maher

Conference Papers

Maher M, 2009, 'Open Constraints in a Boundable World', in Integration of AI and OR techniques in constraint programming for combinatorial optimization, Springer, Pittsburgh, PA, USA, pp. 163 - 177, presented at 6th International Conference CPAIOR 2009, Pittsburgh, PA, USA, 27 May 2009 - 31 May 2009

Maher M, 2008, 'Human and Unhuman Commonsense Reasoning', in Fermüller CG; Voronkov A (ed.), Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, Springer, Yogyakarta, Indonesia, pp. 16 - 29, presented at 2010 International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 22 November 2008 - 27 November 2008

Maher M; Huang G, 2008, 'On Computing Constraint Abduction Answers', in Logic Programming, 21st International Conference, Springer, Berlin, pp. 421 - 435, presented at 2010 International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 22 November 2008 - 27 November 2008

Maher M; Narodytska N; Quimper C; Walsh T, 2008, 'Flow-based propagators for the sequence and related global constraints', in 14th International conference on Principles and practice of constraint programming, Sydney, presented at 14th International conference on Principles and practice of constraint programming, Sydney, 14 September 2008 - 18 September 2008

Maher M, 2006, 'Heyting domains for constraint abduction', in AI 2006: Advances in Artificial Intelligence, Springer-Verlag, Berlin, presented at 19th Australian Joint Conference on Artificial Intelligence, Hobart, 04 December 2006 - 08 December 2006

Maher M, 2005, 'Abduction of Linear Arithmetic Constraints', in Logic Programming, 21st International Conference, Springer, Berlin, pp. 174 - 188, presented at 2005 International Conference on Logic Programming, Sitges, Spain, 02 October 2005

Stuckey P; de la Banda M; Maher M; marriott K; Slaney J; Somogyi Z; Wallace MA; Walsh T, 2005, 'The G12 project: Mapping solver independent models to efficient solutions', in 11th International conference on principles and practice of constraint programming, Sitges, Spain, presented at 11th International conference on principles and practice of constraint programming, Sitges, Spain, 01 October 2005 - 05 October 2005

Maher M, 2005, 'Herbrand Constraint Abduction', in Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society, Chicago, USA, pp. 397 - 406, presented at 20th Annual IEEE Symposium on Logic in Computer Science, Chicago, USA, 26 June 2005 - 29 June 2005, http://dx.doi.org/10.1109/LICS.2005.21

Stuckey PJ; De La Banda MG; Maher M; Marriott K; Slaney J; Somogyi Z; Wallace M; Walsh T, 2005, 'The G12 project: Mapping solver independent models to efficient solutions', in Lecture Notes in Computer Science, pp. 9 - 13, http://dx.doi.org/10.1007/11562931_3

Beaumont M; Thornton J; Sattar A; Maher M, 2004, 'Solving Over-Constrained Temporal Reasoning Problems Using Local Search', in PRICAI 2004: Trends in Artificial Intelligence, Springer-Verlag, Berlin, presented at 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, 09 August 2004 - 13 August 2004

Thornton J; Beaumont M; Sattar A; Maher M, 2002, 'Applying Local Search to Temporal Reasoning', Institute of Electrical and Electronics Engineers (IEEE), pp. 94 - 99, presented at Proceedings Ninth International Symposium on Temporal Representation and Reasoning, http://dx.doi.org/10.1109/time.2002.1027481

Maher MJ; Srivastava D, 1996, 'Chasing constrained tuple-generating dependencies', in Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, ACM, pp. 128 - 138, presented at SIGMOD/PODS96: Joint ACM SIGMOD International Conference on Management of Data and ACM Symposium on Principles of Database Systems, http://dx.doi.org/10.1145/237661.237693

Brodsky A; Lassez C; Lassez J-L; Maher MJ, 1995, 'Separability of polyhedra for optimal filtering of spatial and constraint data', in Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, ACM, pp. 54 - 65, presented at SIGMOD/PODS95: Joint ACM SIGMOD Intl Conference on Management of Data and ACM SIGACT-SIGMOD- SIGART Symposium on Principles of Database Systems, http://dx.doi.org/10.1145/212433.212449

Jaffar J; Maher MJ; Neumann G, 'An architecture and prototype implementation of a system for individualised workflows in medical information systems', 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. 13 - 13, presented at HICSS 32 - 32nd Annual Hawaii International Conference on System Sciences, http://dx.doi.org/10.1109/hicss.1999.772963

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?, 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