Michael Maher

Cited by

	All	Since 2016
Citations	8149	829
h-index	39	15
i10-index	82	21

420

210

105

315

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202124 39 35 73 92 144 145 194 170 263 282 264 272 280 262 229 214 229 234 375 352 316 373 415 383 309 257 263 246 225 158 185 194 169 139 137 5

Co-authors

Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
Grigoris AntoniouProfessor, Semantic & Knowledge Technologies, University of HuddersfieldVerified email at hud.ac.uk
Guido GovernatoriSenior Principal Researcher, Data61, CSIRO, AustraliaVerified email at nicta.com.au
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
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
Abdun MahmoodAssociate Professor of Computer Science and IT, La Trobe University, MelbourneVerified email at latrobe.edu.au
Alexander BrodskyProfessor, Department of Computer Science, George Mason UniversityVerified email at gmu.edu
Mohiuddin AhmedLecturer of Computing & Security at Edith Cowan University, IEEE Senior MemberVerified email at ecu.edu.au
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
John ThorntonGriffith University and University of SussexVerified email at griffith.edu.au
Junhu WangGriffith UniversityVerified email at griffith.edu.au
Tristan MillerAustrian Research Institute for Artificial IntelligenceVerified email at ofai.at
Eugene FreuderProfessor Emeritus, University College CorkVerified email at insight-centre.org
Haim GaifmanColumbia UniversityVerified email at columbia.edu
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Nina NarodytskaVMware ResearchVerified email at vmware.com
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it

Michael Maher

Reasoning Research Institute

Verified email at reasoning.org.au


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	1885	1994
Unification revisited J Lassez, M Maher, K Marriott Foundations of Deductive Databases and Logic Programming, 587-625, 1988	659*	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	374	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	361	1988
Logic semantics for a class of committed-choice programs MJ Maher Proc. Fourth Int. Conf. on Logic Programming (ICLP'87), 1987	323	1987
Argumentation semantics for defeasible logic G Governatori, MJ Maher, G Antoniou, D Billington Journal of Logic and Computation 14 (5), 675-702, 2004	270	2004
The semantics of constraint logic programs J Jaffar, M Maher, K Marriott, P Stuckey Journal of logic programming 37, 1-46, 1998	269	1998
Equivalences of logic programs MJ Maher Foundations of deductive databases and logic programming, 627-658, 1988	224	1988
Constraint hierarchies and logic programming A Borning, M Maher, A Martindale, M Wilson Dep. of Computer Science, Univ. of Washington, 1988	202	1988
Propositional defeasible logic has linear complexity MJ Maher arXiv preprint cs/0405090, 2004	174	2004
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	170	2001
Closures and fairness in the semantics of programming logic JL Lassez, MJ Maher Theoretical computer science 29 (1-2), 167-184, 1984	147	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	131	1984
A flexible framework for defeasible logics G Antoniou, D Billington, G Governatori, MJ Maher AAAI/IAAI, 405-410, 2000	129	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	111	2000
A logic programming language scheme J Jaffar, JL Lassez, MJ Maher Logic Programming, Functions, Relations and Equations, 441-467, 1986	107*	1986
Beyond finite domains J Jaffar, MJ Maher, PJ Stuckey, RHC Yap International Workshop on Principles and Practice of Constraint Programming …, 1994	101	1994
On Fourier's algorithm for linear arithmetic constraints JL Lassez, MJ Maher Journal of Automated Reasoning 9 (3), 373-379, 1992	100*	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	98	2000
Toward practical constraint databases A Brodsky, J Jaffar, MJ Maher Proceedings of the 19th International Conference on Very Large Data Bases …, 1993	95*	1993

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

Upload PDF

Follow this author

Cited by

Co-authors