Natural Semantics.

Published in: STACS (1987)

Keyphrases

formal semantics
logic programming
semantic information
computer vision
artificial systems
real time
information retrieval
evolutionary algorithm
high level
default reasoning
nonmonotonic logics
model theoretic