Implementing Dynamic Answer Set Programming over Finite Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; François Laferrière (ECAI, 2020)

Implementing Dynamic Answer Set Programming. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; François Laferrière (CoRR, 2020)

Planning with Incomplete Information in Quantified Answer Set Programming. - Jorge Fandinno; François Laferrière; Javier Romero 003; Torsten Schaub; Tran Cao Son (Theory Pract. Log. Program., 2021)

Past-present temporal programs over finite traces: a preliminary report. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub (ICLP Workshops, 2023)

Past-Present Temporal Programs over Finite Traces. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub (JELIA, 2023)

A Fixpoint Characterisation of Temporal Equilibrium Logic. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub; Igor Stéphan (LPNMR, 2024)