Temporal Answer Set Programming on Finite Traces

In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces. This approach allows us to even out the expressiveness of TEL over infinite traces with the computational capacity of (incremental)...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theory and practice of logic programming Jg. 18; H. 3-4; S. 406 - 420
Hauptverfasser:	CABALAR, PEDRO, KAMINSKI, ROLAND, SCHAUB, TORSTEN, SCHUHMANN, ANNA
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.07.2018
Schlagworte:	Logic programming Logic programs Mathematical programming Operators Temporal logic
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!