An Algebraic Formulation of Knuthian Semantics

Laurian M. Chirica David F. Martin

Published in: FOCS (1976)

Keyphrases

formal semantics
data sets
logic programming
data exchange
neural network
artificial intelligence
optimization procedure
semantic representation