Displacement logic for anaphora.

Glyn Morrill Oriol Valentín

Published in: J. Comput. Syst. Sci. (2014)

Keyphrases

logic programming
modal logic
automated reasoning
neural network
multi valued
predicate logic
chinese texts
case study
proof theory
optical flow
sound and complete axiomatization
delay insensitive
linear logic
truth values
defeasible logic
image sequences
computer vision
genetic algorithm
real world