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

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

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

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

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

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

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

Antoniou G; Billington D; Governatori G; Maher MJ, 2006, 'Embedding defeasible logic into 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 CLOSER 2018 - Proceedings of the 8th International Conference on Cloud Computing and Services Science, pp. 179 - 189, presented at

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

Maher MJ, 2016, 'Resistance to corruption of general strategic argumentation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 61 - 75, presented at , http://dx.doi.org/10.1007/978-3-319-44832-9_4

Maher MJ, 2016, 'Resistance to corruption of strategic argumentation', in 30th AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 1030 - 1036, presented at

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, presented at , http://dx.doi.org/10.1007/978-3-319-50127-7_2

Maher MJ, 2015, 'Relating concrete argumentation formalisms and abstract argumentation', in CEUR Workshop Proceedings, presented at

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, presented at , http://dx.doi.org/10.1007/978-3-319-17130-2_26

Maher MJ, 2014, 'Complexity of exploiting privacy violations in strategic argumentation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 523 - 535, presented at , http://dx.doi.org/10.1007/978-3-319-13560-1

Maher MJ, 2014, 'Comparing defeasible logics', in Frontiers in Artificial Intelligence and Applications, pp. 585 - 590, presented at , http://dx.doi.org/10.3233/978-1-61499-419-0-585

Maher MJ, 2013, 'Relative expressiveness of well-founded defeasible logics', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 338 - 349, presented at , http://dx.doi.org/10.1007/978-3-319-03680-9_35

Mehani O; Boreli R; Malier M; Ernst T, 2011, 'User- and application-centric multihomed flow management', in Proceedings - Conference on Local Computer Networks, LCN, pp. 26 - 34, presented at , http://dx.doi.org/10.1109/LCN.2011.6115206

Newton MAH; Pham DN; Sattar A; Maher M, 2011, 'Kangaroo: An efficient constraint-based local search system using lazy propagation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 645 - 659, presented at , http://dx.doi.org/10.1007/978-3-642-23786-7_49

Maher M, (eds.), 2010, 'Human and Unhuman Commonsense Reasoning', in 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 - 27 November 2008

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

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 - 31 May 2009

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

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

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

Maher M; Narodytska N; Quimper CG; Walsh T, 2008, 'Flow-based propagators for the SEQUENCE and related global constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 159 - 174, presented at , http://dx.doi.org/10.1007/978-3-540-85958-1_11

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

Maher M, 2005, 'Abduction of Linear Arithmetic Constraints', in Logic Programming, 21st International Conference, Springer, Sitges, Spain, pp. 174 - 188, presented at 2005 International Conference on Logic Programming, Sitges, Spain, 02 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 - 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 13 - 16, presented at , http://dx.doi.org/10.1007/11564751_4

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

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, Auckland, New Zealand, presented at 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, 09 - 13 August 2004

Conference Proceedings (Editor of)

Bossi A; Maher M, (eds.), 2006, 'Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming', in Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, International Conference on Principles and Practice of Declarative Programming, Venice, Italy, presented at International Conference on Principles and Practice of Declarative Programming, Venice, Italy, 10 - 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', in 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 - 10 December 2004