Results 1  10
of
1,328
Classical Logic Event Calculus as Answer Set Programming
"... Abstract. Recently, Ferraris, Lee and Lifschitz presented a generalized definition of a stable model that applies to the syntax of arbitrary firstorder sentences, under which a logic program is viewed as a special class of firstorder sentences. The new definition of a stable model is similar to the ..."
Abstract
 Add to MetaCart
to the definition of circumscription, and can even be characterized in terms of circumscription. In this paper, we show the opposite direction, that is, how to embed circumscription into the new stable model semantics, and based on this, how to turn some versions of the classical logic event calculus
Logical foundations of objectoriented and framebased languages
 JOURNAL OF THE ACM
, 1995
"... We propose a novel formalism, called Frame Logic (abbr., Flogic), that accounts in a clean and declarative fashion for most of the structural aspects of objectoriented and framebased languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, ..."
Abstract

Cited by 876 (65 self)
 Add to MetaCart
, encapsulation, and others. In a sense, Flogic stands in the same relationship to the objectoriented paradigm as classical predicate calculus stands to relational programming. Flogic has a modeltheoretic semantics and a sound and complete resolutionbased proof theory. A small number of fundamental concepts
GOLOG: A Logic Programming Language for Dynamic Domains
, 1994
"... This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allo ..."
Abstract

Cited by 628 (74 self)
 Add to MetaCart
for applications in high level control of robots and industrial processes, intelligent software agents, discrete event simulation, etc. It is based on a formal theory of action specified in an extended version of the situation calculus. A prototype implementation in Prolog has been developed.
Some alternative formulations of the event calculus
 Computer Science; Computational Logic; Logic programming and Beyond
, 2002
"... Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this paper we summarise how variants of the Event Calculus may be expressed as classical logic axiomatisations, and how under ce ..."
Abstract

Cited by 54 (4 self)
 Add to MetaCart
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this paper we summarise how variants of the Event Calculus may be expressed as classical logic axiomatisations, and how under
Indirect and Conditional Sensing in the Event Calculus
"... Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in partially observable domains where not all parameters of interest are accessible to direct sensing. In such circumstances, s ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
logic Event Calculus is extended with both a knowledge formalism and causal ramifications, and is used to show how inferring unknown information about a domain leads to conditional sensing actions. 1
The Event Calculus in Classical Logic  Alternative Axiomatisations
, 1999
"... We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation. ..."
Abstract

Cited by 57 (1 self)
 Add to MetaCart
We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation.
IBM Initial documentation
, 2008
"... The Discrete Event Calculus Reasoner is a program for performing automated commonsense reasoning using the discrete event calculus [Mueller, 2006], a version of the classical logic event calculus [Shanahan, 1997, Miller and Shanahan, 2002]. The program supports such types of reasoning as deduction, ..."
Abstract
 Add to MetaCart
The Discrete Event Calculus Reasoner is a program for performing automated commonsense reasoning using the discrete event calculus [Mueller, 2006], a version of the classical logic event calculus [Shanahan, 1997, Miller and Shanahan, 2002]. The program supports such types of reasoning as deduction
A tool for satisfiabilitybased commonsense reasoning in the event calculus
 In V. Barr & Z. Markov (Eds.), Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (pp. 147–152). Menlo Park
, 2004
"... We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as input, encodes the problems as propositional satisfiability problems, runs a satisfiability solver on the encoded problems, a ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as input, encodes the problems as propositional satisfiability problems, runs a satisfiability solver on the encoded problems
Ramifications: An Extension and Correspondence Result for the Event Calculus
 JOURNAL OF LOGIC AND COMPUTATION
, 2007
"... Classical logic Event Calculus, and the special purpose logical action language E, are both well established formalisms for describing actions and change. However, there is yet to be an account of ramifications in Event Calculus sufficiently general to represent the classes of domains expressible in ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Classical logic Event Calculus, and the special purpose logical action language E, are both well established formalisms for describing actions and change. However, there is yet to be an account of ramifications in Event Calculus sufficiently general to represent the classes of domains expressible
A Circumscriptive Calculus of Events
 Artificial Intelligence
, 1995
"... A calculus of events is presented in which domain constraints, concurrent events, and events with nondeterministic effects can be represented. The paper offers a nonmonotonic solution to the frame problem for this formalism that combines two of the techniques developed for the situation calculus, ..."
Abstract

Cited by 81 (12 self)
 Add to MetaCart
A calculus of events is presented in which domain constraints, concurrent events, and events with nondeterministic effects can be represented. The paper offers a nonmonotonic solution to the frame problem for this formalism that combines two of the techniques developed for the situation calculus
Results 1  10
of
1,328