François Laferrière

According to our database, François Laferrière authored at least 7 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming.

Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan

CoRR, March, 2026

2024

A Fixpoint Characterisation of Temporal Equilibrium Logic.

Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub, Igor Stéphan

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Past-Present Temporal Programs over Finite Traces.

Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

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

Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2021

Planning with Incomplete Information in Quantified Answer Set Programming.

Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son

Theory Pract. Log. Program., 2021

2020

Implementing Dynamic Answer Set Programming.

Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière

CoRR, 2020

Implementing Dynamic Answer Set Programming over Finite Traces.

Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020