Artur Niewiadomski, Wojciech Penczek. Towards SMT-based Abstract Planning in PlanICS Ontology. In Joaquim Filipe, Jan L. G. Dietz, editors, KEOD 2013 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Vilamoura, Algarve, Portugal, 19-22 September, 2013. pages 123-131, SciTePress, 2013. [doi]
@inproceedings{NiewiadomskiP13,
title = {Towards SMT-based Abstract Planning in PlanICS Ontology},
author = {Artur Niewiadomski and Wojciech Penczek},
year = {2013},
doi = {10.5220/0004514901230131},
url = {http://dx.doi.org/10.5220/0004514901230131},
researchr = {https://researchr.org/publication/NiewiadomskiP13},
cites = {0},
citedby = {0},
pages = {123-131},
booktitle = {KEOD 2013 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Vilamoura, Algarve, Portugal, 19-22 September, 2013},
editor = {Joaquim Filipe and Jan L. G. Dietz},
publisher = {SciTePress},
isbn = {978-989-8565-81-5},
}