Logical Relations for PCF.

Published in: Arch. Formal Proofs (2012)

Keyphrases

logical structure
multiscale
binary relations
genetic algorithm
semantic relations
conceptual graphs
logical reasoning
data sets
truth values
causal relations
probabilistic logic
temporal relations
spatial relations
natural language processing
search algorithm
computer vision
artificial intelligence