Published in: LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Pedro Cabalar. Temporal Modalities in Answer Set Programming (Invited Talk). In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 2:1-2:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{cabalar:LIPIcs.TIME.2020.2, author = {Cabalar, Pedro}, title = {{Temporal Modalities in Answer Set Programming}}, booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)}, pages = {2:1--2:5}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-167-2}, ISSN = {1868-8969}, year = {2020}, volume = {178}, editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.2}, URN = {urn:nbn:de:0030-drops-129707}, doi = {10.4230/LIPIcs.TIME.2020.2}, annote = {Keywords: Logic Programming, Temporal Logic, Answer Set Programming, Modal Logic} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, and Concepción Vidal. Paving the Way for Temporal Grounding. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 290-300, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{aguado_et_al:LIPIcs.ICLP.2012.290, author = {Aguado, Felicidad and Cabalar, Pedro and Di\'{e}guez, Mart{\'\i}n and P\'{e}rez, Gilberto and Vidal, Concepci\'{o}n}, title = {{Paving the Way for Temporal Grounding}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {290--300}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.290}, URN = {urn:nbn:de:0030-drops-36301}, doi = {10.4230/LIPIcs.ICLP.2012.290}, annote = {Keywords: ASP, linear temporal logic, grounding, temporal equilibrium logic} }
Feedback for Dagstuhl Publishing