A complete and decidable logic for resource-bounded agents

Author

Alechina, Natasha ; Logan, Brian ; Whitsey, Mark

Author_Institution

University of Nottingham

fYear

2004

fDate

23-23 July 2004

Firstpage

606

Lastpage

613

Keywords

Computer science; Delay; Knowledge based systems; Logic; Permission; Time factors;

fLanguage

English

Publisher

ieee

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

Type

Filename

1373528

Link To Document