28 search results - page 1 / 6 » Property persistence in the situation calculus |
AI
2010
Springer
13 years 4 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
AI
2011
Springer
12 years 11 months ago
2011
Springer
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
AMAI
2004
Springer
13 years 4 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
CONTEXT
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We discuss a membrane-based calculus for the combination of conceptual spaces during runtime. Since our goal is to support emergent properties of behavior (and due to the...