By Associate Professor Michael Maher

Journal articles

MAHER MJ; ROCK A; ANTONIOU G; BILLINGTON D; MILLER T, 2001, 'EFFICIENT DEFEASIBLE REASONING SYSTEMS', International Journal on Artificial Intelligence Tools, 10, pp. 483 - 501, http://dx.doi.org/10.1142/s0218213001000623

MAHER MJ, 2001, 'Propositional defeasible logic has linear complexity', Theory and Practice of Logic Programming, 1, pp. 691 - 711, http://dx.doi.org/10.1017/s1471068401001168

Antoniou G; Billington D; Governatori G; Maher MJ, 2001, 'Representation results for defeasible logic', ACM Transactions on Computational Logic, 2, pp. 255 - 287, http://dx.doi.org/10.1145/371316.371517

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

Antoniou G; Maher MJ; Billington D, 2000, 'Defeasible logic versus Logic Programming without Negation as Failure', The Journal of Logic Programming, 42, pp. 47 - 57, http://dx.doi.org/10.1016/s0743-1066(99)00060-6

Brodsky A; Lassez C; Lassez J-L; Maher MJ, 1999, '', Journal of Automated Reasoning, 23, pp. 83 - 104, http://dx.doi.org/10.1023/a:1006171919920

Jaffar J; Maher M; Marriott K; Stuckey P, 1998, 'The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1', The Journal of Logic Programming, 37, pp. 1 - 46, http://dx.doi.org/10.1016/s0743-1066(98)10002-x

Brodsky A; Jaffar J; Maher MJ, 1997, '', Constraints, 2, pp. 279 - 304, http://dx.doi.org/10.1023/a:1009795512753

Maher MJ, 1997, 'Constrained dependencies', Theoretical Computer Science, 173, pp. 113 - 149, http://dx.doi.org/10.1016/s0304-3975(96)00193-4

Maher MJ; Stuckey PJ, 1995, 'On inductive inference of cyclic structures', Annals of Mathematics and Artificial Intelligence, 15, pp. 167 - 208, http://dx.doi.org/10.1007/bf01534454

Barbuti R; Codish M; Giacobazzi R; Maher MJ, 1995, 'Oracle Semantics for Prolog', Information and Computation, 122, pp. 178 - 200, http://dx.doi.org/10.1006/inco.1995.1146

Jaffar J; Maher MJ, 1994, 'Constraint logic programming: a survey', The Journal of Logic Programming, 19-20, pp. 503 - 581, http://dx.doi.org/10.1016/0743-1066(94)90033-7

Maher MJ, 1993, 'A transformation system for deductive database modules with perfect model semantics', Theoretical Computer Science, 110, pp. 377 - 403, http://dx.doi.org/10.1016/0304-3975(93)90013-j

Jaffar J; Maher MJ; Stuckey PJ; Yap RHC, 1993, 'Projecting CLPR constraints', New Generation Computing, 11, pp. 449 - 469, http://dx.doi.org/10.1007/bf03037187

Lassez J-L; Maher MJ, 1992, 'On Fourier's algorithm for linear arithmetic constraints', Journal of Automated Reasoning, 9, pp. 373 - 379, http://dx.doi.org/10.1007/bf00245296

Jaffar J; Lassez J-L; Maher MJ, 1986, 'Comments on “general failure of logic programs”', The Journal of Logic Programming, 3, pp. 115 - 118, http://dx.doi.org/10.1016/0743-1066(86)90018-x

Lassez J-L; Maher MJ, 1985, 'Optimal fixedpoints of logic programs', Theoretical Computer Science, 39, pp. 15 - 25, http://dx.doi.org/10.1016/0304-3975(85)90128-8

Jaffar J; Lassez J-L; Maher MJ, 1984, 'A theory of complete logic programs with equality', The Journal of Logic Programming, 1, pp. 211 - 223, http://dx.doi.org/10.1016/0743-1066(84)90010-4

Lassez J-L; Maher MJ, 1984, 'Closures and fairness in the semantics of programming logic', Theoretical Computer Science, 29, pp. 167 - 184, http://dx.doi.org/10.1016/0304-3975(84)90017-3

Conference Papers

Van Der Meyden R; Maher MJ, 2021, 'Architecture for Smart SAFE Contracts', in 2021 3rd Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2021, pp. 145 - 148, http://dx.doi.org/10.1109/BRAINS52497.2021.9569831

Tajvidi M; Essam D; Maher MJ, 2018, 'Deadline-constrained stochastic optimization of resource provisioning, for cloud users', in Muñoz VM; Ferguson D; Helfert M; Pahl C (eds.), CLOSER 2018 - Proceedings of the 8th International Conference on Cloud Computing and Services Science, SciTePress, Science and Technology Publications, Lda, Funchal, Madeira, Portugal, pp. 179 - 189, presented at 8th International Conference on Cloud Computing and Services Science :CLOSER 2018, Funchal, Madeira, Portugal, 19 March 2018 - 21 March 2018, http://dx.doi.org/10.5220/0006761401790189

