Propositional Contexts.

Christo Dichev Trendafil Madarov

Published in: AIMSA (2000)

Keyphrases

first order logic
propositional logic
multi valued
probabilistic logic
disjunctive logic programming
database
data sets
social networks
computer vision
information systems
optimal solution
background knowledge
default logic
horn clauses
propositional variables