An Experimental Comparison of Diagrammatic and Algebraic Logics.

Daniel Winterstein Alan Bundy Corin A. Gurr Mateja Jamnik

Published in: Diagrams (2004)

Keyphrases

expressive power
modal logic
multiscale
propositional dynamic logic
nonmonotonic logics
default logic
diagrammatic reasoning
propositional calculus
symbolic reasoning
conditional logic
linear algebra
cognitive processes
artificial intelligence
inference rules
evolutionary algorithm
data structure
image sequences