Login / Signup

Structure-Driven Algorithms for Truth Maintenance.

Rina DechterAvi Dechter
Published in: Artif. Intell. (1996)
Keyphrases
  • truth maintenance
  • search algorithm
  • modal logic