Login / Signup

Truth maintenance systems and their application for verifying Expert System Knowledge Bases.

Neli Zlatareva
Published in: Artif. Intell. Rev. (1992)
Keyphrases
  • knowledge base
  • expert systems
  • knowledge based systems
  • truth maintenance systems
  • logic programming
  • software engineering
  • logic programs
  • knowledge acquisition
  • belief revision