Skip to search formSkip to main contentSkip to account menu

Michael Gelfond

Michael Gelfond is a Professor in Computer Sciences at Texas Tech University. He received a degree in mathematics from the Steklov Institute of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Negation as failureStable model semanticsVladimir Lifschitz

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Extending action language C+ by formalizing composite actions
This paper extends action language $\mathcal{C}+$ by introducing composite actions as sequential execution of primitive actions… 
2009
2009
Signed Formulae as a New Update Process
INTRODUCTION The agent paradigm has recently increased its influence in the research and development of computational logic-based… 
2008
2008
Quo Vadis Answer Set Programming?
We discuss the development, current state and the future of Answer Set Programming, making predictions that are not necessarily… 
2006
2006
Combining Logical and Probabilistic Reasoning
This paper describes a family of knowledge representation problems, whose intuitive solutions require reasoning about defaults… 
2005
2005
Action , Belief Change and the Frame Problem : A Fluent Calculus Approach
This paper develops a solution to the analogue of the frame problem that arises when the belief state of an agent is axiomatized… 
2005
2005
A theory of nonmonotonic rule systems II
ConclusionsWe have proved a number of results on nonmonotonic rule systems. This theory allows us to capture many constructions… 
2004
2004
A Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is… 
2001
2001
Diagnosing Dynamic Systems in A Prolog
The main goal of this paper is to continue the investigation of applicability of A-Prolog (a loosely defined collection of logic… 
1997
1997
Two components of an action language
Some of the recent work on representing action makes use of high-level action languages. In this paper we show that an action… 
Highly Cited
1987
Highly Cited
1987
Theory of deductive systems and its applications
In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)