Michael Maher
Michael Maher
Reasoning Research Institute
Verifierad e-postadress på reasoning.org.au
Titel
Citeras av
Citeras av
År
Constraint logic programming: A survey
J Jaffar, MJ Maher
The journal of logic programming 19, 503-581, 1994
18581994
Unification revisited
J Lassez, M Maher, K Marriott
Foundations of Deductive Databases and Logic Programming, 587-625, 1988
679*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
3672001
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
3641988
Logic semantics for a class of committed-choice programs
MJ Maher
Proc. Fourth Int. Conf. on Logic Programming (ICLP'87), 1987
3301987
Equivalences of logic programs
MJ Maher
Foundations of deductive databases and logic programming, 627-658, 1988
273*1988
The semantics of constraint logic programs
J Jaffar, M Maher, K Marriott, P Stuckey
Journal of logic programming 37, 1-46, 1998
2681998
Argumentation semantics for defeasible logic
G Governatori, MJ Maher, G Antoniou, D Billington
Journal of Logic and Computation 14 (5), 675-702, 2004
2662004
Constraint hierarchies and logic programming
A Borning, M Maher, A Martindale, M Wilson
Dep. of Computer Science, Univ. of Washington, 1988
2021988
Propositional defeasible logic has linear complexity
MJ Maher
arXiv preprint cs/0405090, 2004
1732004
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
1672001
Closures and fairness in the semantics of programming logic
JL Lassez, MJ Maher
Theoretical computer science 29 (1-2), 167-184, 1984
1491984
A theory of complete logic programs with equality
J Jaffar, JL Lassez, MJ Maher
The Journal of Logic Programming 1 (3), 211-223, 1984
1381984
A flexible framework for defeasible logics
G Antoniou, D Billington, G Governatori, MJ Maher
AAAI/IAAI, 405-410, 2000
1292000
A logic programming language scheme
J Jaffar, JL Lassez, MJ Maher
Logic Programming, Functions, Relations and Equations, 441-467, 1986
117*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
1092000
On Fourier's algorithm for linear arithmetic constraints
JL Lassez, MJ Maher
Journal of Automated Reasoning 9 (3), 373-379, 1992
101*1992
Beyond finite domains
J Jaffar, MJ Maher, PJ Stuckey, RHC Yap
International Workshop on Principles and Practice of Constraint Programming …, 1994
1001994
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
942000
A logic programming view of CLP
DS Warren
MIT Press, 1993
901993
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20