1195 search results - page 11 / 239 » Resources for Situated Actions |
JOLLI
2010
14 years 11 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
109
Voted
FCCM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Wireless sensor networks (WSNs) are typically composed of very small, battery-operated devices (sensor nodes) containing simple microprocessors with few computational resources....
122
Voted
CLIMA
2004
15 years 1 months ago
2004
Abstract. In recent years, within the planning literature there has been a departure from approaches computing total plans for given goals, in favour of approaches computing partia...
113
Voted
AAAI
2010
15 years 1 months ago
2010
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...
110
click to vote
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...