Sciweavers

577 search results - page 34 / 116
» Actions in context
Sort
View
HRI
2010
ACM
14 years 2 months ago
Showing robots how to follow people using a broomstick interface
—Robots are poised to enter our everyday environments such as our homes and offices, contexts that present unique questions such as the style of the robot’s actions. Style-orie...
James Everett Young, Kentaro Ishii, Takeo Igarashi...
AIPS
1994
13 years 9 months ago
Decomposition and Causality in Partial-order Planning
We describe DPOCL, a partial-order causal linkplanner thatincludes actiondecomposition. DPOCL builds directly on the SNLP algorithm 10 , and hence is clear and simple, and can rea...
R. Michael Young, Martha E. Pollack, Johanna D. Mo...
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 7 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
AAAI
1994
13 years 9 months ago
Forming Beliefs about a Changing World
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
ATAL
2003
Springer
14 years 29 days ago
Implementing responsibility for states and events
Contracts in the real world often rest upon a notion of responsibility, by which parties commit to the fulfilment of particular imperatives embedded in the contract. Responsibili...
Martin J. Kollingbaum, Timothy J. Norman, Chris Re...