Bounded-Resource Reasoning as (Strong or Classical) Planning (2009)
Attributed to:
Verifying requirements for resource-bounded agents
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.cs.nott.ac.uk/~nza/papers/Albore++:09a.pdf
Type: Conference/Paper/Proceeding/Abstract
Volume: 5405
Parent Publication: Proceedings of the 9th International Workshop Computational Logic in Multi-Agent Systems (CLIMA IX), Revised Selected and Invited Papers, Springer LNCS