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)
|