Finitary S5-Theories
From MaRDI portal
Publication:2938497
DOI10.1007/978-3-319-11558-0_17zbMath1432.03026OpenAlexW5853418MaRDI QIDQ2938497
Gregory Gelfond, Enrico Pontelli, Chitta R. Baral, Tran Cao Son
Publication date: 14 January 2015
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_17
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (3)
Modelling Multi-Agent Epistemic Planning in ASP ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ An action language for multi-agent domains
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logics of communication and change
- A guide to completeness and complexity for modal logics of knowledge and belief
- Many-dimensional modal logics: theory and applications
- Logics for epistemic programs
- Multi-agent Only Knowing
- Epistemic planning for single- and multi-agent systems
- DEL Planning and Some Tractable Cases
- Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
This page was built for publication: Finitary S5-Theories
