Login / Signup
Natural Semantics.
Gilles Kahn
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