Ciencias da Computación e Tecnoloxías da Información
Departamento
University of Angers
Angers, FranciaPublicacións en colaboración con investigadores/as de University of Angers (4)
2023
-
Past-Present Temporal Programs over Finite Traces
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Past-present temporal programs over finite traces: a preliminary report
CEUR Workshop Proceedings
2021
-
Automata for dynamic answer set solving: Preliminary report
CEUR Workshop Proceedings
-
Linear-Time Temporal Answer Set Programming
Theory and Practice of Logic Programming