A lightweight epistemic logic and its application to planning
From MaRDI portal
Publication:2238679
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
- scientific article; zbMATH DE number 1696741 (Why is no real title available?)
- scientific article; zbMATH DE number 4053069 (Why is no real title available?)
- scientific article; zbMATH DE number 3786157 (Why is no real title available?)
- scientific article; zbMATH DE number 3616386 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 847985 (Why is no real title available?)
- scientific article; zbMATH DE number 7455705 (Why is no real title available?)
- scientific article; zbMATH DE number 6747860 (Why is no real title available?)
- scientific article; zbMATH DE number 3358479 (Why is no real title available?)
- A Concise Introduction to Models and Methods for Automated Planning
- A Cure for the Telephone Disease
- A guide to completeness and complexity for modal logics of knowledge and belief
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
- A poor man's epistemic logic based on propositional assignment and higher-order observation
- A simple account of multi-agent epistemic planning
- A survey of gossiping and broadcasting in communication networks
- Algorithms - ESA 2003
- Announcements to attentive agents
- Contingency and knowing whether
- DEL-based epistemic planning: decidability and complexity
- Dynamic term-modal logics for first-order epistemic planning
- Efficient reasoning in multiagent epistemic logics
- Epistemic planning for single- and multi-agent systems
- Epistemic protocols for dynamic gossip
- Formalizing sensing actions -- a transition function based approach
- Gossip is synteny: Incomplete gossip and the syntenic distance between genomes
- Gossips and telephones
- Introspective forgetting
- Modal logic
- Observable models
- Possible worlds semantics based on observation and communication
- Seeing is believing: formalising false-belief tasks in dynamic epistemic logic
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
- The Byzantine Generals Problem
- The computational complexity of propositional STRIPS planning
- The epistemic gossip problem
Cited in
(8)- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
- Epistemic planning for single- and multi-agent systems
- Efficient reasoning about knowledge and common knowledge
- A simple account of multi-agent epistemic planning
- A general multi-agent epistemic planner based on higher-order belief change
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- Dynamic term-modal logics for first-order epistemic planning
- Epistemic planning: perspectives on the special issue
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)
