Back to
Associate Professor Michael Maher

Associate Professor Michael Maher

Honorary Associate Professor
Engineering
Computer Science and Engineering

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.

Before that, he was a Senior Principal Researcher at National ICT Australia and conjoint Professor at UNSW, 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
  • Computational Law

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
  • Blockchain and smart contracts
E-mail
michael.maher@reasoning.org.au
Location
Canberra
  • Book Chapters | 2002
    Antoniou G; Maher MJ, 2002, 'Embedding Defeasible Logic into Logic Programs', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 393 - 404, http://dx.doi.org/10.1007/3-540-45619-8_27
    Book Chapters | 2002
    Maher MJ, 2002, 'Propagation Completeness of Reactive Constraints', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 148 - 163, http://dx.doi.org/10.1007/3-540-45619-8_11
    Book Chapters | 2002
    Wang J; Maher M; Topor R, 2002, 'Rewriting Unions of General Conjunctive Queries Using Views', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 52 - 69, http://dx.doi.org/10.1007/3-540-45876-x_6
    Book Chapters | 2001
    Beaumont M; Sattar A; Maher M; Thornton J, 2001, 'Solving Overconstrained Temporal Reasoning Problems', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 37 - 49, http://dx.doi.org/10.1007/3-540-45656-2_4
    Book Chapters | 2001
    Wang J; Topor R; Maher M, 2001, 'Reasoning with Disjunctive Constrained Tuple-Generating Dependencies', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 963 - 973, http://dx.doi.org/10.1007/3-540-44759-8_93
    Book Chapters | 2000
    Governatori G; Maher MJ; Antoniou G; Billington D, 2000, 'Argumentation Semantics for Defeasible Logics', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 27 - 37, http://dx.doi.org/10.1007/3-540-44533-1_7
    Book Chapters | 2000
    Maher M; Wang J, 2000, 'Optimizing Queries in Extended Relational Databases', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 386 - 396, http://dx.doi.org/10.1007/3-540-44469-6_36
    Book Chapters | 2000
    Maher MJ, 2000, 'A Denotational Semantics of Defeasible Logic', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 209 - 222, http://dx.doi.org/10.1007/3-540-44957-4_14
    Book Chapters | 1999
    Antoniou G; Maher MJ; Billington B; Governatori G, 1999, 'A Comparison of Sceptical NAF-Free Logic Programming Approaches', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 347 - 356, http://dx.doi.org/10.1007/3-540-46767-x_25
    Book Chapters | 1999
    Billington D; Antoniou G; Governatori G; Maher M, 1999, 'Revising Nonmonotonic Theories: The Case of Defeasible Logic', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 101 - 112, http://dx.doi.org/10.1007/3-540-48238-5_8
    Book Chapters | 1999
    Maher MJ, 1999, 'Adding Constraints to Logic-based Formalisms', in Artificial Intelligence, Springer Berlin Heidelberg, pp. 313 - 331, http://dx.doi.org/10.1007/978-3-642-60085-2_13
    Book Chapters | 1998
    Jaffar J; Maher MJ, 1998, 'Constraint Logic Programming: A Survey', in Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming, Oxford University Press, http://dx.doi.org/10.1093/oso/9780198537922.003.0012
    Book Chapters | 1998
    Maher MJ; Antoniou G; Billington D, 1998, 'A study of provability in defeasible logic', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 215 - 226, http://dx.doi.org/10.1007/bfb0095054
    Book Chapters | 1997
    Brodsky A; Jaffar J; Maher MJ, 1997, 'Toward Practical Query Evaluation for Constraint Databases', in Constraints and Databases, Springer US, pp. 41 - 66, http://dx.doi.org/10.1007/978-1-4615-5515-5_3
    Book Chapters | 1995
    Maher MJ, 1995, 'Constrained dependencies', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 170 - 185, http://dx.doi.org/10.1007/3-540-60299-2_11
    Book Chapters | 1994
    Jaffar J; Maher MJ; Stuckey PJ; Yap RHC, 1994, 'Beyond finite domains', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 86 - 94, http://dx.doi.org/10.1007/3-540-58601-6_92
    Book Chapters | 1991
    Lassez J-L; Maher M; Marriott K, 1991, 'Elimination of negation in term algebras', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 1 - 16, http://dx.doi.org/10.1007/3-540-54345-7_44
    Book Chapters | 1989
    Maher MJ, 1989, 'A transformation system for deductive database modules with perfect model semantics', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 89 - 98, http://dx.doi.org/10.1007/3-540-52048-1_35
    Book Chapters | 1988
    Lassez J-L; Maher MJ; Marriott K, 1988, 'Unification Revisited', in Foundations of Deductive Databases and Logic Programming, Elsevier, pp. 587 - 625, http://dx.doi.org/10.1016/b978-0-934613-40-8.50019-1
    Book Chapters | 1988
    Lassez J-L; Maher MJ; Marriott K, 1988, 'Unification revisited', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 67 - 113, http://dx.doi.org/10.1007/3-540-19129-1_4
    Book Chapters | 1988
    Maher MJ, 1988, 'Equivalences of Logic Programs', in Foundations of Deductive Databases and Logic Programming, Elsevier, pp. 627 - 658, http://dx.doi.org/10.1016/b978-0-934613-40-8.50020-8
    Book Chapters | 1986
    Jaffar J; Lassez J-L; Maher MJ, 1986, 'Some issues and trends in the semantics of logic programming', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 223 - 241, http://dx.doi.org/10.1007/3-540-16492-8_78
    Book Chapters |
    Barbuti R; Codish M; Giacobazzi R; Maher M, 'Oracle semantics for Prologa', in Lecture Notes in Computer Science, Springer-Verlag, pp. 100 - 114, http://dx.doi.org/10.1007/bfb0013822
    Book Chapters |
    Maher MJ, 'A CLP view of logic programming', in Lecture Notes in Computer Science, Springer-Verlag, pp. 364 - 383, http://dx.doi.org/10.1007/bfb0013838
  • Journal articles | 2024
    Maher MJ, 2024, 'Which are the true defeasible logics?', Journal of Applied Non-Classical Logics, http://dx.doi.org/10.1080/11663081.2024.2386918
    Journal articles | 2023
    Maher MJ, 2023, 'Defeasible Reasoning via Datalog', Theory and Practice of Logic Programming, 23, pp. 986 - 1028, http://dx.doi.org/10.1017/S1471068421000387
    Journal articles | 2022
    Eiter T; Maher M; Pontelli E; De Raedt L; Truszczynski M, 2022, 'Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP', THEORY AND PRACTICE OF LOGIC PROGRAMMING, 22, pp. 770 - 775, http://dx.doi.org/10.1017/S1471068422000345
    Journal articles | 2022
    Maher MJ, 2022, 'On Signings and the Well-Founded Semantics', Theory and Practice of Logic Programming, 22, pp. 115 - 127, http://dx.doi.org/10.1017/S1471068421000077
    Journal articles | 2021
    Governatori G; Maher MJ; Olivieri F, 2021, 'Strategic argumentation', Journal of Applied Logics, 8, pp. 1679 - 1748
    Journal articles | 2021
    Maher MJ, 2021, 'Approximating Defeasible Logics to Improve Scalability', , http://arxiv.org/abs/2108.05232v1
    Journal articles | 2021
    Maher MJ, 2021, 'Defeasible Reasoning via Datalog$^\neg$', Theory and Practice of Logic Programming 23 (5), 986-1028, 2021, http://arxiv.org/abs/2106.10946v1
    Journal articles | 2020
    Maher MJ; Tachmazidis ILIAS; Antoniou G; Wade S; Cheng LONG, 2020, 'Rethinking Defeasible Reasoning: A Scalable Approach', Theory and Practice of Logic Programming, http://dx.doi.org/10.1017/S1471068420000010
    Journal articles | 2020
    Maher MJ, 2020, 'A lemma on closures and its application to modularity in logic programming semantics', , http://arxiv.org/abs/2008.00724v1
    Journal articles | 2020
    Maher MJ, 2020, 'Corruption and Audit in Strategic Argumentation', , http://arxiv.org/abs/2008.13115v1
    Journal articles | 2017
    Governatori G; Maher MJ, 2017, 'Annotated defeasible logic', Theory and Practice of Logic Programming, 17, pp. 819 - 836, http://dx.doi.org/10.1017/S1471068417000266
    Journal articles | 2017
    Maher MJ, 2017, 'Contractibility for open global constraints', Theory and Practice of Logic Programming, 17, pp. 365 - 407, http://dx.doi.org/10.1017/S1471068417000126
    Journal articles | 2017
    Maher MJ, 2017, 'Relating concrete defeasible reasoning formalisms and abstract argumentation', Fundamenta Informaticae, 155, pp. 233 - 260, http://dx.doi.org/10.3233/FI-2017-1584
    Journal articles | 2015
    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, 2, pp. e5, http://dx.doi.org/10.4108/inis.2.3.e5
    Journal articles | 2015
    Ahmed M; Mahmood AN; Maher MJ, 2015, 'An Efficient Technique For Network Traffic Summarization Using Multiview Clustering And Statistical Sampling', EAI Endorsed Transactions on Scalable Information Systems, 2, pp. 1 - 9, http://dx.doi.org/10.4108/sis.2.5.e4
    Journal articles | 2013
    Maher MJ, 2013, 'Relative Expressiveness of Defeasible Logics II', Theory and Practice of Logic Programming, 13, pp. 579 - 592, http://dx.doi.org/10.1017/S1471068413000367
    Journal articles | 2012
    Maher M, 2012, 'Relative Expressiveness of Defeasible Logics', Theory and Practice of Logic Programming, 12, pp. 793 - 810, http://dx.doi.org/10.1017/S1471068412000294
    Journal articles | 2010
    Billington D; Antoniou G; Governatori G; Maher M, 2010, 'An inclusion theorem for defeasible logics', ACM Transactions on Computational Logic, 12, http://dx.doi.org/10.1145/1838552.1838558
    Journal articles | 2009
    Maher M, 2009, 'Local consistency for extended CSPs', Theoretical Computer Science, 410, pp. 4769 - 4783
    Journal articles | 2007
    Falaschi M; Maher M, 2007, 'Introduction Special Issue on Multiparadigm Languages and Constraint Programming', Theory and Practice of Logic Programming, 7, pp. 1 - 2
    Journal articles | 2006
    Maher M; Antoniou G; Billington D; Governatori G, 2006, 'Embedding defeasible logic in logic programming', Theory and Practice of Logic Programming, 6, pp. 703 - 735
    Journal articles | 2005
    Antoniou G; Billington D; Governatori G; Maher MJ, 2005, 'Embedding Defeasible Logic into Logic Programming', Theory and Practice of Logic Programming, 6, pp. 6, http://dx.doi.org/10.1017/S147106840600277
    Journal articles | 2005
    Wang J; Topor RW; Maher M, 2005, 'Rewriting Union Queries Using Views', Constraints, 10, pp. 219 - 251
    Journal articles | 2004
    Governatori G; Maher MJ; Antoniou G; Billington D, 2004, 'Argumentation semantics for defeasible logic', Journal of Logic and Computation, 14, pp. 675 - 702, http://dx.doi.org/10.1093/logcom/14.5.675
    Journal articles | 2004
    Maher MJ, 2004, 'Propositional Defeasible Logic has Linear Complexity', Theory and Practice of Logic Programming, 1, pp. 6, http://arxiv.org/abs/cs/0405090v1
    Journal articles | 2002
    Jaffar J; Maher MJ, 2002, '', Constraints, 7, pp. 227 - 228, http://dx.doi.org/10.1023/a:1020564731987
    Journal articles | 2002
    Maher MJ, 2002, 'A Model-Theoretic Semantics for Defeasible Logic', , http://arxiv.org/abs/cs/0207086v1
    Journal articles | 2001
    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
    Journal articles | 2001
    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
    Journal articles | 2001
    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
    Journal articles | 2000
    Antoniou G; Billigton D; Governatori G; Maher MJ, 2000, 'A flexible framework for defeasible logics', , http://arxiv.org/abs/cs/0003013v1
    Journal articles | 2000
    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
    Journal articles | 1999
    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
    Journal articles | 1998
    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
    Journal articles | 1997
    Brodsky A; Jaffar J; Maher MJ, 1997, '', Constraints, 2, pp. 279 - 304, http://dx.doi.org/10.1023/a:1009795512753
    Journal articles | 1997
    Maher MJ, 1997, 'Constrained dependencies', Theoretical Computer Science, 173, pp. 113 - 149, http://dx.doi.org/10.1016/s0304-3975(96)00193-4
    Journal articles | 1995
    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
    Journal articles | 1995
    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
    Journal articles | 1994
    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
    Journal articles | 1993
    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
    Journal articles | 1993
    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
    Journal articles | 1992
    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
    Journal articles | 1986
    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
    Journal articles | 1985
    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
    Journal articles | 1984
    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
    Journal articles | 1984
    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
  • Preprints | 2024
    Maher MJ, 2024, Which are the True Defeasible Logics?, http://arxiv.org/abs/2405.19157v1
    Conference Papers | 2021
    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
    Preprints | 2020
    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
    Conference Papers | 2018
    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
    Conference Papers | 2017
    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
    Conference Papers | 2016
    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
    Conference Papers | 2016
    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
    Conference Papers | 2016
    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
    Conference Papers | 2015
    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
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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
    Conference Papers | 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
    Conference Papers | 2013
    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
    Conference Papers | 2011
    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
    Conference Papers | 2011
    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
    Conference Papers | 2010
    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
    Conference Papers | 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
    Conference Papers | 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
    Conference Papers | 2009
    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
    Conference Papers | 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
    Conference Papers | 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
    Conference Papers | 2008
    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
    Conference Papers | 2006
    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
    Conference Proceedings (Editor of) | 2006
    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
    Conference Papers | 2005
    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
    Conference Papers | 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
    Conference Papers | 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
    Conference Papers | 2005
    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
    Conference Papers | 2004
    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
    Conference Proceedings (Editor of) | 2004
    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
    Conference Papers | 1996
    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
    Conference Papers | 1995
    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
    Conference Papers |
    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 Papers |
    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
    Conference Papers |
    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
    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