scientific article; zbMATH DE number 7453144
From MaRDI portal
Publication:5020586
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.08259
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
knowledge representationplanningaction languagesmulti-agentepistemic reasoningheuristics information change
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamic epistemic logic
- Reasoning about information change
- ConGolog, a concurrent programming language based on the situation calculus
- A resource logic for multi-agent plan merging
- Epistemic planning for single- and multi-agent systems
- The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks
- Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity
- Reasoning about knowledge and probability
- A Non-monotonic Goal Specification Language for Planning with Preferences
- An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
- On Sets and Graphs
- Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
This page was built for publication:
