Paving the Way for Temporal Grounding

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

doi:10.4230/LIPIcs.ICLP.2012.290

Document

Paving the Way for Temporal Grounding

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

Part of: Volume: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (ICLP 2012)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NoDerivs 3.0 Unported license
Publication Date: 2012-09-05

PDF

File

PDF

LIPIcs.ICLP.2012.290.pdf

Filesize: 461 kB
11 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2012.290
URN: urn:nbn:de:0030-drops-36301

Subject Classification

Keywords

ASP
linear temporal logic
grounding
temporal equilibrium logic

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, and Concepción Vidal. Paving the Way for Temporal Grounding. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 290-300, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012) https://doi.org/10.4230/LIPIcs.ICLP.2012.290

Author Details

Felicidad Aguado

Pedro Cabalar

Martín Diéguez

Gilberto Pérez

Concepción Vidal

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail