Back to the reading lists

    Classic AI: search, logic & planning· 1979

    A truth maintenance system

    Jon Doyle (first author) · 1979

    Read the original

    DOI 10.1016/0004-3702(79)90008-0OpenAlex W1976303542

    On the reading lists

    Why it matters

    Established dependency tracking and belief revision for reasoning systems.

    Condensed from the expert lists' notes.

    The record

    First released
    1979 (from OpenAlex)
    Citations
    1,785 citations, as counted by OpenAlex (CC0)
    Named by
    both expert lists
    Score
    0.471 · computed rank 266 · consensus 0.56, must-read 0.5, citations percentile 0.722 (1970s · classic-ai), awards 0, existing lists 0. Method

    Editor's notes

    • Readability check: pass: Doyle's TMS, a classic of knowledge representation. (AI draft (Claude), not yet reviewed, 2026-10-29)

    Data sources

    Catalogue data from OpenAlex (CC0), Crossref (CC0 metadata; no abstracts are shown), arXiv, and Papers With Code (CC BY-SA 4.0). Each count names its source. See the method.