the open
    research
    Contribute
    Back to the reading lists

    Classic AI: search, logic & planning· 1976

    The Semantics of Predicate Logic as a Programming Language

    Maarten H. van Emden (first author) · 1976

    Read the original

    DOI 10.1145/321978.321991OpenAlex W2108911687

    On the reading lists

    Why it matters

    Established operational and fixed-point semantics for logic programs.

    Condensed from the expert lists' notes.

    The record

    First released
    1976 (from OpenAlex)
    Citations
    1,450 citations, as counted by OpenAlex (CC0)
    Named by
    both expert lists
    Score
    0.355 · computed rank 464 · consensus 0.47, must-read 0, citations percentile 0.611 (1970s · classic-ai), awards 0, existing lists 0. Method

    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.