Michael Gelfond

Q: What Schools Are Affiliated With Michael Gelfond

Michael Gelfond is affiliated with the following schools: University of Texas at Austin, University of Texas at El Paso, Texas Tech University, Saint Petersburg State University

Michael Gelfond's AcademicInfluence.com Rankings

Michael Gelfond

Computer Science

#1919

World Rank

#1993

Historical Rank

#910

USA Rank

Programming

#35

World Rank

#37

Historical Rank

#15

USA Rank

Artificial Intelligence

#338

World Rank

#345

Historical Rank

#127

USA Rank

Database

#3679

World Rank

#3830

Historical Rank

#641

USA Rank

computer-science Degrees

Download Badge

Computer Science

Michael Gelfond's Degrees

PhD Computer Science University of Texas at Austin
Masters Computer Science University of Texas at Austin
Bachelors Mathematics University of Texas at Austin

Similar Degrees You Can Earn

Why Is Michael Gelfond Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Michael Gelfond is a Professor in Computer Sciences at Texas Tech University in the United States. He received a degree in mathematics from the Steklov Institute of Mathematics in Russia in 1974 and emigrated to the United States in 1978. Gelfond's research interests are in the areas of computational logic and knowledge representation. He is a Fellow of the Association for the Advancement of Artificial Intelligence, and an Area Editor of the journal Theory and Practice of Logic Programming.

(See a Problem?)

