Roman Barták, Agostino Dovier, Neng-Fa Zhou
On modeling planning problems in tabled logic programming
PPDP, 2015.
@inproceedings{PPDP-2015-BartakDZ,
author = "Roman Barták and Agostino Dovier and Neng-Fa Zhou",
booktitle = "{Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming}",
doi = "10.1145/2790449.2790521",
isbn = "978-1-4503-3516-4",
pages = "31--42",
publisher = "{ACM}",
title = "{On modeling planning problems in tabled logic programming}",
year = 2015,
}