License: Creative Commons Attribution-NoDerivs 3.0 Unported license (CC BY-ND 3.0)
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://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3630/
Go to the corresponding LIPIcs Volume Portal

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

Paving the Way for Temporal Grounding

pdf-format:
28.pdf (0.5 MB)

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 =		{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
Collection: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Issue Date: 2012
Date of publication: 05.09.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI