Franois Laferrire
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LPNMR | A Fixpoint Characterisation of Temporal Equilibrium Logic. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub, Igor Stphan |
| 2023 | ICLP | Past-present temporal programs over finite traces: a preliminary report. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2023 | JELIA | Past-Present Temporal Programs over Finite Traces. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2020 | ECAI | Implementing Dynamic Answer Set Programming over Finite Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub, Franois Laferrire |