Postulates for revising BDI structures
From MaRDI portal
Publication:625696
DOI10.1007/s11229-010-9735-1zbMath1215.03012MaRDI QIDQ625696
Sarit Kraus, Michael Wooldridge, Donald Perlis, J. R. Grant
Publication date: 25 February 2011
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-010-9735-1
68T27: Logic in artificial intelligence
03A05: Philosophical and critical aspects of logic and foundations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logical theories of intention and the database perspective
- Towards a theory of intention revision
- The complexity of contract negotiation
- Knowledge updates: Semantics and complexity issues
- Intention is choice with commitment
- On the logic of theory change: Partial meet contraction and revision functions
- Decision procedures for BDI logics
- Programming Multi-Agent Systems in AgentSpeak usingJason