1120 search results - page 123 / 224 » A Formal Framework for Interactive Agents |
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
APIN
1998
14 years 9 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
Researchers demand much from their embodied conversational agents (ECAs), requiring them to be both life-like, as well as responsive to events in an interactive setting. We find t...
AIPS
2003
14 years 11 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...