Paving the Way for Temporal Grounding

Felicidad Aguado, Pedro Cabalar, MartíN DiéGuez, Gilberto PéRez & Concepción Vidal
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.