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]
No references recorded for this publication.
No citations of this publication recorded.