Datalog: concepts, history, and outlook
This chapter is a survey of the history and the main concepts of Datalog. We begin with an
introduction to the language and its use for database definition and querying. We then look …
introduction to the language and its use for database definition and querying. We then look …
Federated learning over harmonized data silos
Federated Learning is a distributed machine learning approach that enables geographically
distributed data silos to collaboratively learn a joint machine learning model without sharing …
distributed data silos to collaboratively learn a joint machine learning model without sharing …
On the relationship between shy and warded datalog+/-
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 …
expressive power, underpinned by a simple syntax and the support for full recursion …
Existential active integrity constraints
Active integrity constraints (AICs) are a useful formalism to express integrity constraints and
policies to restore consistency in databases violating them. However, AICs do not allow …
policies to restore consistency in databases violating them. However, AICs do not allow …
[PDF][PDF] Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs.
When some country takes a disproportionate hit by a largescale turmoil—just like Italy did
during the COVID-19 pandemics—the share prices of its companies plunge. Suddenly, it …
during the COVID-19 pandemics—the share prices of its companies plunge. Suddenly, it …
Reasoning under uncertainty in knowledge graphs
We provide a framework for probabilistic reasoning in Vadalog-based Knowledge Graphs
(KGs), able to satisfy the requirements of ontological reasoning: full recursion, powerful …
(KGs), able to satisfy the requirements of ontological reasoning: full recursion, powerful …
[PDF][PDF] Knowledge representation and reasoning: What's hot
Knowledge Representation and Reasoning: What's Hot Page 1 Knowledge Representation
and Reasoning: What’s Hot Chitta Baral Arizona State University Arizona, USA chitta@asu.edu …
and Reasoning: What’s Hot Chitta Baral Arizona State University Arizona, USA chitta@asu.edu …
Generative datalog with continuous distributions
Arguing for the need to combine declarative and probabilistic programming, Bárány et
al.(TODS 2017) recently introduced a probabilistic extension of Datalog as a “purely …
al.(TODS 2017) recently introduced a probabilistic extension of Datalog as a “purely …
A structural benchmark for logical argumentation frameworks
This paper proposes a practically-oriented benchmark suite for computational
argumentation. We instantiate abstract argumentation frameworks with existential rules, a …
argumentation. We instantiate abstract argumentation frameworks with existential rules, a …
Chasing streams with existential rules
We study reasoning with existential rules to perform query answering over streams of data.
On static databases, this problem has been widely studied, but its extension to rapidly …
On static databases, this problem has been widely studied, but its extension to rapidly …