Login / Signup
An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets.
Dietmar Seipel
Published in:
LPAR (1994)
Keyphrases
</>
closed world assumption
closed world assumptions
deductive databases
data mining
end users
logic programs
data exchange
horn clauses
databases
bayesian networks
general purpose
logic programming
stable models
fixpoint semantics
open world assumption