Minimal Change and Bounded Incremental Parsing.

Published in: COLING (1994)

Keyphrases

minimal change
belief revision
belief change
logic program updates
belief update
update operations
action theories
ctl model update
reasoning about actions
model theoretic
propositional knowledge base
default reasoning
natural language
database
propositional logic
relational databases
expert systems