Pages that link to "Item:Q2901205"
From MaRDI portal
The following pages link to Epistemic planning for single- and multi-agent systems (Q2901205):
Displaying 50 items.
- True lies (Q143747) (← links)
- The undecidability of quantified announcements (Q310079) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Autonomous agents modelling other agents: a comprehensive survey and open problems (Q1639697) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514) (← links)
- Implicit, explicit and speculative knowledge (Q1748464) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- An action language for multi-agent domains (Q2060726) (← links)
- Efficient multi-agent epistemic planning: teaching planners about nested belief (Q2060737) (← links)
- An approach to improve argumentation-based epistemic planning with contextual preferences (Q2105569) (← links)
- Epistemic planning with attention as a bounded resource (Q2148811) (← links)
- Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)
- Multi-agent conformant planning with distributed knowledge (Q2148824) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- The logic of gossiping (Q2211849) (← links)
- DEL-based epistemic planning: decidability and complexity (Q2211863) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- Game description language and dynamic epistemic logic compared (Q2238672) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Recursively modeling other agents for decision making: a research perspective (Q2287201) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- Rethinking epistemic logic with belief bases (Q2307332) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention (Q2515783) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- Finitary S5-Theories (Q2938497) (← links)
- DEL Planning and Some Tractable Cases (Q3094006) (← links)
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577) (← links)
- (Q3384067) (← links)
- Learning Actions Models: Qualitative Approach (Q3457685) (← links)
- Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (Q3457715) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- (Q5015396) (← links)
- (Q5015399) (← links)
- (Q5020586) (← links)
- (Q5028475) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Modelling Multi-Agent Epistemic Planning in ASP (Q5140002) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT (Q5414136) (← links)
- To be announced (Q6040661) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
