Conditional Planning with External Functions

DOI10.1007/978-3-540-72200-7_19zbMath1149.68425OpenAlexW2149814292MaRDI QIDQ5425410

Dirk Vermeir, Thomas Eiter, Davy Van Nieuwenborgh

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)

Related Items (3)

Proof systems for planning under 0-approximation semantics ⋮ Answer Set Programming: A Primer ⋮ Combining Nonmonotonic Knowledge Bases with External Sources

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