Begründungsverwaltung (Reason/Truth Maintenance).

Michael Reinfrank

Published in: Künstliche Intell. (1989)

Keyphrases

truth maintenance
truth maintenance systems
artificial intelligence
general purpose
knowledge base
search space
graphical models
np complete
video sequences
expert systems
fuzzy logic
propositional logic