Title :
A complete and decidable logic for resource-bounded agents
Author :
Alechina, Natasha ; Logan, Brian ; Whitsey, Mark
Author_Institution :
University of Nottingham
Keywords :
Computer science; Delay; Knowledge based systems; Logic; Permission; Time factors;
Conference_Titel :
Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on
Conference_Location :
New York, NY, USA
Print_ISBN :
1-58113-864-4
