A Logic for Closed-World Interaction.

Jan M. Broersen Rosja Mastop John-Jules Ch. Meyer Paolo Turrini

Published in: JELIA (2008)

Keyphrases

closed world
closed world assumptions
open world
derivation rules
databases
closed world assumption
data exchange
null values
logic programming
integrity constraints
modal logic
query evaluation
multi agent
multi valued
predicate logic
data mining
database