Preferred History Semantics for Iterated Updates.

Shai Berger Daniel Lehmann Karl Schlechta

Published in: J. Log. Comput. (1999)

Keyphrases

update semantics
formal semantics
logic programming
neural network
default reasoning
data mining
case study
database updates
high level
transformation rules