A Case Study on Logical Relations using Contextual Types.

Andrew Cave Brigitte Pientka

Published in: LFMTP (2015)

Keyphrases

case study
evolutionary algorithm
test bed
similarity measure
logical structure
real time
databases
neural network
social networks
natural language processing
contextual information
multiple types
probabilistic logic
causal relations