1 citations · 1 across the 5 of their papers we have counts for
5 papers
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…
Ontological Reasoning over Shy and Warded Datalog for Streaming-based Architectures (technical report)
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito +1
Recent years witnessed a rising interest towards Datalog-based ontological reasoning systems, both in academia and industry. These systems adopt languages, often shared under the c…
Fine-tuning Large Enterprise Language Models via Ontological Reasoning
Teodoro Baldazzi, Luigi Bellomarini, Stefano Ceri +3
Large Language Models (LLMs) exploit fine-tuning as a technique to adapt to diverse goals, thanks to task-specific training data. Task specificity should go hand in hand with domai…
On the Relationship between Shy and Warded Datalog+/-
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito +1
Datalog^E is the extension of Datalog with existential quantification. While its high expressive power, underpinned by a simple syntax and the support for full recursion, renders i…
iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report)
Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger +1
Recent years have seen increasing popularity of logic-based reasoning systems, with research and industrial interest as well as many flourishing applications in the area of Knowled…