Michael Maher

Cited by

	All	Since 2016
Citations	8384	944
h-index	40	15
i10-index	82	22

440

220

110

330

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202124 38 44 71 96 143 156 204 176 269 288 267 271 286 263 237 241 247 231 363 346 324 371 423 393 300 248 259 258 232 158 186 195 167 141 140 114

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, 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
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
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
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
John ThorntonGriffith University and University of SussexVerified email at griffith.edu.au
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Junhu WangGriffith UniversityVerified email at griffith.edu.au
Eugene FreuderProfessor Emeritus, University College CorkVerified email at insight-centre.org
Tristan MillerAustrian Research Institute for Artificial IntelligenceVerified email at ofai.at
Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it
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

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	1927	1994
Unification revisited J Lassez, M Maher, K Marriott Foundations of Deductive Databases and Logic Programming, 587-625, 1988	663*	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	388	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	369	1988
Logic semantics for a class of committed-choice programs MJ Maher Proc. Fourth Int. Conf. on Logic Programming (ICLP'87), 1987	330	1987
Argumentation semantics for defeasible logic G Governatori, MJ Maher, G Antoniou, D Billington Journal of Logic and Computation 14 (5), 675-702, 2004	287	2004
The semantics of constraint logic programs J Jaffar, M Maher, K Marriott, P Stuckey Journal of logic programming 37, 1-46, 1998	278	1998
Equivalences of logic programs MJ Maher Foundations of deductive databases and logic programming, 627-658, 1988	231	1988
Constraint hierarchies and logic programming A Borning, M Maher, A Martindale, M Wilson Dep. of Computer Science, Univ. of Washington, 1988	215	1988
Propositional defeasible logic has linear complexity MJ Maher Theory and Practice of Logic Programming 1 (6), 691-711, 2001	181	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	170	2001
Closures and fairness in the semantics of programming logic JL Lassez, MJ Maher Theoretical computer science 29 (1-2), 167-184, 1984	149	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	140	1984
A flexible framework for defeasible logics G Antoniou, D Billington, G Governatori, MJ Maher AAAI/IAAI, 405-410, 2000	133	2000
A logic programming language scheme J Jaffar, JL Lassez, MJ Maher Logic Programming, Functions, Relations and Equations, 441-467, 1986	116*	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	111	2000
Beyond finite domains J Jaffar, MJ Maher, PJ Stuckey, RHC Yap International Workshop on Principles and Practice of Constraint Programming …, 1994	105	1994
On Fourier's algorithm for linear arithmetic constraints JL Lassez, MJ Maher Journal of Automated Reasoning 9 (3), 373-379, 1992	102*	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	98*	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

Follow this author

Cited by

Co-authors