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:

Publications:

Michael Kassoff and Andre Valente, "An Introduction to Logical Spreadsheets." Knowledge Engineering Review, Cambridge University Press, Volume 22, Issue 3, September 2007, pp. 213-219.

Michael Kassoff and Michael R. Genesereth, "PrediCalc: A Logical Spreadsheet Management System." Knowledge Engineering Review, Cambridge University Press, Volume 22, Issue 3, September 2007, pp. 281-295.

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, 1247-1250.

T. L. Hinrichs, J.-Y. (Eric) Kao, and M. Genesereth. "Inconsistency-tolerant reasoning with classical logic and large databases." The Eighth Symposium on Abstraction, Reformulation and Approximation (SARA), Lake Arrowhead, CA. 2009.

J.-Y. (Eric) Kao."Computing query answers with consistent support proposal." SIGMOD Third PhD Workshop on Innovative Database Research (IDAR), Providence, RI. 2009.

Working papers:

Eric Kao and Michael Genesereth. "Answers with Consistent Support - Complexity and Query Rewriting." Working paper.

Demos:

A small demo that accompanies Michael Genesereth's keynote at RuleML-2010 is available here.

How to turn your webpage into a logical spreadsheet.

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.

Patent:

US. Pat. No.: 7707486 "Logical Spreadsheets" (4/27/2010)