Publications in collaboration with researchers from University of Angers (4)

2023

  1. Past-Present Temporal Programs over Finite Traces

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Past-present temporal programs over finite traces: a preliminary report

    CEUR Workshop Proceedings

2021

  1. Automata for dynamic answer set solving: Preliminary report

    CEUR Workshop Proceedings

  2. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming