Associate Professor Michael Maher

Honorary Associate Professor
School of Engineering and Information Technology

LOCATION

Canberra

  • ABOUT
  • PUBLICATIONS

Michael Maher is now Director of the Reasoning Research Institute, Canberra.  He previously taught in the School of Engineering and Information Technology at UNSW Canberra, was a Senior Principal Researcher at National ICT Australia, a Professor at Loyola University Chicago, an Associate Professor at Griffith University, and a Research Staff Member at IBM's T.J. Watson Research Center.

Prospective PhD Students

Michael Maher is not accepting any students for supervision.

Research Experience

  • Computational Logic
  • Constraint Programming and Optimization
  • Defeasible Reasoning and Argumentation
  • Non-monotonic Logics
  • Declarative Programming

Teaching Experience

  • Algorithms and Complexity
  • Data Structures
  • First-Order Logic
  • Interaction Design
  • Knowledge Representation and Reasoning
  • Operations Research
  • Programming Languages
  • Artificial Intelligence

Memberships

  • Association for Logic Programming
  • Association for Constraint Programming

Consulting Interests

  • Constraint-based Modelling and Optimization

Journal articles

Governatori G; Maher MJ, 2017, 'Annotated defeasible logic', Theory and Practice of Logic Programming, vol. 17, pp. 819 - 836, http://dx.doi.org/10.1017/S1471068417000266

Maher MJ, 2017, 'Relating concrete defeasible reasoning formalisms and abstract argumentation', Fundamenta Informaticae, vol. 155, pp. 233 - 260, http://dx.doi.org/10.3233/FI-2017-1584

Maher MJ, 2017, 'Contractibility for open global constraints', Theory and Practice of Logic Programming, vol. 17, pp. 365 - 407, http://dx.doi.org/10.1017/S1471068417000126

Ahmed M; Mahmood AN; Maher MJ, 2015, 'An Efficient Technique for Network Traffic Summarizationusing Multi view Clustering and Statistical Sampling', EAI ENDORSED TRANSACTIONS ON SCALABLE INFORMATION SYSTEMS, vol. 2, http://dx.doi.org/10.4108/sis.2.5.e4

Ahmed M; Anwar A; MAHMOOD A; Shah Z; Maher MJ, 2015, 'An Investigation of Performance Analysis of Anomaly Detection Techniques for Big Data in SCADA Systems', ICST Transactions on Industrial Networks and Intelligent Systems, vol. 2, http://dx.doi.org/10.4108/inis.2.3.e5

Maher MJ, 2013, 'Relative Expressiveness of Defeasible Logics II', Theory and Practice of Logic Programming, vol. 13, pp. 579 - 592, http://dx.doi.org/10.1017/S1471068413000367

Maher M, 2012, 'Relative Expressiveness of Defeasible Logics', Theory and Practice of Logic Programming, vol. 12, pp. 793 - 810, http://dx.doi.org/10.1017/S1471068412000294

Billington D; Antoniou G; Governatori G; Maher M, 2010, 'An inclusion theorem for defeasible logics', ACM Transactions on Computational Logic, vol. 12, http://dx.doi.org/10.1145/1838552.1838558

Maher M, 2009, 'Local consistency for extended CSPs', Theoretical Computer Science, vol. 410, pp. 4769 - 4783

Falaschi M; Maher M, 2007, 'Introduction Special Issue on Multiparadigm Languages and Constraint Programming', Theory and Practice of Logic Programming, vol. 7, pp. 1 - 2

Maher M; Antoniou G; Billington D; Governatori G, 2006, 'Embedding defeasible logic in logic programming', Theory and Practice of Logic Programming, vol. 6, pp. 703 - 735, http://dx.doi.org/10.1017/S1471068406002778

Wang J; Topor RW; Maher M, 2005, 'Rewriting Union Queries Using Views', Constraints, vol. 10, pp. 219 - 251

Governatori G; Maher MJ; Antoniou G; Billington D, 2004, 'Argumentation semantics for defeasible logic', Journal of Logic and Computation, vol. 14, pp. 675 - 702, http://dx.doi.org/10.1093/logcom/14.5.675

Conference Papers

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

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), pp. 17 - 28, 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, pp. 1030 - 1036, 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, 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

Governatori G; Maher MJ; Olivieri F; Rotolo A; Scannapieco S, 2015, 'Strategic argumentation under grounded semantics is NP-complete', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 379 - 387, http://dx.doi.org/10.1007/978-3-319-17130-2_26

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

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, 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, 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, http://dx.doi.org/10.1007/978-3-319-03680-9_35

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

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

Maher MJ, 2010, 'Contractibility and contractible approximations of soft global constraints', in Leibniz International Proceedings in Informatics, LIPIcs, pp. 114 - 123, http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.114

Maher M, 2010, '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, 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; 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, pp. 159 - 174, presented at 14th International conference on Principles and practice of constraint programming, Sydney, 14 September 2008 - 18 September 2008, http://dx.doi.org/10.1007/978-3-540-85958-1_11

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

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

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, pp. 13 - 16, presented at 11th International conference on principles and practice of constraint programming, Sitges, Spain, 01 October 2005 - 05 October 2005, http://dx.doi.org/10.1007/11564751_4

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

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

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