—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...
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...
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...
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, ...
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...