Panel on Semantics and Syntactics.

Anthony G. Oettinger

Published in: IFIP Congress (1962)

Keyphrases

formal semantics
semantic information
logical language
decision trees
logic programming
databases
real world
artificial intelligence
computer vision
logic programs
integrity constraints
temporal logic
operational semantics