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

A truth maintenance system

Jon Doyle · Artificial Intelligence · 1979 · 1.8K citations · Full text

Computing, Computer Science, Fault-tolerant Systems +5

An assumption-based TMS

Johan de Kleer · Artificial Intelligence · 1986 · 1.8K citations

Rule-based expert systems: The mycin experiments of the stanford heuristic programming project

William Swartout · Artificial Intelligence · 1985 · 1.2K citations

Computing, Computer Science, Artificial Intelligence +11

Problem solving with the ATMS

Johan de Kleer · Artificial Intelligence · 1986 · 245 citations

Business, Computer Systems, Operations Research +5

Checking an expert systems knowledge base for consistency and completeness

Tin A. Nguyen, W. A. Perkins, Thomas J. Laffey et al. · International Joint Conference on Artificial Intelligence · 1985 · 183 citations

Computing, Computer Science, Knowledge Capture +16