Michael Maher

Citata da

	Tutte	Dal 2019
Citazioni	8982	806
Indice H	43	13
i10-index	86	19

440

220

110

330

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202434 31 42 83 98 157 157 216 202 267 277 276 286 291 274 231 238 254 234 374 356 331 368 435 391 328 245 264 258 235 158 193 195 174 152 135 154 127 124 113

Accesso pubblico

Visualizza tutto

1 articolo

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Joxan JaffarNational University of SingaporeEmail verificata su comp.nus.edu.sg
Grigoris AntoniouProfessor of Computer Science, Leeds Beckett University & L3S Research CenterEmail verificata su hud.ac.uk
Guido GovernatoriCentral Queensland UniversityEmail verificata su governatori.net
Kim MarriottProfessor, Monash UniversityEmail verificata su monash.edu
Peter StuckeyFaculty of Information Technology, Monash UniversityEmail verificata su monash.edu
Roland YapNational University of SingaporeEmail verificata su comp.nus.edu.sg
Abdun MahmoodAssociate Professor of Computer Science and IT, La Trobe University, MelbourneEmail verificata su latrobe.edu.au
Abdul SattarProfessor of Computer Science, Griffith UniversityEmail verificata su griffith.edu.au
Mohiuddin AhmedSenior Lecturer of Computing & Security at Edith Cowan University, IEEE Senior MemberEmail verificata su ecu.edu.au
Alexander BrodskyProfessor, Department of Computer Science, George Mason UniversityEmail verificata su gmu.edu
Toby WalshProfessor, UNSW and CSIRO Data61Email verificata su cse.unsw.edu.au
Eugene FreuderProfessor Emeritus, University College CorkEmail verificata su insight-centre.org
Junhu WangGriffith UniversityEmail verificata su griffith.edu.au
Tristan MillerUniversity of ManitobaEmail verificata su umanitoba.ca
Haim GaifmanColumbia UniversityEmail verificata su columbia.edu
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of ScienceEmail verificata su weizmann.ac.il
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevEmail verificata su cs.bgu.ac.il
Roberto GiacobazziProfessor of Computer Science, University of ArizonaEmail verificata su cs.arizona.edu
Claude-Guy QuimperUniversité LavalEmail verificata su ift.ulaval.ca
Nina NarodytskaVMware ResearchEmail verificata su vmware.com

Segui

Michael Maher

Reasoning Research Institute

Email verificata su reasoning.org.au

constraints logic programming defeasible reasoning


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Constraint logic programming: A survey J Jaffar, MJ Maher The journal of logic programming 19, 503-581, 1994	2031	1994
Unification revisited JL Lassez, MJ Maher, K Marriott Foundations of logic and functional programming, 67-113, 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	446	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	399	1988
Logic Semantics for a Class of Commited Choice Programming M Maher Proc. Forth Int. Conf. on Logic Programming, 858-876, 1987	349	1987
Argumentation semantics for defeasible logic G Governatori, MJ Maher, G Antoniou, D Billington Journal of Logic and Computation 14 (5), 675-702, 2004	348	2004
The semantics of constraint logic programs J Jaffar, M Maher, K Marriott, P Stuckey Journal of logic programming 37, 1-46, 1998	289	1998
Equivalences of logic programs MJ Maher Foundations of deductive databases and logic programming, 627-658, 1988	262	1988
Constraint hierarchies and logic programming A Borning, M Maher, A Martindale, M Wilson Dep. of Computer Science, Univ. of Washington, 1988	222	1988
Propositional defeasible logic has linear complexity MJ Maher Theory and Practice of Logic Programming 1 (6), 691-711, 2001	201	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	196	2001
Closures and fairness in the semantics of programming logic JL Lassez, MJ Maher Theoretical computer science 29 (1-2), 167-184, 1984	160	1984
A flexible framework for defeasible logics G Antoniou, D Billington, G Governatori, MJ Maher AAAI/IAAI, 405-410, 2000	146	2000
A theory of complete logic programs with equality J Jaffar, JL Lassez, MJ Maher The Journal of Logic Programming 1 (3), 211-223, 1984	141	1984
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	119	2000
Beyond finite domains J Jaffar, MJ Maher, PJ Stuckey, RHC Yap International Workshop on Principles and Practice of Constraint Programming …, 1994	108	1994
On Fourier's algorithm for linear arithmetic constraints JL Lassez, MJ Maher Journal of Automated Reasoning 9, 373-379, 1992	107*	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	105	2000
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	101	1999
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	99	2006

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori