A Unified Framework for Representing Logic Program Updates.

Yan Zhang Norman Y. Foo

Published in: AAAI (2005)

Keyphrases

logic program updates
logic programs
minimal change
database
state space
database systems
bayesian networks