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á bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 23; číslo 1; s. 2 - 56
Hlavní autoři:	AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge Cambridge University Press 01.01.2023 Cambridge University Press (CUP)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!