A first-order coalition logic for BDI-agents

DOI10.1007/s11704-015-4591-2zbMath1403.68257OpenAlexW2215804046MaRDI QIDQ1712430

Abdul Sattar, Kaile Su, Qingliang Chen, Aixiang Chen, XiangYu Luo

Publication date: 22 January 2019

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-015-4591-2

zbMATH Keywords

computational complexitycomplete axiomatizationcoalition logicBDI logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Uses Software

• VerICS
• NuSMV
• MCMAS
• MCK
• MOCHA
• MCMAS-SLK

Cites Work

• Model-checking games for logics of imperfect information
• Reasoning about coalitional games
• Quantified coalition logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• A complete coalition logic of temporal knowledge for multi-agent systems
• A logic for reasoning about knowledge of unawareness
• Complete axiomatization and decidability of alternating-time temporal logic
• Higher-Order Coalition Logic
• Specification and Verification of Multi-Agent Systems
• Alternating-time temporal logic
• Model-Checking First-Order Logic: Automata and Locality
• The complexity of propositional linear temporal logics
• A Modal Logic for Coalitional Power in Games
• Barcan Both Ways
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A first-order coalition logic for BDI-agents