Temporal logic programs with variables


In this note 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. To this aim, we provide a definition of a first-order version of TEL that shares the syntax of first-order Linear-time… (More)
DOI: 10.1017/S1471068416000570


2 Figures and Tables

Cite this paper

@article{Aguado2017TemporalLP, title={Temporal logic programs with variables}, author={Felicidad Aguado and Pedro Cabalar and Gilberto P{\'e}rez and Concepci{\'o}n Vidal and Mart{\'i}n Di{\'e}guez}, journal={TPLP}, year={2017}, volume={17}, pages={226-243} }