MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations.

Matthias Lanzinger Stefano Sferrazza Georg Gottlob

Published in: CoRR (2022)

Keyphrases

rule based reasoning
case based reasoning
expressive power
databases
artificial intelligence
knowledge representation
data management
decision making
query language
domain specific
formal semantics