4-Valued Semantics Under the OWA: A Deductive Database Approach.

Dominique Laurent

Published in: ISIP (2019)

Keyphrases

deductive databases
valued semantics
logical implication
integrity constraints
consistent query answering
logic programming
default logic
aggregation operators
fixpoint
query evaluation
query answering
functional dependencies
reasoning tasks
stable models
logic programs
high level
model theoretic
expert systems