BALDAZZI, TEODORO
BALDAZZI, TEODORO
Dipartimento di Ingegneria civile, informatica e delle tecnologie aeronautiche
"Please, Vadalog, tell me why": Interactive Explanation of Datalog-based Reasoning
2024-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Ceri, Stefano; Colombo, Andrea; Gentili, Andrea; Sallinger, Emanuel
Advancements in Symbolic and Neurosymbolic Reasoning for Big Data and Knowledge Graphs
2025-10-29 Baldazzi, Teodoro
Datalog-based Reasoning with Heuristics over Knowledge Graphs
2022-01-01 Baldazzi, Teodoro; Benedetto, Davide; Brandetti, Matteo; Vlad, Adriano; Bellomarini, Luigi; Sallinger, Emanuel
Eliminating Harmful Joins in Warded Datalog+/−
2021-01-01 Baldazzi, T.; Bellomarini, L.; Sallinger, E.; Atzeni, P.
Explaining Enterprise Knowledge Graphs with Large Language Models and Ontological Reasoning
2024-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Ceri, Stefano; Colombo, Andrea; Gentili, Andrea; Sallinger, Emanuel; Atzeni, Paolo
Fine-tuning large enterprise language models via ontological reasoning
2023-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Ceri, Stefano; Colombo, Andrea; Gentili, Andrea; Sallinger, Emanuel
Heuristic-based Reasoning on Financial Knowledge Graphs
2022-01-01 Baldazzi, Teodoro; Benedetto, Davide; Brandetti, Matteo; Vlad, Adriano; Bellomarini, Luigi; Sallinger, Emanuel
iWarded: A Versatile Generator to Benchmark Warded Datalog plus /- Reasoning
2022-01-01 Atzeni, P; Baldazzi, T; Bellomarini, L; Sallinger, E
Knowledge Graph-Based Reasoning in Large Language Models
2025-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel
LLM-based DatalogMTL Modelling of MiCAR-compliant Crypto-Assets Markets
2024-01-01 Colombo, Andrea; Baldazzi, Teodoro; Bellomarini, Luigi; Gentili, Andrea; Sallinger, Emanuel
On the Relationship between Shy and Warded Datalog+/-
2022-01-01 Baldazzi, T.; Bellomarini, L.; Favorito, M.; Sallinger, E.
Ontological reasoning over shy and warded datalog+/--for streaming-based architectures
2024-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Favorito, Marco; Sallinger, Emanuel
Picking out the Right Language to Automate FINST Reasoning Tasks
2023-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel
Reasoning in Warded Datalog+/-with Harmful Joins
2022-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel; Atzeni, Paolo
Reasoning over Financial Scenarios with the Vadalog System
2023-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel
Reasoning over health records with vadalog: a rule-based approach to patient pathways
2023-01-01 P Dwyer, Owen; Baldazzi, Teodoro; Davies, Jim; Sallinger, Emanuel; Vlad, Adriano
Semantic-aware query answering with Large Language Models
2025-01-01 Atzeni, Paolo; Baldazzi, Teodoro; Bellomarini, Luigi; Laurenza, Eleonora; Sallinger, Emanuel
Softening Ontological Reasoning with Large Language Models
2024-01-01 Baldazzi, Teodoro; Benedetto, Davide; Bellomarini, Luigi; Sallinger, Emanuel; Vlad, Adriano
Template-based explainable inference over high-stakes financial knowledge graphs
2025-01-01 Colombo, Andrea; Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel; Ceri, Stefano
Vadalog: Overview, extensions and business applications
2023-01-01 Baldazzi, Teodoro; Bellomarini, Luigi; Gerschberger, Markus; Jami, Aditya; Magnanimi, Davide; Nissl, Markus; Pavlović, Aleksandar; Sallinger, Emanuel
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| "Please, Vadalog, tell me why": Interactive Explanation of Datalog-based Reasoning | 1-gen-2024 | Baldazzi, Teodoro; Bellomarini, Luigi; Ceri, Stefano; Colombo, Andrea; Gentili, Andrea; Sallinger, Emanuel | |
| Advancements in Symbolic and Neurosymbolic Reasoning for Big Data and Knowledge Graphs | 29-ott-2025 | Baldazzi, Teodoro | |
| Datalog-based Reasoning with Heuristics over Knowledge Graphs | 1-gen-2022 | Baldazzi, Teodoro; Benedetto, Davide; Brandetti, Matteo; Vlad, Adriano; Bellomarini, Luigi; Sallinger, Emanuel | |
| Eliminating Harmful Joins in Warded Datalog+/− | 1-gen-2021 | Baldazzi, T.; Bellomarini, L.; Sallinger, E.; Atzeni, P. | |
| Explaining Enterprise Knowledge Graphs with Large Language Models and Ontological Reasoning | 1-gen-2024 | Baldazzi, Teodoro; Bellomarini, Luigi; Ceri, Stefano; Colombo, Andrea; Gentili, Andrea; Sallinger, Emanuel; Atzeni, Paolo | |
| Fine-tuning large enterprise language models via ontological reasoning | 1-gen-2023 | Baldazzi, Teodoro; Bellomarini, Luigi; Ceri, Stefano; Colombo, Andrea; Gentili, Andrea; Sallinger, Emanuel | |
| Heuristic-based Reasoning on Financial Knowledge Graphs | 1-gen-2022 | Baldazzi, Teodoro; Benedetto, Davide; Brandetti, Matteo; Vlad, Adriano; Bellomarini, Luigi; Sallinger, Emanuel | |
| iWarded: A Versatile Generator to Benchmark Warded Datalog plus /- Reasoning | 1-gen-2022 | Atzeni, P; Baldazzi, T; Bellomarini, L; Sallinger, E | |
| Knowledge Graph-Based Reasoning in Large Language Models | 1-gen-2025 | Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel | |
| LLM-based DatalogMTL Modelling of MiCAR-compliant Crypto-Assets Markets | 1-gen-2024 | Colombo, Andrea; Baldazzi, Teodoro; Bellomarini, Luigi; Gentili, Andrea; Sallinger, Emanuel | |
| On the Relationship between Shy and Warded Datalog+/- | 1-gen-2022 | Baldazzi, T.; Bellomarini, L.; Favorito, M.; Sallinger, E. | |
| Ontological reasoning over shy and warded datalog+/--for streaming-based architectures | 1-gen-2024 | Baldazzi, Teodoro; Bellomarini, Luigi; Favorito, Marco; Sallinger, Emanuel | |
| Picking out the Right Language to Automate FINST Reasoning Tasks | 1-gen-2023 | Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel | |
| Reasoning in Warded Datalog+/-with Harmful Joins | 1-gen-2022 | Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel; Atzeni, Paolo | |
| Reasoning over Financial Scenarios with the Vadalog System | 1-gen-2023 | Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel | |
| Reasoning over health records with vadalog: a rule-based approach to patient pathways | 1-gen-2023 | P Dwyer, Owen; Baldazzi, Teodoro; Davies, Jim; Sallinger, Emanuel; Vlad, Adriano | |
| Semantic-aware query answering with Large Language Models | 1-gen-2025 | Atzeni, Paolo; Baldazzi, Teodoro; Bellomarini, Luigi; Laurenza, Eleonora; Sallinger, Emanuel | |
| Softening Ontological Reasoning with Large Language Models | 1-gen-2024 | Baldazzi, Teodoro; Benedetto, Davide; Bellomarini, Luigi; Sallinger, Emanuel; Vlad, Adriano | |
| Template-based explainable inference over high-stakes financial knowledge graphs | 1-gen-2025 | Colombo, Andrea; Baldazzi, Teodoro; Bellomarini, Luigi; Sallinger, Emanuel; Ceri, Stefano | |
| Vadalog: Overview, extensions and business applications | 1-gen-2023 | Baldazzi, Teodoro; Bellomarini, Luigi; Gerschberger, Markus; Jami, Aditya; Magnanimi, Davide; Nissl, Markus; Pavlović, Aleksandar; Sallinger, Emanuel |