A Spreadsheet for Everyday Symbolic Reasoning.

Iliano Cervesato

Published in: AAAI Fall Symposium: Integrating Reasoning into Everyday Applications (2006)

Keyphrases

symbolic reasoning
symbolic representation
production rules
microsoft excel
diagrammatic reasoning
truth maintenance systems
expert systems
knowledge discovery
multistage
fixed point
inference mechanism