A lightweight epistemic logic and its application to planning
From MaRDI portal
Publication:2238679
DOI10.1016/J.ARTINT.2020.103437OpenAlexW3118156678MaRDI QIDQ2238679FDOQ2238679
Authors: M. C. Cooper, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier, Andreas Herzig 
Publication date: 2 November 2021
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2020.103437
Recommendations
- Planning using dynamic epistemic logic: correspondence and complexity
- An epistemic logic for planning with trials
- DEL-based epistemic planning: decidability and complexity
- An epistemic model of logic programming
- scientific article; zbMATH DE number 1696741
- Epistemic logic programs: a study of some properties
- Planning with effectively propositional logic
- Dynamic term-modal logics for first-order epistemic planning
- Epistemic logic for rule-based agents
- Logics for epistemic programs
Cites Work
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
- Modal logic
- Epistemic planning for single- and multi-agent systems
- A survey of gossiping and broadcasting in communication networks
- Title not available (Why is that?)
- The computational complexity of propositional STRIPS planning
- Title not available (Why is that?)
- The Byzantine Generals Problem
- A guide to completeness and complexity for modal logics of knowledge and belief
- Announcements to attentive agents
- A Concise Introduction to Models and Methods for Automated Planning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Introspective forgetting
- The epistemic gossip problem
- A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
- Epistemic protocols for dynamic gossip
- Title not available (Why is that?)
- Gossip is synteny: Incomplete gossip and the syntenic distance between genomes
- A Cure for the Telephone Disease
- Formalizing sensing actions -- a transition function based approach
- Gossips and telephones
- Title not available (Why is that?)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algorithms - ESA 2003
- CONTINGENCY AND KNOWING WHETHER
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamic term-modal logics for first-order epistemic planning
- DEL-based epistemic planning: decidability and complexity
- Observable models
- Possible Worlds Semantics Based on Observation and Communication
- Title not available (Why is that?)
Cited In (6)
- Epistemic planning for single- and multi-agent systems
- Efficient reasoning about knowledge and common knowledge
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- Epistemic planning: perspectives on the special issue
- Dynamic term-modal logics for first-order epistemic planning
- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
Uses Software
This page was built for publication: A lightweight epistemic logic and its application to planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2238679)
