Temporal logic programs with variables

Abstract

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

Topics

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} }