Private Expansion and Revision in Multi-agent Settings
From MaRDI portal
Publication:3451175
DOI10.1007/978-3-319-20807-7_16zbMath1465.68235OpenAlexW1028922037MaRDI QIDQ3451175
Tiago de Lima, Sébastien Konieczny, Thomas Caridroit, Pierre Marquis
Publication date: 10 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20807-7_16
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- AGM 25 years. Twenty-five years of research in belief change
- Prolegomena to dynamic logic for belief revision
- Dynamic epistemic logic
- Propositional knowledge base revision and minimal change
- Agreeing to disagree
- Interactive epistemology. I: Knowledge
- Dynamic interactive epistemology
- Logics for epistemic programs
- Private announcement and belief expansion: an internal perspective
- Private Expansion and Revision in Multi-agent Settings
- Consistency Preservation and Crazy Formulas in BMS
- Generalizing AGM to a multi-agent setting
- Communication among agents: a way to revise beliefs in KD45 Kripke structures★
- Dynamic logic for belief revision
- On the logic of theory change: Partial meet contraction and revision functions
This page was built for publication: Private Expansion and Revision in Multi-agent Settings