Logical Spreadsheets

Mike Kassoff

Stanford University

[Home Page]

Notice:  hosted by Vinay Chaudhri

Date:  Tuesday August 01, 2006 at 16:00

Location:  EJ291  (Directions)

A Logical Spreadsheet is a spreadsheet whose formula language consists of logical formuale. In this talk, I will describe PrediCalc, a logical spreadsheet system that allows for many-to-many constraints and propagation in all directions. To deal with inconsistency, PrediCalc uses a new paraconsistent notion called Existential Omega-entailment. I will also talk about our current work on Web-based logical spreadsheets, or Websheets.

Michael Kassoff is a PhD candidate in the Computer Science Department of Stanford University. His advisor is Michael Genesereth. He has a Masters in Computer Science from Stanford University and a Bachelor of Arts from Cornell University, where he majored in (you guessed it) Computer Science.

Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.