Publications
Publications
"Grounding Agent Reasoning in Image Schemas: A Neurosymbolic Approach to Embodied Cognition" (with Zied Bouraoui). In Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), Detroit, Michigan, USA [pdf].
"A Logical Framework for Spatial Mental Models". In German Conference on Spatial Cognition XII (pp. 268-280). Springer, Cham, 2020 [pdf].
"Testing the equivalence betwen wide-scope and narrow-scope negations in conditional" (with Paul Egré). In Proceedings of the ESSLLI 2019 [pdf].
Declarative Spatial Reasoning In Quantified Equilibrium Logic with Evaluable Functions (2024), in Artificial and Human Intelligence Institute, Sep 22-27, 2024, Schloss Dagstuhl - Leibniz-Center of Informatics; Dagstuhl, Germany.
Probing Large Language Models to Perform Analogical Transformation (with Miguel Couceiro and Zied Bouraoui) (2024), in IARML@IJCAI’2024: Workshop on the Interactions between Analogical Reasoning and Machine Learning, at IJCAI’2024, Jeju, South Korea. [pdf]
Here-and-There with Constraints for Spatial Reasoning} (with Carl Schultz) (2023), in Workshop on Trends and Applications of Answer Set Programming, Potsdam, Germany. [pdf]
Temporal Here-and-There with Constraints (with Pedro Cabalar, Martin Diéguez, Torsten Schaub and Igor Stéphan) (2023), in Workshop on Trends and Applications of Answer Set Programming, Potsdam, Germany. [pdf]
Spatial Relations in Reasoning: A computational Model. PhD Dissertation, Ecole Normale Supérieure de Paris [pdf].
Grounding Agent Reasoning in Image Schemas: A Neurosymbolic Approach to Embodied Cognition (2025), in International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Detroit, Michigan, USA.
Constraint Temporal Answer Set Programming (2024), in Workshop on Trends and Applications of Answer Set Programming, Sada, La Corogne, Spain.
Here-and-There with Constraints for Spatial Reasoning (2023), in Workshop on Trends and Applications of Answer Set Programming, Potsdam, Germany.
Temporal Here-and-There with Constraints (2023), in Workshop on Trends and Applications of Answer Set Programming, Potsdam, Germany.
Temporal Here and There with Constraints (2023), in ASP Workshop, Angers, France.
Combining ASP and SMT for Spatial Reasoning (2023), in LERIA Seminar, Angers, France.
ASPMT(QS) for the Psychology of Reasoning about Space (2022), in LANG-REASON Seminar, Paris, France.
Formalizing Diagrammatic Thinking (2020) in Work In Progress Seminar, Bochum, Germany.
Testing the equivalence between wide-scope and narrow-scope negations in conditionals (2019), in the Student Session of the 31st European School in Logic, Language and Information (ESSLLI), Latvia.