Adding Closed World Assumptions to Well Founded Semantics.

Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício

Published in: FGCS (1992)

Keyphrases

closed world assumptions
closed world assumption
deductive databases
closed world
fixpoint semantics
databases
logic programs
fixpoint
logic programming
data exchange
normal logic programs
general logic programs
data sets
defeasible logic
query answering
database
datalog programs
stable models