17 search results - page 2 / 4 » Progression of Situation Calculus Action Theories with Incom... |
BIRTHDAY
2009
Springer
14 years 4 days ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
CORR
2004
Springer
13 years 5 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
AI
2006
Springer
13 years 9 months ago
2006
Springer
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
ATAL
1995
Springer
13 years 9 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
LOGCOM
2007
13 years 5 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...