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...

Celý popis

Podrobná bibliografia

Vydané v:	Theory and practice of logic programming Ročník 23; číslo 1; s. 2 - 56
Hlavní autori:	AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge Cambridge University Press 01.01.2023 Cambridge University Press (CUP)
Predmet:	Computer Science Declarative programming Equilibrium Formalism Knowledge representation Logic programming Logic programs Mathematical programming Semantics Solvers Syntax Temporal logic
ISSN:	1471-0684, 1475-3081
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!