Sciweavers

470 search results - page 1 / 94
» Model generation for PRS-like agents
Sort
View
ATAL
2005
Springer
15 years 3 months ago
Model generation for PRS-like agents
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...
Wayne Wobcke, Marc Chee, Krystian Ji
74
Voted
AAAI
2004
14 years 11 months ago
Identification and Tracing of Ambiguous Names: Discriminative and Generative Approaches
A given entity
Xin Li, Paul Morie, Dan Roth
76
Voted
IAT
2008
IEEE
15 years 4 months ago
Relating Cognitive Process Models to Behavioural Models of Agents
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...
Alexei Sharpanskykh, Jan Treur