158 search results - page 1 / 32 » Model Checking for PRS-Like Agents |
102
Voted
AGENTCL
2003
Springer
15 years 2 months ago
2003
Springer
AAAI
1996
15 years 5 days ago
1996
ATAL
2005
Springer
15 years 4 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...
ATAL
2010
Springer
14 years 12 months ago
2010
Springer
72
Voted
ATAL
2010
Springer
14 years 12 months ago
2010
Springer
