Michael Maher
Michael Maher
Reasoning Research Institute
Verified email at reasoning.org.au
Cited by
Cited by
Constraint logic programming: A survey
J Jaffar, MJ Maher
The journal of logic programming 19, 503-581, 1994
Unification revisited
J Lassez, M Maher, K Marriott
Foundations of Deductive Databases and Logic Programming, 587-625, 1988
Representation results for defeasible logic
G Antoniou, D Billington, G Governatori, MJ Maher
ACM Transactions on Computational Logic (TOCL) 2 (2), 255-287, 2001
Complete axiomatizations of the algebras of finite, rational and infinite trees
MJ Maher
Logic in Computer Science, 1988. LICS'88., Proceedings of the Third Annual …, 1988
Logic semantics for a class of committed-choice programs
MJ Maher
Proc. Fourth Int. Conf. on Logic Programming (ICLP'87), 1987
Argumentation semantics for defeasible logic
G Governatori, MJ Maher, G Antoniou, D Billington
Journal of Logic and Computation 14 (5), 675-702, 2004
The semantics of constraint logic programs
J Jaffar, M Maher, K Marriott, P Stuckey
Journal of logic programming 37, 1-46, 1998
Equivalences of logic programs
MJ Maher
Foundations of deductive databases and logic programming, 627-658, 1988
Constraint hierarchies and logic programming
A Borning, M Maher, A Martindale, M Wilson
Dep. of Computer Science, Univ. of Washington, 1988
Propositional defeasible logic has linear complexity
MJ Maher
Theory and Practice of Logic Programming 1 (6), 691-711, 2001
Efficient defeasible reasoning systems
MJ Maher, A Rock, G Antoniou, D Billington, T Miller
International Journal on Artificial Intelligence Tools 10 (04), 483-501, 2001
Closures and fairness in the semantics of programming logic
JL Lassez, MJ Maher
Theoretical computer science 29 (1-2), 167-184, 1984
A theory of complete logic programs with equality
J Jaffar, JL Lassez, MJ Maher
The Journal of Logic Programming 1 (3), 211-223, 1984
A flexible framework for defeasible logics
G Antoniou, D Billington, G Governatori, MJ Maher
AAAI/IAAI, 405-410, 2000
A logic programming language scheme
J Jaffar, JL Lassez, MJ Maher
Logic Programming, Functions, Relations and Equations, 441-467, 1986
Defeasible logic versus logic programming without negation as failure
G Antoniou, MJ Maher, D Billington
The Journal of Logic Programming 42 (1), 47-57, 2000
Beyond finite domains
J Jaffar, MJ Maher, PJ Stuckey, RHC Yap
International Workshop on Principles and Practice of Constraint Programming …, 1994
On Fourier's algorithm for linear arithmetic constraints
JL Lassez, MJ Maher
Journal of Automated Reasoning 9 (3), 373-379, 1992
A family of defeasible reasoning logics and its implementation
G Antoniou, D Billington, G Governatori, MJ Maher, A Rock
14th European Conference on Artificial Intelligence, 459-463, 2000
Toward practical constraint databases
A Brodsky, J Jaffar, MJ Maher
Proceedings of the 19th International Conference on Very Large Data Bases …, 1993
The system can't perform the operation now. Try again later.
Articles 1–20