Searching for author:(Michael Maher) – sorted by Number of Citations
-
The Semantics Of Constraint Logic Programs
- , MICHAEL MAHER, KIM MARRIOTT AND PETER STUCKEY . The Constraint Logic Programming (CLP) Scheme
- Cited by 715 (14 self) – Add To MetaCart
-
Constraint Logic Programming: A Survey
- of Symbolic Logic, 8, 61--76, 1943. 173. M.J. Maher, Logic Semantics for a Class of Committed-Choice Programs
- Cited by 653 (17 self) – Add To MetaCart
-
Representation Results for Defeasible Logic
- University GUIDO GOVERNATORI Queensland University of Technology and MICHAEL J. MAHER Griffith University
- Cited by 80 (59 self) – Add To MetaCart
-
Constraint Hierarchies and Logic Programming
- Constraint Hierarchies and Logic Programming Alan Borningy, Michael Maherz, Amy Martindaley
- Cited by 67 (6 self) – Add To MetaCart
-
A Logic Programming View of CLP
- A Logic Programming View of CLP Michael J. Maher IBM - T.J. Watson Research Center Yorktown
- Cited by 45 (9 self) – Add To MetaCart
-
A Flexible Framework for Defeasible Logics
- .J. Maher School of Computing and Information Technology, Griffith University Nathan, QLD 4111, Australia
- Cited by 45 (38 self) – Add To MetaCart
-
Argumentation Semantics for Defeasible Logics
- ���Argumentation Semantics for Defeasible Logics G. Governatori 1 , M.J. Maher 2 , G. Antoniou 2
- Cited by 42 (26 self) – Add To MetaCart
-
Beyond Finite Domains
- Beyond Finite Domains Joxan Jaffar 1 , Michael J. Maher 1 , Peter J. Stuckey 2 and Roland H
- Cited by 27 (3 self) – Add To MetaCart
-
A Family of Defeasible Reasoning Logics and its Implementation
- . Governatori, M.J. Maher and A. Rock 1 Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning
- Cited by 24 (17 self) – Add To MetaCart
-
On Fourier's Algorithm for Linear Arithmetic
- On Fourier's Algorithm for Linear Arithmetic Constraints JEAN-LOUIS LASSEZ and MICHAEL J. MAHER
- Cited by 23 (4 self) – Add To MetaCart

