Luigi Bellomarini

Marco Favorito

Proceedings of the Practical Aspects of Declarative Languages, 2024

"Please, Vadalog, tell me why": Interactive Explanation of Datalog-based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 27th International Conference on Extending Database Technology, 2024

Towards FATEful Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

LLM-based DatalogMTL Modelling of MiCAR-compliant Crypto-Assets Markets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), 2024

Explaining Enterprise Knowledge Graphs with Large Language Models and Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, 2024

2023

Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., May, 2023

KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2023

Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report).

[BibT_eX]

[DOI]

CoRR, 2023

The Company Control Problem, Reactively.

[BibT_eX]

[DOI]

Proceedings of the 31st Symposium of Advanced Database Systems, 2023

Fine-Tuning Large Enterprise Language Models via Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Reactive Company Control in Company Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

Smart Derivative Contracts in DatalogMTL.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 26th International Conference on Extending Database Technology, 2023

Reasoning over Financial Scenarios with the Vadalog System.

[BibT_eX]

[DOI]

Teodoro Baldazzi

Proceedings of the Proceedings 26th International Conference on Extending Database Technology, 2023

Model-Independent Design of Knowledge Graphs (short paper).

[BibT_eX]

[DOI]

Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022

Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2022

Vadalog: A modern architecture for automated reasoning with large knowledge graphs.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice.

[BibT_eX]

[DOI]

Francesco Paolo Conteduca

Ruslan R. Fayzrakhmanov

Future Gener. Comput. Syst., 2022

Reasoning on company takeovers: From tactic to strategy.

[BibT_eX]

[DOI]

Andrea Gentili

Rosario Laurendi

Davide Magnanimi

Michele Savini Zangrandi

Data Knowl. Eng., 2022

An Overview of Vadalog: a System for Reasoning over Large Knowledge Graphs.

[BibT_eX]

[DOI]

Davide Benedetto

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Reasoning in Warded Datalog+/- with Harmful Joins.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Vadalog: Overview, Extensions and Business Applications.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Causality, Explanations and Declarative Knowledge, 2022

The Temporal Vadalog System.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

Expressing Biological Problems with Logical Reasoning Languages.

[BibT_eX]

[DOI]

Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26, 2022

On the Relationship between Shy and Warded Datalog+/-.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

iTemporal: An Extensible Generator of Temporal Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

Towards Hybrid Logic-based and Embedding-based Reasoning on Financial Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, 2022

Neurosymbolic Reasoning: Building Neural Networks Using Datalog.

[BibT_eX]

[DOI]

Mattia Scaccia

Ilaria Stocchi

Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, 2022

Model-Independent Design of Knowledge Graphs - Lessons Learnt From Complex Financial Graphs.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Extending Database Technology, 2022

Heuristic-based Reasoning on Financial Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, 2022

Datalog-based Reasoning with Heuristics over Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

Query Evaluation in DatalogMTL - Taming Infinite Query Results.

[BibT_eX]

[DOI]

CoRR, 2021

Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-.

[BibT_eX]

[DOI]

CoRR, 2021

iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report).

[BibT_eX]

[DOI]

CoRR, 2021

Monotonic Aggregation for Temporal Datalog.

[BibT_eX]

[DOI]

Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021

Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges.

[BibT_eX]

[DOI]

Eliminating Harmful Joins in Warded Datalog+/-.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

A Reasoning Approach to Financial Data Exchange with Statistical Confidentiality.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2021

Distributed Company Control in Company Shareholding Graphs.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Data Engineering, 2021

Financial Data Exchange with Statistical Confidentiality: A Reasoning-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Extending Database Technology, 2021

2020

Reasoning in Knowledge Graphs: An Embeddings Spotlight.

[BibT_eX]

[DOI]

Sahar Vahdati

Proceedings of the Knowledge Graphs and Big Data Processing, 2020

Knowledge Graphs: The Layered Perspective.

[BibT_eX]

[DOI]

Sahar Vahdati

Proceedings of the Knowledge Graphs and Big Data Processing, 2020

COVID-19 and Company Knowledge Graphs: Assessing Golden Powers and Economic Impact of Selective Lockdown via AI Reasoning.

[BibT_eX]

[DOI]

CoRR, 2020

Reasoning Under Uncertainty in Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

Rule-based Anti-Money Laundering in Financial Intelligence Units: Experience and Vision.

[BibT_eX]

[DOI]

Eleonora Laurenza

Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June, 2020

Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs.

[BibT_eX]

[DOI]

Neither in the Programs Nor in the Data: Mining the Hidden Financial Knowledge with Knowledge Graphs and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Mining Data for Financial Applications - 5th ECML PKDD Workshop, 2020

Weaving Enterprise Knowledge Graphs: The Case of Company Ownership Graphs.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Extending Database Technology, 2020

Blockchains as Knowledge Graphs - Blockchains for Knowledge Graphs (Vision Paper).

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

Augmenting Logic-based Knowledge Graphs: The Case of Company Graphs.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

Traversing Knowledge Graphs with Good Old (and New) Joins.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

2019

Meta-Mappings for Schema Mapping Reuse.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

VADA: an architecture for end user informed data preparation.

[BibT_eX]

[DOI]

Nikolaos Konstantinou

Alvaro A. A. Fernandes

Georg Gottlob

John A. Keane

Norman W. Paton

J. Big Data, 2019

GAIA: A Framework for Schema Mapping Reuse (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Knowledge Graphs and Enterprise AI: The Promise of an Enabling Technology.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Datalog-based Reasoning for Knowledge Graphs.

[BibT_eX]

[DOI]

Georg Gottlob

Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019

2018

The Vadalog System: Datalog-based Reasoning for Knowledge Graphs.

[BibT_eX]

[DOI]

Georg Gottlob

Proc. VLDB Endow., 2018

Executable schema mappings for statistical data processing.

[BibT_eX]

[DOI]

Distributed Parallel Databases, 2018

Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Vadalog: A Language and System for Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Data Science with Vadalog: Bridging Machine Learning and Reasoning.

[BibT_eX]

[DOI]

Ruslan R. Fayzrakhmanov

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

The Vadalog System: Swift Logic for Big Data and Enterprise Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2017

Swift Logic for Big Data and Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

SAMIZDATA: A Scale-independent Data Management System for Time Series.

[BibT_eX]

[DOI]

Proceedings of the CAiSE 2016 Industry Track co-located with 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), 2016

2015

Handling high-dimensional data in statistical compilation: a relational approach.

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Data integration with Many Heterogeneous Sources and Dynamic Target Schemas (Extended Abstract).

[BibT_eX]

[DOI]