1912 search results - page 167 / 383 » GOAL as a Planning Formalism |
170
click to vote
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
215
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
154
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...
126
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
182
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
We describe a new methodology for designing technologies for and with families called technology probes. Technology probes are simple, flexible, adaptable technologies introduced ...