A first-order coalition logic for BDI-agents
DOI10.1007/S11704-015-4591-2zbMATH Open1403.68257OpenAlexW2215804046MaRDI QIDQ1712430FDOQ1712430
Authors: Qingliang Chen, Kaile Su, Abdul Sattar, 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
Recommendations
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Modal logic
- Specification and Verification of Multi-Agent Systems
- Alternating-time temporal logic
- Title not available (Why is that?)
- VERICS 2007 -- a model checker for knowledgee and real-time
- What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics
- A course in game theory.
- The complexity of propositional linear temporal logics
- A Modal Logic for Coalitional Power in Games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model-checking games for logics of imperfect information
- Computer Aided Verification
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Complete axiomatization and decidability of alternating-time temporal logic
- Reasoning about coalitional games
- A logic for reasoning about knowledge of unawareness
- Quantified coalition logic
- A complete coalition logic of temporal knowledge for multi-agent systems
- Higher-order coalition logic
- Model-Checking First-Order Logic: Automata and Locality
- Barcan Both Ways
- Reasoning about knowledge and strategies: epistemic strategy logic
Cited In (2)
Uses Software
This page was built for publication: A first-order coalition logic for BDI-agents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1712430)
