World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
17033
World Ranking
7753
National Ranking
3350

Research.com Recognitions

  • 2002 - Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) For significant contributions to the development of stable model semantics, answer set semantics, and work in cognitive robotics, logic programming, and nonmonotonic reasoning.

Overview

Michael Gelfond is affiliated with Texas Tech University in the United States. Their research primarily falls within the field of Computer Science, with a strong focus on Artificial Intelligence.

The main research topics addressed in their work include:

  • Logic, Reasoning, and Knowledge
  • Bayesian Modeling and Causal Inference
  • Multi-Agent Systems and Negotiation
  • Semantic Web and Ontologies
  • Logic, Programming, and Type Systems

The scientist has contributed to publications in several venues, including:

  • Theory and Practice of Logic Programming
  • UNC Libraries
  • arXiv (Cornell University)

Recent papers authored or coauthored by Michael Gelfond include:

  • Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach, 2023, Theory and Practice of Logic Programming
  • Thirty years of Epistemic Specifications, 2021, Theory and Practice of Logic Programming (coauthored by Jorge Fandinno)
  • Answer set based design of knowledge systems, 2021, UNC Libraries (coauthored by Marcello Balduccini)
  • Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach, 2023, arXiv (Cornell University)

Their frequent coauthors comprise:

  • Jorge Fandinno
  • Evgenii Balai
  • Wolfgang Faber
  • Marcello Balduccini
  • Monica L. Nogueira

Michael Gelfond received the following award:

  • Fellow of the Association for the Advancement of Artificial Intelligence (AAAI), 2002, for significant contributions to the development of stable model semantics, answer set semantics, and work in cognitive robotics, logic programming, and nonmonotonic reasoning.

Best Publications

  • The stable model semantics for logic programming

    Michael Gelfond;Vladimir Lifschitz

  • Classical negation in logic programs and disjunctive databases

    Michael Gelfond;Vladimir Lifschitz

  • Logic programs with classical negation

    Michael Gelfond;Vladimir Lifschitz

  • Representing action and change by logic programs

    Michael Gelfond;Vladimir Lifschitz

  • Logic programming and knowledge representation

    Chitta Baral;Michael Gelfond

  • Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach

    Michael Gelfond;Yulia Kahl

  • Probabilistic reasoning with answer sets

    Chitta Baral;Michael Gelfond;Nelson Rushton

  • An A-Prolog Decision Support System for the Space Shuttle

    Monica Nogueira;Marcello Balduccini;Michael Gelfond;Richard Watson

  • On stratified autoepistemic theories

    Michael Gelfond

  • Logic programming and knowledge representation—The A-Prolog perspective

    Michael Gelfond;Nicola Leone

  • Logic Programs with Consistency-Restoring Rules

    Marcello Balduccini;Michael Gelfond

  • Applications of Answer Set Programming

    Esra Erdem;Michael Gelfond;Nicola Leone

  • Reasoning agents in dynamic domains

    Chitta Baral;Michael Gelfond

  • On the relationship between circumscription and negation as failure

    Michael Gelfond;H. Przymusinska;Teodor C. Przymusinski

  • Representing actions: Laws, observations and hypotheses

    Chitta Baral;Michael Gelfond;Alessandro Provetti

  • Representing Actions in Extended Logic Programming.

    Michael Gelfond;Vladimir Lifschitz

  • Logic programming and reasoning with incomplete information

    Michael Gelfond

  • Representing Knowledge in A-Prolog

    Michael Gelfond

  • Knowledge representation, reasoning, and the design of intelligent agents

    Michael Gelfond;Yulia Kahl

  • Diagnostic reasoning with A-Prolog

    Marcello Balduccini;Michael Gelfond

  • What Are the Limitations of the Situation Calculus

    Michael Gelfond;Vladimir Lifschitz;Arkady Rabinov

Frequent Co-Authors

Chitta Baral
Chitta Baral Arizona State University
Vladimir Lifschitz
Vladimir Lifschitz The University of Texas at Austin
Nicola Leone
Nicola Leone University of Calabria
Piero A. Bonatti
Piero A. Bonatti University of Naples Federico II
Jorge Lobo
Jorge Lobo Pompeu Fabra University

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science opens doors to a diverse range of online degrees and career tracks. For those interested in technical engineering roles, consider related fields like online electrical engineering career outcomes. This path can lead to well-paid jobs in sectors such as communications, robotics, and power systems.

If you want to quickly boost your credentials, there are also easy certifications that pay well. These certifications can help you specialize in topics like cybersecurity, cloud computing, or programming, and can often be completed in just a few months.

For those looking to advance their education without spending years in school, explore the quick masters degrees online. Many of these programs let you earn a graduate degree in one year or less, helping you climb the career ladder faster.

It’s also wise to focus on masters degrees that are worth it. Opt for programs with strong job growth and solid return on investment, such as data science, artificial intelligence, or software engineering.

Best Scientists Citing Michael Gelfond

Trending Scientists

Recently Published Articles