Sciweavers

1879 search results - page 207 / 376
» Integrating motivations with planning
Sort
View
ECAI
2004
Springer
14 years 1 months ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz
HICSS
2003
IEEE
114views Biometrics» more  HICSS 2003»
14 years 1 months ago
A UML-Driven Enterprise Architecture Case Study
The U.S. Capitol Police (USCP) are responsible for protecting the Capitol Hill complex encompassing the Senate and House office buildings and the Capitol building. Currently, the ...
Frank Armour, Stephen H. Kaisler, Jim Getter, Doug...
HICSS
2003
IEEE
108views Biometrics» more  HICSS 2003»
14 years 1 months ago
Event-based Workflow and the Management Interface
Long transactions cause pragmatic problems for workflow systems – as the transaction is moving, so is the surrounding world. We look at three scenarios in which external events ...
Jeffrey V. Nickerson
ICRA
2003
IEEE
120views Robotics» more  ICRA 2003»
14 years 1 months ago
Instrument deployment for Mars Rovers
Future Mars rovers, such as the planned 2009 MSL rover, require sufficient autonomy to robustly approach rock targets and place an instrument in contact with them. It took the 199...
Liam Pedersen, Maria Bualat, Clayton Kunz, Susan Y...
KBSE
2003
IEEE
14 years 1 months ago
Automation for Exception Freedom Proofs
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
Bill J. Ellis, Andrew Ireland