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)
Eric Kao (PhD candidate)
Michael Genesereth (Professor)


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.


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

How to turn your webpage into a logical spreadsheet.


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


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


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


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