Publications

Journals

• "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].

Conference Papers

• "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].

Workshop Papers

• 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]

Others

• Spatial Relations in Reasoning: A computational Model.  PhD Dissertation, Ecole Normale Supérieure de Paris [pdf].