The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael J. Maher: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexander Brodsky, Joxan Jaffar, Michael J. Maher
    Toward Practical Constraint Databases. [Citation Graph (14, 38)][DBLP]
    VLDB, 1993, pp:567-580 [Conf]
  2. Michael J. Maher, Raghu Ramakrishnan
    Déjà Vu in Fixpoints of Logic Programs. [Citation Graph (9, 0)][DBLP]
    NACLP, 1989, pp:963-980 [Conf]
  3. Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher
    Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. [Citation Graph (5, 15)][DBLP]
    PODS, 1995, pp:54-65 [Conf]
  4. Joxan Jaffar, Michael J. Maher
    Constraint Logic Programming: A Survey. [Citation Graph (5, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:503-581 [Journal]
  5. Michael J. Maher, Peter J. Stuckey
    Expanding Query Power in Constraint Logic Programming Languages. [Citation Graph (4, 0)][DBLP]
    NACLP, 1989, pp:20-36 [Conf]
  6. Michael J. Maher
    Eqivalences of Logic Programs. [Citation Graph (3, 0)][DBLP]
    ICLP, 1986, pp:410-424 [Conf]
  7. Jean-Louis Lassez, Michael J. Maher
    On Fourier's Algorithm for Linear Arithmetic Constraints. [Citation Graph (3, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:373-379 [Journal]
  8. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Output in CLP. [Citation Graph (2, 0)][DBLP]
    FGCS, 1992, pp:987-995 [Conf]
  9. Michael J. Maher
    Logic Semantics for a Class of Committed-Choice Programs. [Citation Graph (2, 0)][DBLP]
    ICLP, 1987, pp:858-876 [Conf]
  10. Michael J. Maher
    A Logic Programming View of CLP. [Citation Graph (2, 0)][DBLP]
    ICLP, 1993, pp:737-753 [Conf]
  11. Michael J. Maher
    Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees [Citation Graph (2, 0)][DBLP]
    LICS, 1988, pp:348-357 [Conf]
  12. Jean-Louis Lassez, Michael J. Maher
    Closures and Fairness in the Semantics of Programming Logic. [Citation Graph (2, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:29, n:, pp:167-184 [Journal]
  13. Michael J. Maher
    A CLP View of Logic Programming. [Citation Graph (1, 0)][DBLP]
    ALP, 1992, pp:364-383 [Conf]
  14. Michael J. Maher
    Constrained Dependencies. [Citation Graph (1, 0)][DBLP]
    CP, 1995, pp:170-185 [Conf]
  15. Michael J. Maher
    A Transformation System for Deductive Database Modules with Perfect Model Semantics. [Citation Graph (1, 0)][DBLP]
    FSTTCS, 1989, pp:89-98 [Conf]
  16. Alexander Brodsky, Joxan Jaffar, Michael J. Maher
    Toward Practical Query Evaluation for Constraint Databases. [Citation Graph (1, 0)][DBLP]
    Constraints, 1997, v:2, n:3/4, pp:279-304 [Journal]
  17. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    A Theory of Complete Logic Programs with Equality. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1984, v:1, n:3, pp:211-223 [Journal]
  18. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    A Flexible Framework for Defeasible Logics. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:405-410 [Conf]
  19. Jean-Louis Lassez, Michael J. Maher
    The Denotational Semantics of Horn Clauses as a Production System. [Citation Graph (0, 0)][DBLP]
    AAAI, 1983, pp:229-231 [Conf]
  20. Michael J. Maher, Guido Governatori
    A Semantic Decomposition of Defeasible Logics. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:299-305 [Conf]
  21. Junhu Wang, Michael J. Maher, Rodney W. Topor
    Rewriting General Conjunctive Queries Using Views. [Citation Graph (0, 0)][DBLP]
    Australasian Database Conference, 2002, pp:- [Conf]
  22. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
    Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:100-114 [Conf]
  23. Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton
    Solving Overconstrained Temporal Reasoning Problems. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:37-49 [Conf]
  24. Michael J. Maher
    Heyting Domains for Constraint Abduction. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:9-18 [Conf]
  25. Michael J. Maher, Grigoris Antoniou, David Billington
    A Study of Provability in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:215-226 [Conf]
  26. Michael J. Maher
    A Denotational Semantics of Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:209-222 [Conf]
  27. Michael J. Maher
    A Synthesis of Constraint Satisfaction and Constraint Solving. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:525-539 [Conf]
  28. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
    The G12 Project: Mapping Solver Independent Models to Efficient Solutions. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:13-16 [Conf]
  29. Michael J. Maher, Junhu Wang
    Optimizing Queries in Extended Relational Databases. [Citation Graph (0, 0)][DBLP]
    DEXA, 2000, pp:386-396 [Conf]
  30. Junhu Wang, Rodney W. Topor, Michael J. Maher
    Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. [Citation Graph (0, 0)][DBLP]
    DEXA, 2001, pp:963-973 [Conf]
  31. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
    A Family of Defeasible Reasoning Logics and its Implementation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:459-463 [Conf]
  32. Guido Governatori, Michael J. Maher
    An Argumentation-Theoretic Characterization of Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:469-473 [Conf]
  33. Junhu Wang, Michael J. Maher, Rodney W. Topor
    Rewriting Unions of General Conjunctive Queries Using Views. [Citation Graph (0, 0)][DBLP]
    EDBT, 2002, pp:52-69 [Conf]
  34. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    A Theory of Complete Logic Programs with Equality. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:175-184 [Conf]
  35. Jean-Louis Lassez, Michael J. Maher, Kim Marriott
    Unification Revisited. [Citation Graph (0, 0)][DBLP]
    Foundations of Logic and Functional Programming, 1986, pp:67-113 [Conf]
  36. Grigoris Antoniou, David Billington, Michael J. Maher
    On the Analysis of Regulations using Defeasible Rules. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  37. Joxan Jaffar, Michael J. Maher, Gustaf Neumann
    An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  38. Grigoris Antoniou, David Billington, Michael J. Maher
    Normal Forms for Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:160-174 [Conf]
  39. Grigoris Antoniou, Michael J. Maher
    Embedding Defeasible Logic into Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:393-404 [Conf]
  40. Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson
    Constraint Hierarchies and Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:149-164 [Conf]
  41. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:223-241 [Conf]
  42. Michael J. Maher
    Propagation Completeness of Reactive Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:148-162 [Conf]
  43. Michael J. Maher
    Abduction of Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:174-188 [Conf]
  44. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
    The G12 Project: Mapping Solver Independent Models to Efficient Solutions. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:9-13 [Conf]
  45. Evan Tick, Roland H. C. Yap, Michael J. Maher
    Finding Fair Allocations for the Coalition Problem with Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:530-544 [Conf]
  46. David A. Wolfram, Michael J. Maher, Jean-Louis Lassez
    A Unified Treatment of Resolution Strategies for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1984, pp:263-276 [Conf]
  47. Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
    Efficient defeasible reasoning systems. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2000, pp:384-392 [Conf]
  48. David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
    Revising Nonmonotonic Theories: The Case of Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    KI, 1999, pp:101-112 [Conf]
  49. Michael J. Maher
    Herbrand Constraint Abduction. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:397-406 [Conf]
  50. Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
    A Comparison of Sceptical NAF-Free Logic Programming Approaches. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:347-356 [Conf]
  51. Michael J. Maher
    Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1991, pp:181-195 [Conf]
  52. Jean-Louis Lassez, Michael J. Maher, Kim Marriott
    Elimination of Negation in Term Algebras. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:1-16 [Conf]
  53. Michael J. Maher
    A Model-Theoretic Semantics for Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    Paraconsistent Computational Logic, 2002, pp:67-80 [Conf]
  54. Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro
    Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    PODC, 1991, pp:241-255 [Conf]
  55. Michael J. Maher, Divesh Srivastava
    Chasing Constrained Tuple-Generating Dependencies. [Citation Graph (0, 14)][DBLP]
    PODS, 1996, pp:128-138 [Conf]
  56. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Beyond Finite Domains. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:86-94 [Conf]
  57. Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher
    Solving Over-Constrained Temporal Reasoning Problems Using Local Search. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:134-143 [Conf]
  58. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
    Argumentation Semantics for Defeasible Logics. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:27-37 [Conf]
  59. Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro
    Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:553-569 [Conf]
  60. Joxan Jaffar, Michael J. Maher, Gustaf Neumann
    Logic Programming and Object Modelling: A Case Study (Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:48- [Conf]
  61. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
    Applying Local Search to Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:94-99 [Conf]
  62. Michael J. Maher, Peter J. Stuckey
    On Inductive Inference of Cyclic Structures. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:167-208 [Journal]
  63. Joxan Jaffar, Michael J. Maher
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Constraints, 2002, v:7, n:3-4, pp:227-228 [Journal]
  64. Junhu Wang, Rodney W. Topor, Michael J. Maher
    Rewriting Union Queries Using Views. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:3, pp:219-251 [Journal]
  65. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    A flexible framework for defeasible logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  66. Michael J. Maher
    Propositional Defeasible Logic has Linear Complexity [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  67. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Representation results for defeasible logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  68. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
    Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:122, n:2, pp:178-200 [Journal]
  69. Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
    Efficient Defeasible Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2001, v:10, n:4, pp:483-501 [Journal]
  70. Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher
    Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:1, pp:83-104 [Journal]
  71. Grigoris Antoniou, Michael J. Maher, David Billington
    Defeasible Logic versus Logic Programming without Negation as Failure. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:42, n:1, pp:47-57 [Journal]
  72. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
    Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:23, n:2, pp:87-88 [Journal]
  73. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
    Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:1-3 [Journal]
  74. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    Comments on "General Failure of Logic Programs". [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1986, v:3, n:2, pp:115-118 [Journal]
  75. Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey
    The Semantics of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:1-46 [Journal]
  76. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
    Argumentation Semantics for Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:5, pp:675-702 [Journal]
  77. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
    A Local Search Approach to Modelling and Solving Interval Algebra Problems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:1, pp:93-112 [Journal]
  78. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Projecting CLP (R) Constraints. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1993, v:11, n:3, pp:449-469 [Journal]
  79. Jean-Louis Lassez, Michael J. Maher
    Optimal Fixedpoints of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:39, n:, pp:15-25 [Journal]
  80. Michael J. Maher
    Constrained Dependencies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:1, pp:113-149 [Journal]
  81. Michael J. Maher
    A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:110, n:2, pp:377-403 [Journal]
  82. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Representation results for defeasible logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:2, pp:255-287 [Journal]
  83. Michael J. Maher
    Propositional Defeasible Logic has Linear Complexity. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:6, pp:691-711 [Journal]
  84. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Embedding defeasible logic into logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:6, pp:703-735 [Journal]

  85. Flow-Based Propagators for the SEQUENCE and Related Global Constraints. [Citation Graph (, )][DBLP]


  86. SOGgy Constraints: Soft Open Global Constraints. [Citation Graph (, )][DBLP]


  87. Open Constraints in a Boundable World. [Citation Graph (, )][DBLP]


  88. Contractibility and Contractible Approximations of Soft Global Constraints. [Citation Graph (, )][DBLP]


  89. Open Contractible Global Constraints. [Citation Graph (, )][DBLP]


  90. On Computing Constraint Abduction Answers. [Citation Graph (, )][DBLP]


  91. Embedding Defeasible Logic into Logic Programming [Citation Graph (, )][DBLP]


  92. Flow-Based Propagators for the SEQUENCE and Related Global Constraints [Citation Graph (, )][DBLP]


Search in 0.058secs, Finished in 0.061secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002