Login / Signup

A truth maintenance system for supporting constraint-based reasoning.

Vasant Dhar
Published in: Decis. Support Syst. (1989)
Keyphrases
  • truth maintenance systems
  • symbolic reasoning
  • inference mechanism
  • propositional logic
  • nonmonotonic reasoning
  • constraint propagation
  • linear programming
  • autoepistemic logic
  • knowledge base
  • default logic