470 search results - page 1 / 94 » Model generation for PRS-like agents |
AAAI
2008
13 years 8 months ago
2008
AAAI
2006
13 years 7 months ago
2006
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
AAAI
2004
13 years 7 months ago
2004
A given entity
IAT
2008
IEEE
14 years 6 days ago
2008
IEEE
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...