Some results on theory revision.

Published in: The Logic of Theory Change (1989)

Keyphrases

theory revision
knowledge base
concept learning
background knowledge
knowledge based systems
revision operators
event calculus
domain theory
high level
expert systems
artificial intelligence
domain knowledge