Results 1  10
of
704
The event calculus on . . .
, 2010
"... To understand financial markets and prevent unnecessary crises, markets should be studied scientifically. With event calculus, this paper formalizes market clearance dynamics under simple market models. Using logic reduces ambiguity and enables rigorous reasoning. An algorithm for assessing risk is ..."
Abstract
 Add to MetaCart
To understand financial markets and prevent unnecessary crises, markets should be studied scientifically. With event calculus, this paper formalizes market clearance dynamics under simple market models. Using logic reduces ambiguity and enables rigorous reasoning. An algorithm for assessing risk
The Event Calculus
"... ll be true until the time of collision t, after which `ball 2 has momentum m and ball 1 has momentum 0' is true. Such timedependent properties are called fluents . A fluent is a function which may contain variables for individuals and reals, and which is interpreted in a model as a set of t ..."
Abstract
 Add to MetaCart
of time points. We now want to be able to say that fluents are initiated and terminated by events, and that a fluent was true at the beginning of time. If f is a variable over fluents, e a variable over events, and t a variable over time points, we may write the required predicates as (1) Initially
An abductive event calculus planner
 Journal of Logic Programming
, 2000
"... In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negligible gap between highlevel logical specification and practical implementation. This paper attempts to reinstate the ide ..."
Abstract

Cited by 79 (2 self)
 Add to MetaCart
the ideal of planning via theorem proving in a modern guise. In particular, the paper shows that if we adopt the event calculus as our logical formalism and employ abductive logic programming as our theorem proving technique, then the computation performed mirrors closely that of a handcoded partial
Variants of the Event Calculus
 ICLP 95
, 1995
"... The event calculus was proposed as a formalism for reasoning about time and events. Through the years, however, a much simpler variant (SEC) of the original calculus (EC) has proved more useful in practice. We argue ..."
Abstract

Cited by 40 (2 self)
 Add to MetaCart
The event calculus was proposed as a formalism for reasoning about time and events. Through the years, however, a much simpler variant (SEC) of the original calculus (EC) has proved more useful in practice. We argue
Event Calculus Planning Revisited
, 1997
"... In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negligible gap between highlevel logical specification and practical implementation. This paper attempts to reinstate the ide ..."
Abstract

Cited by 42 (2 self)
 Add to MetaCart
the ideal of planning via theorem proving in a modern guise. In particular, I will show that if we adopt the event calculus as our logical formalism and employ abductive logic programming as our theorem proving technique, then the computation performed mirrors closely that of a handcoded partial order
Reconciling the Event Calculus with the Situation Calculus
 Journal of Logic Programming
, 1997
"... In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation of ..."
Abstract

Cited by 18 (0 self)
 Add to MetaCart
In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation
The Ramification Problem in the Event Calculus
"... Finding a solution to the frame problem that is robust in the presence of actions with indirect effects has proven to be a difficult task. Examples that feature the instantaneous propagation of interacting indirect effects are particularly taxing. This article shows that an already widely known pred ..."
Abstract

Cited by 22 (3 self)
 Add to MetaCart
predicate calculus formalism, namely the event calculus, can handle such examples with only minor enhancements.
Modal Event Calculus in Lolli
, 1994
"... This paper introduces two variants of the Event Calculus (EC) with relative timing of events: the Credulous and the Skeptical Event Calculus (CREC and SKEC respectively). A model that takes into account the dynamics of event ordering updates is constructed for EC. In this model, that appears to be a ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper introduces two variants of the Event Calculus (EC) with relative timing of events: the Credulous and the Skeptical Event Calculus (CREC and SKEC respectively). A model that takes into account the dynamics of event ordering updates is constructed for EC. In this model, that appears
Results 1  10
of
704