License
when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012.290
URN: urn:nbn:de:0030-drops-36301
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3630/

Aguado, Felicidad ; Cabalar, Pedro ; Diéguez, Martín ; Pérez, Gilberto ; Vidal, Concepción

Paving the Way for Temporal Grounding

pdf-format:
Dokument 1.pdf (461 KB)


Abstract

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.

BibTeX - Entry

@InProceedings{aguado_et_al:LIPIcs:2012:3630,
  author =	{Felicidad Aguado and Pedro Cabalar and Mart{\'i}n Di{\'e}guez and Gilberto P{\'e}rez and Concepci{\'o}n Vidal},
  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 =	{Agostino Dovier and V{\'i}tor Santos Costa},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3630},
  URN =		{urn:nbn:de:0030-drops-36301},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.290},
  annote =	{Keywords: ASP, linear temporal logic, grounding, temporal equilibrium logic}
}

Keywords: ASP, linear temporal logic, grounding, temporal equilibrium logic
Seminar: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Issue date: 2012
Date of publication: 27.07.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI