Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Christopher Brenton, Wolfgang Faber, and Sotiris Batsakis. Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{brenton_et_al:OASIcs.ICLP.2016.4,
author = {Brenton, Christopher and Faber, Wolfgang and Batsakis, Sotiris},
title = {{Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {4:1--4:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.4},
URN = {urn:nbn:de:0030-drops-67352},
doi = {10.4230/OASIcs.ICLP.2016.4},
annote = {Keywords: answer set programming, qualitative spatio-temporal reasoning}
}
Feedback for Dagstuhl Publishing