286 search results - page 8 / 58 » A calculus of atomic actions |
AAAI
2006
13 years 10 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 3 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...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
ICTAC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
DLOG
2006
13 years 10 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...