Epistemic Disjunctive Datalog for Querying Knowledge Bases.

Gianluca Cima Marco Console Maurizio Lenzerini Antonella Poggi

Published in: AAAI (2023)

Keyphrases

knowledge base
disjunctive logic programming
description logics
disjunctive datalog
databases
query language
belief change
knowledge representation
logic programming
expert systems
belief revision
database
machine learning
special case
model checking