Publications
Publications
"Towards Constraint Temporal Answer Set Programming" (with Pedro Cabalar, Martin Diéguez, Torsten Schaub and Igor Stéphan) (2025), in Theory and Practice of Logic Programming, pp. 1-16, Cambridge University Press [pdf].
"Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations" (with Zied Bouraoui). In Proc. of Machine Learning Research, 19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), Santa Cruz, US [pdf].
"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]. Best Paper Award (Blue Sky Ideas Track)
"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].
Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations (2025), in Proceedings of Machine Learning Research, 19th Conference on Neurosymbolic Learning and Reasoning, Santa Cruz, US.
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.