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]
Abstract is missing.