Sign in
A Unifying Logical Framework for Reason Maintenance.
Detlef Fehrer
Published in:
ECSQARU (1993)
Keyphrases
</>
logical framework
reason maintenance
belief revision
inference rules
truth maintenance systems
reasoning tasks
propositional logic
default reasoning
nonmonotonic reasoning
knowledge base
bayesian networks
constraint propagation