On a Uniform Logical Framework for Diagrammatic Reasoning.

Paolo Bottoni Bernd Meyer Francesco Parisi-Presicce

Published in: HCC (2001)

Keyphrases

logical framework
diagrammatic reasoning
inference rules
belief revision
symbolic reasoning
cognitive processes
structural analysis
reasoning tasks
optimal solution
human problem solving
data mining
expert systems
desirable properties