Michael Kifer

Cited by

	All	Since 2018
Citations	13606	1293
h-index	54	18
i10-index	115	24

860

430

215

645

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202363 98 138 173 223 249 299 271 316 260 260 280 302 349 376 491 706 744 859 764 767 682 677 576 465 446 452 356 245 346 200 189 200 176 181

Public access

View all

7 articles

1 article

available

not available

Based on funding mandates

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
Paul FodorStony Brook UniversityVerified email at cs.stonybrook.edu
IV RamakrishnanProfessor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied SciencesVerified email at cs.stonybrook.edu
David Scott WarrenEmeritus Professor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Hasan DavulcuProfessor, Arizona State UniversityVerified email at asu.edu
Georg LausenProfessor für Informatik, Universität FreiburgVerified email at informatik.uni-freiburg.de
Hui WanIBM research AIVerified email at us.ibm.com
Dumitru RomanSINTEF AS / OsloMet - Oslo Metropolitan University, NorwayVerified email at sintef.no
Dr. Jacek KopeckýSenior Lecturer, University of PortsmouthVerified email at port.ac.uk
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 MartinUniversity of California, Santa CruzVerified email at ucsc.edu
Abraham BernsteinProfessor of Computer Science, University of ZurichVerified email at ifi.uzh.ch
Steve BattleUniversity of the West of England, BristolVerified email at uwe.ac.uk
Mike DeanPrincipal Engineer, Raytheon BBN TechnologiesVerified email at bbn.com
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Juliana FreireNew York UniversityVerified email at nyu.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	2548	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	677	1989
Theory of generalized annotated logic programming and its applications M Kifer, VS Subrahmanian The Journal of Logic Programming 12 (4), 335-367, 1992	650	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	554*	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	532	1993
Querying object-oriented databases M Kifer, W Kim, Y Sagiv Proceedings of the 1992 ACM SIGMOD international conference on Management of …, 1992	517	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	500	2013
A logic for reasoning with inconsistency M Kifer, EL Lozinskii Journal of Automated reasoning 9 (2), 179-215, 1992	319*	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	267	1998
Transaction Logic Programming. AJ Bonner, M Kifer ICLP 93, 257-279, 1993	237	1993
Database systems: an application-oriented approach M Kifer, AJ Bernstein, PM Lewis Pearson/Addison-Wesley, 2006	236	2006
Databases and transaction processing: an application-oriented approach PM Lewis, A Bernstein, M Kifer ACM SIGMOD Record 31 (1), 74-75, 2002	225	2002
An overview of transaction logic AJ Bonner, M Kifer Theoretical Computer Science 133 (2), 205-265, 1994	222	1994
Web service modeling ontology (wsmo) J De Bruijn, C Bussler, J Domingue, D Fensel, M Hepp, M Kifer, ... Interface 5 (1), 50, 2005	186	2005
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	181	2003
A logic for object-oriented logic programming M Kifer, J Wu Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989	176	1989
Rule interchange format: The framework M Kifer International Conference on Web Reasoning and Rule Systems, 1-11, 2008	167	2008
Ontologies in F-logic J Angele, M Kifer, G Lausen Handbook on ontologies, 45-70, 2009	165	2009
OpenRuleBench: An analysis of the performance of rule engines S Liang, P Fodor, H Wan, M Kifer Proceedings of the 18th international conference on World wide web, 601-610, 2009	165	2009
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	159	2005

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

Cited by

Co-authors