Levels of modality for BDI logic

DOI10.1016/j.jal.2011.08.002zbMath1248.68469OpenAlexW2084876643WikidataQ58176826 ScholiaQ58176826MaRDI QIDQ456714

Jeff Blee, Guido Governatori, Abdul Sattar, David Billington

Publication date: 16 October 2012

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/42852

zbMATH Keywords

modal logicagentsgoalsbeliefBDI agentsreasoning about belief and knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Uses Software

• AgentSpeak
• Jason

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A computationally grounded logic of visibility, perception, and knowledge
• Representation results for defeasible logic
• Decision procedures for BDI logics
• Defeasible Logic is Stable
• Multi-Agent Programming
• Computational Logic in Multi-Agent Systems

This page was built for publication: Levels of modality for BDI logic