François Laferrière

Orcid: 0009-0006-8147-572X

According to our database1, François Laferrière authored at least 6 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Fixpoint Characterisation of Temporal Equilibrium Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023
Past-Present Temporal Programs over Finite Traces.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Past-present temporal programs over finite traces: a preliminary report.
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.
Theory Pract. Log. Program., 2021

2020
Implementing Dynamic Answer Set Programming.
CoRR, 2020

Implementing Dynamic Answer Set Programming over Finite Traces.
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


  Loading...