DEL-sequents for regression and epistemic planning
DOI10.1080/11663081.2012.736703zbMATH Open1398.03068OpenAlexW2053161718MaRDI QIDQ4583175FDOQ4583175
Authors: Guillaume Aucher 
Publication date: 28 August 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00856471/file/JANCL2012-Camera-Ready.pdf
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- Modal logic
- Epistemic planning for single- and multi-agent systems
- The logic of public announcements, common knowledge, and private suspicions
- Logics for epistemic programs
- Dynamic logic for belief revision
- Finite models constructed from canonical formulas
- Title not available (Why is that?)
- Dynamic epistemic logic
- What will they say? -- Public announcement games
- An internal version of epistemic logic
- DEL-sequents for progression
- DEL planning and some tractable cases
- Tableau method and NEXPTIME-completeness of DEL-sequents
- Generalized DEL-Sequents
Cited In (15)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
- Generalized DEL-Sequents
- To be announced
- Refinement modal logic
- DEL planning and some tractable cases
- Multi-agent conformant planning with distributed knowledge
- Knowledge-based programs as succinct policies for partially observable domains
- Planning-based knowing how: a unified approach
- Dynamic Epistemic Logic as a Substructural Logic
- Epistemic planning: perspectives on the special issue
- Dynamic epistemic logic with branching temporal structures
- DEL-sequents for progression
- Exploring the power of converse events
- A dynamic epistemic framework for conformant planning
This page was built for publication: DEL-sequents for regression and epistemic planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583175)
