3729 search results - page 38 / 746 » On Formal Modeling of Agent Computations |
GI
2010
Springer
14 years 10 months ago
2010
Springer
ACL
2010
14 years 9 months ago
2010
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
To create a robot with a mind of its own, we extended a formalized version of a model that explains affect-driven interaction with mechanisms for goaldirected behavior. We ran sim...
130
click to vote
DSVIS
1998
Springer
15 years 4 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
132
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...