Linear-Time Temporal Answer Set Programming

In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs is the result of combining usual rules with temporal modal operators, as in Linear-time...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming Jg. 23; H. 1; S. 2 - 56
Hauptverfasser:	AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge Cambridge University Press 01.01.2023 Cambridge University Press (CUP)
Schlagworte:	Computer Science Declarative programming Equilibrium Formalism Knowledge representation Logic programming Logic programs Mathematical programming Semantics Solvers Syntax Temporal logic
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!