Sciweavers

106 search results - page 6 / 22
» Seamless Execution of Action Sequences
Sort
View
KI
2004
Springer
14 years 1 months ago
Decision-Theoretic Planning for Playing Table Soccer
Abstract. Table soccer (also called “foosball”) is much simpler than real soccer. Nevertheless, one faces the same challenges as in all other robotics domains. Sensors are nois...
Moritz Tacke, Thilo Weigel, Bernhard Nebel
AIPS
2004
13 years 9 months ago
Conformant Planning via Heuristic Forward Search: A New Approach
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
Ronen I. Brafman, Jörg Hoffmann
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
14 years 1 months ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan
DALT
2006
Springer
13 years 11 months ago
A Functional Program for Agents, Actions, and Deontic Specifications
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
Adam Zachary Wyner
AAAI
2008
13 years 9 months ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
Yilan Gu, Mikhail Soutchanski