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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.