1120 search results - page 63 / 224 » A Formal Framework for Interactive Agents |
115
click to vote
ICNS
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
185
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
180
click to vote
CEEMAS
2007
Springer
16 years 15 days ago
2007
Springer
To allow for flexibility in software structures (architectures) especially plugins and agents are proposed solutions. While plugins are used to support the conceptual and practica...
217
click to vote
STORYTELLING
2005
Springer
15 years 11 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
155
click to vote
FOIKS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...