Four-Valued Semantics for Deductive Databases.

Dominique Laurent Nicolas Spyratos

Published in: CoRR (2021)

Keyphrases

deductive databases
valued semantics
logical implication
integrity constraints
consistent query answering
logic programming
default logic
query evaluation
fixpoint
model theoretic
logic programs
query answering
databases
knowledge representation
query processing
dl lite
expert systems
high level
knowledge base