Michael Kifer

Cited by

	All	Since 2016
Citations	12691	1311
h-index	53	16
i10-index	113	32

840

420

210

630

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202131 61 77 138 152 206 239 289 265 311 231 268 275 295 340 346 494 677 720 840 732 745 704 687 568 460 418 453 330 241 333 196 204 7

Co-authors

Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Verified email at wu.ac.at
Benjamin GrosofCoherent KnowledgeVerified email at coherentknowledge.com
Harold BoleyPrincipal Researcher and Leader of the Semantic Web Laboratory, National Research Council CanadaVerified email at unb.ca
Dieter FenselSTI Innsbruck, University InnsbruckVerified email at uibk.ac.at
David Scott WarrenEmeritus Professor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Hasan DavulcuProfessor, Arizona State UniversityVerified email at asu.edu
Paul FodorStony Brook UniversityVerified email at cs.stonybrook.edu
Georg LausenProfessor für Informatik, Universität FreiburgVerified email at informatik.uni-freiburg.de
Andrea CalìBirkbeck University of London and Oxford-Man Institute of Quantitative FinanceVerified email at dcs.bbk.ac.uk
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
David MartinVerified email at ucsc.edu
Abraham BernsteinProfessor of Computer Science, University of ZurichVerified email at ifi.uzh.ch
Dr. Jacek KopeckýSenior Lecturer, University of PortsmouthVerified email at port.ac.uk
Steve BattleUniversity of the West of England, BristolVerified email at uwe.ac.uk
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Mike DeanPrincipal Engineer, Raytheon BBN TechnologiesVerified email at bbn.com
Juliana FreireNew York UniversityVerified email at nyu.edu
Krishnaprasad ThirunarayanProfessor of Computer Science and Engineering, Kno.e.sis CenterVerified email at wright.edu
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeVerified email at dartmouth.edu

Michael Kifer

Stony Brook University

Verified email at cs.stonybrook.edu - Homepage

AI Knowledge representation logic programming databases


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Logical foundations of object-oriented and frame-based languages M Kifer, G Lausen, J Wu Journal of the ACM (JACM) 42 (4), 741-843, 1995	2419	1995
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme M Kifer, G Lausen Proceedings of the 1989 ACM SIGMOD international conference on Management of …, 1989	618	1989
Theory of generalized annotated logic programming and its applications M Kifer, VS Subrahmanian The Journal of Logic Programming 12 (4), 335-367, 1992	594	1992
The web service modeling language wsml: An overview J De Bruijn, H Lausen, A Polleres, D Fensel European semantic web conference, 590-604, 2006	516*	2006
HiLog: A foundation for higher-order logic programming W Chen, M Kifer, DS Warren The Journal of Logic Programming 15 (3), 187-230, 1993	496	1993
Querying object-oriented databases M Kifer, W Kim, Y Sagiv Proceedings of the 1992 ACM SIGMOD international conference on Management of …, 1992	485	1992
Taming the infinite chase: Query answering under expressive relational constraints A Calì, G Gottlob, M Kifer Journal of Artificial Intelligence Research 48, 115-174, 2013	406	2013
A logic for reasoning with inconsistency M Kifer, EL Lozinskii Journal of Automated reasoning 9 (2), 179-215, 1992	305*	1992
Logic based modeling and analysis of workflows H Davulcu, M Kifer, CR Ramakrishnan, IV Ramakrishnan Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998	258	1998
Transaction Logic Programming. AJ Bonner, M Kifer ICLP 93, 257-279, 1993	235	1993
Database systems: an application-oriented approach: complete version M Kifer, AJ Bernstein, PM Lewis, PM Lewis Pearson Addison-Wesley, 2006	210	2006
An overview of transaction logic AJ Bonner, M Kifer Theoretical Computer Science 133 (2), 205-265, 1994	210	1994
Databases and transaction processing: an application-oriented approach PM Lewis, A Bernstein, M Kifer ACM SIGMOD Record 31 (1), 74-75, 2002	209	2002
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web G Yang, M Kifer, C Zhao On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE …, 2003	171*	2003
A logic for object-oriented logic programming M Kifer, J Wu Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989	168	1989
Web service modeling ontology (wsmo) J De Bruijn, C Bussler, J Domingue, D Fensel, M Hepp, M Kifer, ... Interface 5 (1), 50, 2005	162	2005
Rule interchange format: The framework M Kifer International Conference on Web Reasoning and Rule Systems, 1-11, 2008	153	2008
Semantic web services framework (SWSF) overview S Battle, A Bernstein, H Boley, B Grosof, M Gruninger, R Hull, M Kifer, ... World Wide Web Consortium, Member Submission SUBM-SWSF-20050909, 2005	150	2005
Ontologies in F-logic J Angele, M Kifer, G Lausen Handbook on Ontologies, 45-70, 2009	149	2009
Concurrency and Communication in Transaction Logic. AJ Bonner, M Kifer JICSLP, 142-156, 1996	149	1996

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