Reason Maintenance Systems.

Michael Reinfrank

Published in: Begründungsverwaltung (1986)

Keyphrases

reason maintenance
truth maintenance systems
search algorithm
expert systems
special case
linear programming