Login / Signup
Minimal Change and Bounded Incremental Parsing.
Mats Wirén
Published in:
CoRR (1994)
Keyphrases
</>
minimal change
belief revision
belief change
belief update
logic program updates
reasoning about actions
model theoretic
natural language
update operations
action theories
propositional knowledge base
propositional logic
description logics
knowledge base
belief base
normal form
probability distribution