2026 Michael Kifer: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	47	6358	6174	2839	2735	175	12497

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

6358

6174

2839

2735

175

12497

Overview

Michael Kifer is affiliated with Stony Brook University in the United States. Their research primarily falls within the field of Computer Science, with a focus on several subfields including Artificial Intelligence, Software, Management Information Systems, Information Systems, and Computer Networks and Communications.

Their body of work covers a range of topics, particularly emphasizing Semantic Web and Ontologies, Logic, Reasoning, and Knowledge, as well as Topic Modeling. Additional areas of research include Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Natural Language Processing Techniques, and Business Process Modeling and Analysis.

Michael Kifer has contributed to several academic publications. Recent papers include:

Logic-based Software Modeling with FOML., 2020, The Journal of Object Technology
Knowledge Authoring for Rules and Actions, 2023, Theory and Practice of Logic Programming
An Overview of F-OML: An F-Logic Based Object Modeling Language, 2024, Technische Universität Berlin - Universitätsbibliothek
Knowledge Authoring with Factual English, 2022, Electronic Proceedings in Theoretical Computer Science
Knowledge Authoring for Rules and Actions, 2023, arXiv (Cornell University)

Their frequent coauthors include Paul Fodor, Theresa Swift, Mira Balaban, Yuheng Wang, and Benjamin N. Grosof. The venues where their work appears reflect the diversity of their research interests and include:

Theory and Practice of Logic Programming
The Journal of Object Technology
Technische Universität Berlin - Universitätsbibliothek
Electronic Proceedings in Theoretical Computer Science
arXiv (Cornell University)

Best Publications

Logical foundations of object-oriented and frame-based languages

Michael Kifer;Georg Lausen;James Wu

2555
Citations
Taming the infinite chase: query answering under expressive relational constraints

Andrea Calì;Georg Gottlob;Michael Kifer

799
Citations
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

Michael Kifer;Georg Lausen

654
Citations
Theory of generalized annotated logic programming and its applications

Michael Kifer;V. S. Subrahmanian

647
Citations
HILOG: a foundation for higher-order logic programming

Weidong Chen;Michael Kifer;David S. Warren

539
Citations
Querying object-oriented databases

Michael Kifer;Won Kim;Yehoshua Sagiv

514
Citations
A logic for reasoning with inconsistency

Michael Kifer;Eliezer L. Lozinskii

309
Citations
RI: a logic for reasoning with inconsistency

M. Kifer;E.L. Lozinskii

298
Citations
Logic based modeling and analysis of workflows

Hasan Davulcu;Michael Kifer;C. R. Ramakrishnan;I. V. Ramakrishnan

272
Citations
Transaction logic programming

Anthony J. Bonner;Michael Kifer

244
Citations
An overview of transaction logic

Anthony J. Bonner;Michael Kifer

229
Citations
Database systems : an application-oriented approach

Michael Kifer;Arthur J. Bernstein;Philip M. Lewis

225
Citations
Databases and Transaction Processing: An Application-Oriented Approach

Philip M. Lewis;Arthur Bernstein;Michael Kifer

219
Citations
ON SAFETY, DOMAIN INDEPENDENCE, AND CAPTURABILITY OF DATABASE QUERIES (Preliminary Report)

Michael Kifer

209
Citations
A realistic architecture for the Semantic Web

Michael Kifer;Jos De Bruijn;Harold Boley;Dieter Fensel

178
Citations
A logic for object-oriented logic programming

M. Kifer;J. Wu

173
Citations
OpenRuleBench: an analysis of the performance of rule engines

Senlin Liang;Paul Fodor;Hui Wan;Michael Kifer

161
Citations
On the Semantics of Rule-Based Expert Systems with Uncertainty

Michael Kifer;Ai Li

155
Citations
Concurrency and Communication in Transaction Logic.

Anthony J. Bonner;Michael Kifer

154
Citations
\mathcal{F}lora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web

Guizhen Yang;Michael Kifer;Chang Zhao

154
Citations
A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme

M. Kifer

9
Citations

Frequent Co-Authors

Benjamin N. Grosof Defense Advanced Research Projects Agency

I. V. Ramakrishnan Stony Brook University

David S. Warren Stony Brook University

Georg Gottlob University of Calabria

Ian Horrocks University of Oxford

Dieter Fensel University of Innsbruck

Scott A. Smolka Stony Brook University

John Mylopoulos University of Ottawa

Catriel Beeri Hebrew University of Jerusalem

Thomas Eiter TU Wien

External Links

Personal website of Michael Kifer Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

As technology continues to advance, students interested in studying Computer Science in the USA may also want to explore related fields and online degrees. Earning a computer science degree online offers flexibility, allowing you to balance coursework with other commitments while preparing for careers in coding, IT, and software development.

For those drawn to engineering, online programs in specialized disciplines are increasingly accessible. Consider an environmental engineer degree online to dive into sustainability solutions, or an online degree in mechanical engineering to gain expertise in design, manufacturing, and robotics.

Complementary scientific pathways are also available, such as pursuing an online physics degree. These options can open doors to research, engineering, environmental work, and more. Exploring related degrees widens your career prospects and gives you the chance to specialize according to your interests in the broad STEM landscape.