Logical Spreadsheets

A Logical Spreadsheet is a spreadsheet in which the formula language is expanded from function definitions to logical constraints.

The Stanford Logic Group is currently working on an implementation of a logical spreasdheet, called PrediCalc.

Logical Spreasdheet project group members:

Michael Kassoff (PhD candidate)

Michael Genesereth (Professor)

Ankit Garg (Undergrad)

Lee-Ming Zen (Undergrad)

Publications:

Michael Kassoff, Lee-Ming Zen, Ankit Garg, and Michael Genesereth, "PrediCalc: A Logical Spreadsheet Management System," 31st International Conference on Very Large Databases (VLDB), Trondheim, Norway, 2005.

Talks:

Michael Genesereth gave an invited lecture on logical spreadsheets at NCSU in November 2004. A video of the talk is available online.

Events:

The Workshop on Logical Spreadsheets (WOLS'05) was held September 22-23, 2005 at Stanford University.

Press:

To see an interactive example of a logical spreadsheet, see the May issue of the AI Expert newsletter.