Michael Maher

Cited by

	All	Since 2018
Citations	8803	829
h-index	42	14
i10-index	84	20

440

220

110

330

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202334 35 41 70 98 149 161 211 196 266 274 284 281 294 278 227 236 249 238 371 351 335 370 432 383 326 242 264 259 236 158 191 195 174 147 136 167 127 78

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
Grigoris AntoniouProfessor of Artificial Intelligence, University of Huddersfield & L3S Research CenterVerified email at hud.ac.uk
Guido GovernatoriVerified email at governatori.net
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
Abdun MahmoodAssociate Professor of Computer Science and IT, La Trobe University, MelbourneVerified email at latrobe.edu.au
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
Mohiuddin AhmedSenior Lecturer of Computing & Security at Edith Cowan University, IEEE Senior MemberVerified email at ecu.edu.au
Alexander BrodskyProfessor, Department of Computer Science, George Mason UniversityVerified email at gmu.edu
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
John ThorntonGriffith University and University of SussexVerified email at griffith.edu.au
Eugene FreuderProfessor Emeritus, University College CorkVerified email at insight-centre.org
Junhu WangGriffith UniversityVerified email at griffith.edu.au
Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it
Tristan MillerAustrian Research Institute for Artificial IntelligenceVerified email at ofai.at
Haim GaifmanColumbia UniversityVerified email at columbia.edu
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of ScienceVerified email at weizmann.ac.il
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Nina NarodytskaVMware ResearchVerified email at vmware.com

Michael Maher

Reasoning Research Institute

Verified email at reasoning.org.au

constraints logic programming defeasible reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Constraint logic programming: A survey J Jaffar, MJ Maher The journal of logic programming 19, 503-581, 1994	2013	1994
Unification revisited JL Lassez, MJ Maher, K Marriott Foundations of logic and functional programming, 67-113, 1988	672	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	422	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	392	1988
Logic Semantics for a Class of Commited Choice Programming M Maher Proc. Forth Int. Conf. on Logic Programming, 858-876, 1987	347	1987
Argumentation semantics for defeasible logic G Governatori, MJ Maher, G Antoniou, D Billington Journal of Logic and Computation 14 (5), 675-702, 2004	333	2004
The semantics of constraint logic programs J Jaffar, M Maher, K Marriott, P Stuckey Journal of logic programming 37, 1-46, 1998	283	1998
Equivalences of logic programs MJ Maher Foundations of deductive databases and logic programming, 627-658, 1988	256	1988
Constraint hierarchies and logic programming A Borning, M Maher, A Martindale, M Wilson Dep. of Computer Science, Univ. of Washington, 1988	225	1988
Propositional defeasible logic has linear complexity MJ Maher Theory and Practice of Logic Programming 1 (6), 691-711, 2001	188	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	185	2001
Closures and fairness in the semantics of programming logic JL Lassez, MJ Maher Theoretical computer science 29 (1-2), 167-184, 1984	158	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	144	1984
A flexible framework for defeasible logics G Antoniou, D Billigton, G Governatori, MJ Maher arXiv preprint cs/0003013, 2000	139	2000
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	116	2000
Beyond finite domains J Jaffar, MJ Maher, PJ Stuckey, RHC Yap International Workshop on Principles and Practice of Constraint Programming …, 1994	107	1994
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	103	2000
On Fourier's algorithm for linear arithmetic constraints JL Lassez, MJ Maher Journal of Automated Reasoning 9, 373-379, 1992	103*	1992
Embedding defeasible logic into logic programming G Antoniou, D Billington, G Governatori, MJ Maher Theory and Practice of Logic Programming 6 (06), 703-735, 2006	97	2006
On the analysis of regulations using defeasible rules G Antoniou, D Billington, MJ Maher Proceedings of the 32nd Annual Hawaii International Conference on Systems …, 1999	97	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors