artifact
active
artifact:mccarthy-j-1979b-first-order-theories-of-individual-concepts-and-propositions

McCarthy, J. (1979b): First Order Theories of Individual Concepts and Propositions

Provides the Concept1 formalization used for knows-what.

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.