Sciweavers

577 search results - page 34 / 116
» Actions in context
Sort
View
HRI
2010
ACM
15 years 8 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
15 years 2 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»
15 years 1 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
15 years 2 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
15 years 6 months 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...