2 papers
cs.AI2026
VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows
Teodoro Baldazzi, Luigi Bellomarini, Andrea Coletta +4
Decision-making in real-world settings rarely follows a fixed script. Instead, it unfolds as a dynamic reasoning process in which the appropriate course of action evolves as new co…
cs.DB2024
The Temporal Vadalog System: Temporal Datalog-based Reasoning
Luigi Bellomarini, Livia Blasi, Markus Nissl +1
In the wake of the recent resurgence of the Datalog language of databases, together with its extensions for ontological reasoning settings, this work aims to bridge the gap between…