Listar por tema "linear-time temporal logic"
Mostrando ítems 1-1 de 1
-
Linear-Time Temporal Answer Set Programming
(Cambridge University Press, 2023)[Abstract]: 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 ...