134 search results - page 25 / 27 » Facilitating User-System Interaction: The GAIA Interaction A... |
AIPS
2010
13 years 10 months ago
2010
We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper inter...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
It is expected that the next generation of smart card will be more intelligent, more interactive and more interoperable. We call these the 3i requirements. A smart card wallet sys...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
CLIMA
2004
13 years 9 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes Aerogility - an intelligent decision support system for managing service-based aftermarkets. Aerogility uses multi-agent software technology to implement a dy...