Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic Inference.

Michael Reinfrank Hartmut Freitag

Published in: FGCS (1988)

Keyphrases

reason maintenance
truth maintenance systems
inference mechanism
inference engine
production rules
rule sets
default logic
bayesian networks
constraint propagation
nonmonotonic reasoning
knowledge base
association rules
machine learning
rule base
temporal reasoning
business rules