Michael Gelfond's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Stable Model Semantics for Logic Programming (1988) (4182)
Classical negation in logic programs and disjunctive databases (1991) (1661)
Representing Action and Change by Logic Programs (1993) (653)
Logic Programs with Classical Negation (1990) (640)
Logic Programming and Knowledge Representation (1994) (518)
Action Languages (1998) (406)
Probabilistic reasoning with answer sets (2004) (310)
Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach (2014) (271)
An A Prolog decision support system for the Space Shuttle (2001) (270)
Logic programming and knowledge representation - The A-Prolog perspective (2002) (221)
Answer Sets (2008) (214)
Logic Programs with Consistency-Restoring Rules (2003) (203)
Reasoning agents in dynamic domains (2000) (189)
On the Relationship Between Circumscription and Negation as Failure (1989) (179)
Applications of Answer Set Programming (2016) (178)
On Stratified Autoepistemic Theories (1987) (170)
Representing Actions: Laws, Observations and Hypotheses (1997) (159)
Diagnostic reasoning with A-Prolog (2003) (152)
What are the Limitations of the Situation Calculus? (1991) (152)
Representing Actions in Extended Logic Programming (1992) (136)
Integrating answer set programming and constraint logic programming (2008) (134)
Representing Knowledge in A-Prolog (2002) (109)
Disjunctive Defaults (1991) (104)
Representing Concurrent Actions in Extended Logic Programming (1993) (98)
Reasoning with Prioritized Defaults (1997) (90)
Theory of deductive systems and its applications (1987) (83)
Logic programming and reasoning with incomplete information (1994) (81)
Reasoning About Effects of Concurrent Actions (1997) (81)
Towards an Integration of Answer Set and Constraint Solving (2005) (76)
Answer set based design of knowledge systems (2006) (75)
Compiling Circumscriptive Theories into Logic Programs (1989) (74)
Knowledge Representation, Reasoning, and the Design of Intelligent Agents: Creating a Knowledge Base (2014) (74)
The USA-Advisor: A Case Study in Answer Set Planning (2001) (73)
Strong Introspection (1991) (73)
The extended closed world assumption and its relationship to parallel circumscription (1985) (69)
Negation as Failure: Careful Closure Procedure (1986) (69)
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics (2015) (69)
Towards Answer Set Programming with Sorts (2013) (56)
Approximation of action theories and its application to conformant planning (2005) (53)
Vicious Circle Principle and Logic Programs with Aggregates (2014) (52)
New Semantics for Epistemic Specifications (2011) (49)
Reasoning about Intended Actions (2005) (41)
Some properties of system descriptions of (2013) (41)
Conformant Planning for Domains with Constraints-A New Approach (2005) (36)
Formalization of inheritance reasoning in autoepistemic logic (1990) (32)
Authorization and Obligation Policies in Dynamic Systems (2008) (31)
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report (1988) (31)
Towards an Architecture for Knowledge Representation and Reasoning in Robotics (2014) (30)
Reasoning on Open Domains (1993) (29)
The language of epistemic specifications (refined) including a prototype solver (2020) (28)
Modeling Hybrid Domains Using Process Description Language (2005) (27)
Representing Null Values in Logic Programming (1994) (27)
Towards a Theory of Elaboration Tolerance: Logic Programming Approach (1996) (26)
Integrating Answer Set Reasoning with Constraint Solving Techniques (2008) (25)
Yet Another Modular Action Language (2009) (25)
Using answer set programming to answer complex queries (2004) (24)
The AAA Architecture: An Overview (2008) (24)
Representing Biological Processes in Modular Action Language ALM (2011) (22)
Going Places: Notes on a Modular Development of Knowledge about Travel (2006) (21)
On consistency and completeness of autoepistemic theories (1992) (21)
Building knowledge systems in a-prolog (2005) (20)
A-Prolog as a tool for declarative programming (2000) (20)
Definitions in Epistemic Specifications (1991) (19)
Textual inference by combining multiple Logic programming paradigms (2005) (19)
Combining Logical and Probabilistic Reasoning (2006) (18)
Knowledge Representation, Reasoning, and the Design of Intelligent Agents: Probabilistic Reasoning (2014) (17)
Compiling circumscriptive theories into logic programs: preliminary report (1988) (16)
On the relationship between CWA, minimal model, and minimal herbrand model semantics (1990) (16)
Vicious circle principle, aggregates, and formation of sets in ASP based languages (2019) (15)
A Theory of Intentions for Intelligent Agents (2015) (14)
Reasoning about Eeects of Concurrent Actions (1996) (13)
Towards a Theory of Intentional Agents (2014) (13)
Using Knowledge Representation and Reasoning Tools in the Design of Robots (2016) (12)
On the relationship between P-log and LP MLN (2016) (12)
Defeasible Laws, Parallel Actions, and Reasoning about Resources (2007) (12)
Action Languages and Question Answering (2017) (11)
Reasoning about the Intentions of Agents (2012) (11)
Modular action language ${\mathcal ALM}$ (2015) (11)
On the Relationship between P-log and LPMLN (2016) (11)
Diagnosing Physical Systems in A-Prolog (2001) (10)
Answer Set Programming and the Design of Deliberative Agents (2004) (10)
SPARC - Sorted ASP with Consistency Restoring Rules (2013) (10)
Logic Programming and Reasoning about Actions (2005) (10)
Approximating General Logic Programs (1993) (10)
Knowledge Representation and Logic Programming (2002) (10)
Toward Question Answering in Travel Domains (2012) (9)
Planning with the USA-Advisor (2002) (9)
Reasoning about Actual and Hypothetical Occurrences of Concurrent and Non-Deterministic Actions (1999) (8)
Building a knowledge base: an example (1999) (8)
Enhancing ASP systems for planning with temporal constraints (2007) (8)
Encoding Conformant Planning in A-Prolog (8)
Diagnosing Dynamic Systems in A Prolog (2001) (7)
On methodology of representing knowledge in dynamic domains (1998) (7)
On the relationship between autoepistemic logic and parallel circumscription (1986) (7)
Expanding Queries to Incomplete Databases by Interpolating General Logic Programs (1998) (7)
The USA-Advisor: A Case Study in Answer Set Programming (2002) (7)
Alan: An Action Language For Modelling Non-Markovian Domains (2005) (6)
From Functional Specifications to Logic Programms (1997) (6)
Vicious Circle Principle and Formation of Sets in ASP Based Languages (2016) (6)
Model-Based Reasoning for Complex Flight Systems (2005) (6)
A Theory of Intentions for Intelligent Agents - (Extended Abstract) (2015) (6)
Refining and Generalizing P-log - Preliminary Report (2017) (6)
Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics (1988) (5)
P-log: refinement and a new coherency condition (2019) (5)
Reasoning about Truthfulness of Agents Using Answer Set Programming (2016) (5)
Application of Model-based Technology Systems for Autonomous Systems (2005) (5)
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules (2013) (5)
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents (2016) (4)
Introduction to SPARC (2014) (4)
A Preliminary Report on Integrating of Answer Set and Constraint Solving (2005) (4)
KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics (2014) (4)
Knowledge Representation Language P-Log - A Short Introduction (2010) (3)
From Functional Speci cations to Logic Programs (3)
Action languages and domain modeling (1999) (3)
Systems integrating answer set programming and constraint programming (2008) (3)
A class of theorems with valid constructive counterparts (1981) (2)
The Answer-Set Programming Paradigm (2014) (2)
A Other Related Work (1993) (2)
Diagnostics with answer sets: Dealing with unobservable fluents (2002) (2)
Logic Programming and Nonmonotonic Reasoning 5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 : Proceedings' (1999) (2)
20 Causal and Probabilistic Reasoning in Plog (2009) (2)
Disjective Defaults (1991) (2)
Autoepistemic Logic and Introspective Circumscription (1994) (2)
Automated Inference of Socio-Cultural Information from Natural Language Conversations (2010) (2)
Integrating Probabilistic Graphical Models and Declarative Programming for Knowledge Representation and Reasoning in Robotics (2014) (2)
Personal Perspective on the Development of Logic Programming Based KR Languages (2010) (1)
Linkk Oping Electronic Articles in Action Languages Linkk Oping Electronic Articles in Computer and Information Science (1998) (1)
Mixing Non-Monotonic Logical Reasoning and Probabilistic Planning for Robots (2015) (1)
Answer Set Programming as the Basis for a Homeland Security QAS (2005) (1)
The Autonomous Agent Architecture (2009) (1)
From Functional Speciications to Logic Programs (2007) (0)
Modeling Dynamic Domains (2014) (0)
Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective (2019) (0)
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains (2020) (0)
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements (2020) (0)
Theory and Practice of Logic Programming 1 Modular Action Language ALM (2015) (0)
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial (2011) (0)
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming (1997) (0)
The Prolog Programming Language (2014) (0)
P-log: refinement and a new coherency condition (2019) (0)
Thirty years of Epistemic Specifications (2021) (0)
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication (2016) (0)
Non‐Monotonic Logic (2006) (0)
Logic-Based Approach to Agent Design (2014) (0)
Representing and Reasoning with Logical and Probabilistic Knowledge on Robots (2016) (0)
Editorial (1992) (0)
Using LPNMR for Problem Specification and Code Generation (1999) (0)
Introduction to the 27th International Conference on Logic Programming Special Issue (2011) (0)
ASP Solver Quick-Start (2014) (0)
Toward Question Answering in Travel Domains : locations of participants and cardinalites of groups (2012) (0)
Algorithms for Computing Answer Sets (2014) (0)
Integrating Answer Programming and Constraint Logic Programming. (2008) (0)
Frontmatter, Table of Contents, Preface, Conference Organization (2011) (0)
Roots of Answer Set Prolog (2014) (0)
Answer Set Prolog (ASP) (2014) (0)
Shanahan Murray. Solving the frame problem. A mathematical investigation of the common sense law of inertia. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1997, xxxiv + 407 pp. (1998) (0)
Efficiently Checking the Determinism of AL Action Descriptions (2005) (0)
Revised version Action Languages (1998) (0)
Computer Language Advances † (2000) (0)
Encyclopedia of Cognitive Science Non-monotonic Logic ( Article 62 ) (2001) (0)
A-Prolog as a tool for de larative programming (2000) (0)
Nonmonotonic Reasoning (1999) (0)

This paper list is powered by the following services:

Other Resources About Michael Gelfond

What Schools Are Affiliated With Michael Gelfond?

Michael Gelfond is affiliated with the following schools:

Michael Gelfond's Academic­Influence.com Rankings

Michael Gelfond's Degrees

Similar Degrees You Can Earn

Why Is Michael Gelfond Influential?

Michael Gelfond's Published Works

Published Works

Other Resources About Michael Gelfond

What Schools Are Affiliated With Michael Gelfond?

Michael Gelfond's AcademicInfluence.com Rankings