Ascribing beliefs to resource bounded agents

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 881-888

  Alechina, Natasha ^a   Logan, Brian ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

Formalisms and logics

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; MATHEMATICAL MODELS; THEOREM PROVING;

RESOURCE BOUNDED AGENTS;

INTELLIGENT AGENTS;

EID: 0036367292     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/544862.544948     Document Type: Conference Paper

References (30)

1. Grounding knowledge and action selection in agent-based systems
2. Logical omniscience and the cost of deliberation
3. Modal logic
4. Reasoning situated in time I: Basic concepts
5. Efficient model checking in fragments of the propositional mu-calculus
6. Belief, awareness, and limited reasoning
7. A non-standard approach to the logical omniscience problem
8. An elementary proof of the completeness of PDL
9. Steps towards a first-order logic of explicit and implict belief
10. A logic of implicit and explicit belief
11. Logic and representation
12. Knowledge and the problem of logical omniscience
13. A temporal logic of concurrent programs
14. Semantical considerations on Floyd-Hoare logic
15. Modeling rational agents within a BDI-architecture
16. The 'logical omniscience' of reactive systems
17. A completeness theorem in the modal logic of programs
18. Know-how
19. An integrated modal approach to rational agents
20. Computationally grounded theories of agency
21. A computationally grounded logic of visibility, perception, and knowledge