PrediCalc: A Logical Spreadsheet Management System.

Michael Kassoff Lee-Ming Zen Ankit Garg Michael R. Genesereth

Published in: VLDB (2005)

Keyphrases

management system
decision support system
microsoft excel
database management systems
artificial intelligence
logical operations
high level
real world
information systems
database systems
logical framework
logical properties
logical reasoning