Knowledge-based programs as building blocks for planning
From MaRDI portal
Publication:2667817
DOI10.1016/j.artint.2021.103634MaRDI QIDQ2667817
Jorge A. Baier, Sheila A. McIlraith
Publication date: 2 March 2022
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2021.103634
68Txx: Artificial intelligence
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Applicability conditions for plans with loops: computability results and algorithms
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Knowledge, action, and the frame problem
- Agent planning programs
- Computational complexity of planning and approximate planning in the presence of incompleteness
- Ability and knowing how in the situation calculus
- Planning in a hierarchy of abstraction spaces
- Epistemic planning for single- and multi-agent systems
- State Constraints Revisited
- Knowledge Preconditions for Plans
- GOLOG: A logic programming language for dynamic domains
- Knowledge-based programs
- Logic Programming and Nonmonotonic Reasoning
- On knowledge-based programming with sensing in the situation calculus