Michael Maher 个人学术档案

引用次数

	总计	2019 年至今
引用	8921	759
h 指数	43	13
i10 指数	85	18

440

220

110

330

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202434 31 42 83 98 155 156 217 203 265 275 276 285 292 273 231 237 254 234 374 355 331 368 434 392 328 245 264 257 232 158 192 195 174 152 135 154 126 122 69

开放获取的出版物数量

查看全部

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 的电子邮件经过验证
Abdul SattarProfessor of Computer Science, Griffith University在 griffith.edu.au 的电子邮件经过验证
Mohiuddin AhmedSenior Lecturer of Computing & Security at Edith Cowan University, IEEE Senior Member在 ecu.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	2015	1994
Unification revisited JL Lassez, MJ Maher, K Marriott Foundations of logic and functional programming, 67-113, 1988	677	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	443	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	342	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	261	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	198	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	195	2001
Closures and fairness in the semantics of programming logic JL Lassez, MJ Maher Theoretical computer science 29 (1-2), 167-184, 1984	159	1984
A flexible framework for defeasible logics G Antoniou, D Billington, G Governatori, MJ Maher AAAI/IAAI, 405-410, 2000	145	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	118	2000
Beyond finite domains J Jaffar, MJ Maher, PJ Stuckey, RHC Yap International Workshop on Principles and Practice of Constraint Programming …, 1994	107	1994
On Fourier's algorithm for linear arithmetic constraints JL Lassez, MJ Maher Journal of Automated Reasoning 9, 373-379, 1992	106*	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用