Measuring User Comprehension of Inference Rules in Euler Diagrams.

Sven Linker Jim Burton Andrew Blake

Published in: Diagrams (2016)

Keyphrases

inference rules
first order logic
modal logic
theorem proving
sequent calculus
logical framework
theorem prover
conditional probabilities
artificial intelligence
database
user defined
knowledge representation
probabilistic model
binary relations
databases
truth values
data sets