Michael Maher

引用先

	すべて	2020 年以来
引用	9030	690
h 指標	43	13
i10 指標	87	16

440

220

110

330

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202531 42 83 98 158 157 216 204 267 277 275 288 293 275 231 238 255 233 376 354 332 368 436 391 331 243 269 256 232 161 193 196 175 149 136 154 124 127 139 9

オープンアクセス

すべて表示

1 件の論文

0 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

Joxan JaffarNational University of Singapore確認したメールアドレス: comp.nus.edu.sg
Grigoris AntoniouProfessor of Computer Science, Leeds Beckett University & L3S Research Center確認したメールアドレス: hud.ac.uk
Guido GovernatoriCentral Queensland University確認したメールアドレス: governatori.net
Kim MarriottProfessor, Monash University確認したメールアドレス: monash.edu
Peter StuckeyFaculty of Information Technology, Monash University確認したメールアドレス: monash.edu
Roland YapNational University of Singapore確認したメールアドレス: comp.nus.edu.sg
Abdun MahmoodAssociate Professor of Computer Science and IT, La Trobe University, Melbourne確認したメールアドレス: latrobe.edu.au
Mohiuddin AhmedSenior Lecturer of Computing & Security at Edith Cowan University, IEEE Senior Member確認したメールアドレス: ecu.edu.au
Abdul SattarProfessor of Computer Science, Griffith University確認したメールアドレス: griffith.edu.au
Alexander BrodskyProfessor, Department of Computer Science, George Mason University確認したメールアドレス: gmu.edu
Toby WalshProfessor, UNSW and CSIRO Data61確認したメールアドレス: cse.unsw.edu.au
Eugene FreuderProfessor Emeritus, University College Cork確認したメールアドレス: insight-centre.org
Junhu WangGriffith University確認したメールアドレス: griffith.edu.au
Tristan MillerUniversity of Manitoba確認したメールアドレス: umanitoba.ca
Haim GaifmanColumbia University確認したメールアドレス: columbia.edu
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of Science確認したメールアドレス: weizmann.ac.il
Michael CodishDepartment of Computer Science, Ben-Gurion University of the Negev確認したメールアドレス: cs.bgu.ac.il
Roberto GiacobazziProfessor of Computer Science, University of Arizona確認したメールアドレス: cs.arizona.edu
Claude-Guy QuimperUniversité Laval確認したメールアドレス: ift.ulaval.ca
Nina NarodytskaVMware Research確認したメールアドレス: vmware.com

フォロー

Michael Maher

Reasoning Research Institute

確認したメールアドレス: reasoning.org.au

constraints logic programming defeasible reasoning


タイトル引用回数順公開年順タイトル順	引用先引用先	年
Constraint logic programming: A survey J Jaffar, MJ Maher The journal of logic programming 19, 503-581, 1994	2041	1994
Unification revisited JL Lassez, MJ Maher, K Marriott Foundations of logic and functional programming, 67-113, 1988	680	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	448	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
Argumentation semantics for defeasible logic G Governatori, MJ Maher, G Antoniou, D Billington Journal of Logic and Computation 14 (5), 675-702, 2004	350	2004
Logic Semantics for a Class of Commited Choice Programming M Maher Proc. Forth Int. Conf. on Logic Programming, 858-876, 1987	349	1987
The semantics of constraint logic programs J Jaffar, M Maher, K Marriott, P Stuckey Journal of logic programming 37, 1-46, 1998	291	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	203	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	197	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	148	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	142	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	120	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	106	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	102	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	101	2006

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者