Conditional Planning with External Functions

DOI10.1007/978-3-540-72200-7_19MaRDI QIDQ5425410zbMATH OpenOpenAlexFDO

Authors Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir

Publication date 13 November 2007

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72200-7_19

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 1696837
• A logic programming approach to knowledge-state planning, semantics and complexity
• scientific article; zbMATH DE number 1931694

Cited in

(12)

• scientific article; zbMATH DE number 1931694 (Why is no real title available?)
• A planning language for embedded systems
• scientific article; zbMATH DE number 1948994 (Why is no real title available?)
• Answer Set Programming: A Primer
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Answer set planning: a survey
• Hybrid conditional planning using answer set programming
• A logic programming approach to knowledge-state planning, semantics and complexity
• Proof systems for planning under 0-approximation semantics
• Functional strips: A more flexible language for planning and problem solving
• Optimal planning in the presence of conditional effects: extending LM-cut with context splitting
• Combining nonmonotonic knowledge bases with external sources

This page was built for publication: Conditional Planning with External Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5425410)