2 papers
cs.AI2025
Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations
François Olivier, Zied Bouraoui
Despite significant progress in natural language understanding, Large Language Models (LLMs) remain error-prone when performing logical reasoning, often lacking the robust mental r…
cs.AI2025
Towards Constraint Temporal Answer Set Programming
Pedro Cabalar, Martín Diéguez, François Olivier +2
Reasoning about dynamic systems with a fine-grained temporal and numeric resolution presents significant challenges for logic-based approaches like Answer Set Programming (ASP). To…