artifact
active
artifact:mccarthy-j-1986-applications-of-circumscription-to-formalizing-common-sense-knowledge

McCarthy, J. (1986): Applications of Circumscription to Formalizing Common Sense Knowledge

Paper on circumscription, used for limiting events in Elephant verification.

Neighborhood — ranked by edge-count

Papers (1)

paper

Concepts (1)

concept
  • John McCarthy
    authored
    Primary author proposing Elephant 2000 programming language based on speech acts and logical semantics.