Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain

Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou. Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Science of Computer Programming, 147:54-77, 2017. [doi]

Abstract

Abstract is missing.