Temporal Answer Set Programming

We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving. Such programs are the result of combining usual rules with temporal modal operators, as in Linear-time Temporal Logic (LTL). We focus on recent...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2021-11
Hauptverfasser:	Aguado, Felicidad, Cabalar, Pedro, Dieguez, Martin, Perez, Gilberto, Schaub, Torsten, Schuhmann, Anna, Vidal, Concepcion
Format:	Artikel
Sprache:	eng
Schlagworte:	Declarative programming Formalism Knowledge representation Logic programming Logic programs Mathematical programming Semantics Temporal logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!