Annotated revision programs.

V. Wiktor Marek Inna Pivkina Miroslaw Truszczynski

Published in: Artif. Intell. (2002)

Keyphrases

belief revision
manually annotated
case study
knowledge base
automatic programming
website
high level
computer programs
programming environment
revision operators