Deriving sound inference rules for concept diagrams.

Peter Chapman Gem Stapleton John Howse Ian Oliver

Published in: VL/HCC (2011)

Keyphrases

inference rules
set of inference rules
first order logic
theorem prover
modal logic
theorem proving
logical framework
logic programming language
databases
conditional probabilities
probabilistic knowledge
sequent calculus
learning algorithm
data sets
binary relations
truth values
natural deduction