The Extended Closed World Assumpution and its Relationship to Parallel Circumscription.

Michael Gelfond Halina Przymusinska Teodor C. Przymusinski

Published in: PODS (1986)

Keyphrases

closed world
stable model semantics
open world
closed world assumption
closed world assumptions
data exchange
logic programs
derivation rules
answer set programming
stable models
default logic
deductive databases
answer sets
null values
nonmonotonic reasoning
multi agent systems
propositional logic
xml documents