Tajvidi M; Maher MJ; Essam D, 2017, 'Uncertainty-Aware optimization of resource provisioning, a cloud end-user perspective', in CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, pp. 293 - 300, http://dx.doi.org/10.5220/0006234103210328

Maher MJ, 2016, 'Corrupt strategic argumentation: The ideal and the naive', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Hobart, TAS, Australia, pp. 17 - 28, presented at 2016 Australasian Joint Conference on Artificial Intelligence, Hobart, TAS, Australia, 05 December 2016 - 08 December 2016, http://dx.doi.org/10.1007/978-3-319-50127-7_2

Maher MJ, 2016, 'Resistance to Corruption of General Strategic Argumentation', in 30th AAAI Conference on Artificial Intelligence, AAAI 2016, Thailand, presented at International Conference on Principles and Practice of Multi-Agent Systems, Thailand, 22 August 2016 - 26 August 2016, http://dx.doi.org/10.1007/978-3-319-44832-9_4

Maher MJ, 2016, 'Resistance to corruption of strategic argumentation', in PRIMA 2016: Principles and Practice of Multi-Agent Systems, Springer Nature, Phoenix, USA, pp. 61 - 75, presented at AAAI Conference on Artificial Intelligence, Phoenix, USA, 12 February 2016 - 17 February 2016, http://dx.doi.org/10.1007/978-3-319-44832-9_4

Maher MJ, 2015, 'Relating Concrete Argumentation Formalisms and Abstract Argumentation', in Eiter T; Toni F (ed.), Cork, Ireland, presented at International Conference on Logic Programming, Cork, Ireland, 31 August 2015 - 04 September 2015

Governatori G; Maher MJ; Olivieri F; Rotolo A; Scannapieco S, 2014, 'Strategic Argumentation Under Grounded Semantics is NP-Complete', in Multi-Agent Systems, Springer, Prague, Czech Republic, pp. 379 - 387, presented at European Conference on Multi-Agent Systems, Prague, Czech Republic, 18 December 2014 - 19 December 2014

Maher MJ, 2014, 'Complexity of Exploiting Privacy Violations in Strategic Argumentation', in Pham D-N; Park S-B (ed.), PRICAI 2014: Trends in Artificial Intelligence, Springer, pp. 523 - 535, presented at Pacific Rim International Conference on Artificial Intelligence, 01 December 2014 - 05 December 2014, http://dx.doi.org/10.1007/978-3-319-13560-1_42

Maher MJ, 2014, 'Comparing Defeasible Logics', in ECAI 2014, IOS Press, Prague, Czech Republic, pp. 585 - 590, presented at European Conference on Artificial Intelligence, Prague, Czech Republic, 18 August 2014 - 22 August 2014, http://dx.doi.org/10.3233/978-1-61499-419-0-585

Maher MJ, 2013, 'Relative Expressiveness of Well-Founded Defeasible Logics', in Cranefield S; Nayak A (ed.), AI 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, pp. 338 - 349, presented at 26th Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, 03 December 2013 - 06 December 2013

Mehani O; Boreli R; Maher M; Ernst T, 2011, 'User- and Application-Centric Multihomed Flow Management', in Proceedings - Conference on Local Computer Networks, LCN, IEEE, Piscataway, NJ, United States, pp. 26 - 34, presented at 36th Annual IEEE Conference on Local Computer Networks, LCN 2011, Bonn, Germany, 04 October 2011 - 07 October 2011, http://dx.doi.org/10.1109/LCN.2011.6115206

Newton MAH; Pham N; Sattar A; Maher M, 2011, 'Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation', in Principles and Practice of Constraint Programming - CP 2011, Springer, Perugia, Italy, pp. 645 - 659, presented at 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, Perugia, Italy, 12 September 2011 - 16 September 2011, http://dx.doi.org/10.1007/978-3-642-23786-7_49

Maher M, 2010, 'Contractibility and Contractible Approximations of Soft Global Constraints', in Technical Communications of the 26th International Conference on Logic Programming, Leibniz International Proceedings in Informatics, Schloss Dagstuhl, Germany, pp. 114 - 123, presented at International Conference on Logic Programming 2010, Edinburgh, UK, 16 July 2010 - 19 July 2010, http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.114

Maher M, 2009, 'SOGgy Constraints: Soft Open Global Constraints', in Principles and Practice of Constraints Programming - CP 2009, Springer, Berlin, pp. 584 - 591, presented at 15th International Conference CP 2009, Lisbon, Portugal, 20 September 2009 - 24 September 2009

Maher M, 2009, 'Open Contractible Global Constraints', in Proceedings of the International Joint Conference on Arti cial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 578 - 583, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009

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

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, 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, 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, presented at HICSS 32 - 32nd Annual Hawaii International Conference on System Sciences, http://dx.doi.org/10.1109/hicss.1999.772963

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, 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, presented at Twelfth Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000, http://dx.doi.org/10.1109/tai.2000.889898

Back to profile page