Tableaux for Diagrammatic Reasoning.

Octavian Patrascoiu Simon J. Thompson Peter Rodgers

Published in: DMS (2005)

Keyphrases

diagrammatic reasoning
symbolic reasoning
structural analysis
cognitive processes
modal logic
functional dependencies
decision procedures
human problem solving
production rules
decision trees
integrity constraints
search space
symbolic representation