91 search results - page 3 / 19 » Concurrent Actions in the Situation Calculus |
AAAI
2006
13 years 9 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
AI
2011
Springer
13 years 2 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...
IJCAI
2007
13 years 9 months ago
2007
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...
AAAI
2000
13 years 8 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
AAAI
2008
13 years 9 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...