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

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 23; no. 1; pp. 2 - 56
Main Authors:	AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN
Format:	Journal Article
Language:	English
Published:	Cambridge Cambridge University Press 01.01.2023 Cambridge University Press (CUP)
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!