文章基本信息

标题：Paving the Way for Temporal Grounding
本地全文：下载
作者：Felicidad Aguado ; Pedro Cabalar ; Mart{\'i}n Di{\'e}guez 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：17
页码：290-300
DOI：10.4230/LIPIcs.ICLP.2012.290
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：ASP; linear temporal logic; grounding; temporal equilibrium logic