2026-07-25T14:07:02Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3630 2024-03-06T10:34:27Z ddc:004 open_access

Paving the Way for Temporal Grounding Aguado, Felicidad Cabalar, Pedro Diéguez, Martín Pérez, Gilberto Vidal, Concepción ASP linear temporal logic grounding temporal equilibrium logic In this paper we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium Logic (TEL), an extension of Answer Set Programming (ASP) for dealing with linear-time modal operators. We provide several fundamental contributions that pave the way for the implementation of a grounding process, that is, a method that allows replacing variables by ground instances in all the possible (or better, relevant) ways. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Felicidad Aguado and Pedro Cabalar and Martín Diéguez and Gilberto Pérez and Concepción Vidal 2012 Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2012.290 urn:nbn:de:0030-drops-36301 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.290 eng https://creativecommons.org/licenses/by-nd/3.0/legalcode