Annotated Revision Programs.

V. Wiktor Marek Inna Pivkina Miroslaw Truszczynski

Published in: LPNMR (1999)

Keyphrases

belief revision
computer programs
control structures
revision operators
knowledge base
automatic programming
data mining
multiscale
belief change
theory revision
java programs
manually constructed
prolog programs