447 search results - page 6 / 90 » A Probabilistic Calculus of Actions |
KR
2004
Springer
14 years 25 days ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
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...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
IJCAI
1997
13 years 8 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...