2011 Poster Sessions : Logical Spreadsheets

Student Name : Michael Kassoff
Advisor : Mike Genesereth
Research Areas: Artificial Intelligence
Spreadsheets today have significant and unnecessary restrictions that limit their usefulness. One significant restriction is that the formulas used to specify calculations must be functions. Another unnecessary restriction is that propagation can only occur in one direction. We can lift these restrictions, allowing for many-to-many logical constraints and multidirectional propagation. We call such a spreadsheet a logical spreadsheet.

Michael Kassoff is a PhD student in the Logic Group. His advisor is Michael Genesereth.