Publications

You can also find my articles on my Google Scholar profile.

Journal Articles

Existential and positive games: a comonadic and axiomatic view

Published in Annals of Pure and Applied Logic, 2026

This paper is part of a several year project on the categorification of model-comparison games. It specifically aims at studying quantifiers and negation separately. It follows work I took part in during my M1 internship.

Recommended citation: S. Abramsky, T. Laure, L. Reggio (2025) Existential and positive games: a comonadic and axiomatic view, Annals of Pure and Applied Logic. 2026;177(9). doi:10.1016/j.apal.2026.103775
Download Paper | Download Bibtex

A Logic of Propositional Variations and Its Application to Case-Based Reasoning

Published in The European Journal on Artificial Intelligence, 2026

This paper is the journal extension of the JIAF paper that originated from my bachelor internship.

Recommended citation: François N, Laure T, Lieber J. A Logic of Propositional Variations and Its Application to Case-Based Reasoning. The European Journal on Artificial Intelligence. 2026;0(0). doi:10.1177/30504554251388593
Download Paper | Download Bibtex

Conference Papers

Une logique pour représenter des variations propositionnelles

Published in Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, 2023

This paper (in French) is (the first step of) a formalisation of a notion of variation in propositional logic. It follows work I did during my bachelor internship.

Recommended citation: Nicolas François, Thomas Laure, Jean Lieber. Une logique pour représenter des variations propositionnelles. Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.11. ⟨hal-04268839⟩
Download Paper