Categorial Semantics For LFG.

Published in: COLING (1992)

Keyphrases

logic programming
formal semantics
semantic information

real time
proof theory
database

artificial intelligence
knowledge base
image sequences

specification language
transformation rules