Designing inference rules for spider diagrams.

Gem Stapleton Mateja Jamnik Matej Urbas

Published in: VL/HCC (2013)

Keyphrases

inference rules
first order logic
modal logic
logic programming language
truth values
logical framework
theorem proving
theorem prover
horn clauses
conditional probabilities
probabilistic knowledge
learning algorithm
text classification
small number
pairwise
decision trees
artificial intelligence