Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Logical Spreadsheets

Mike KassoffStanford University[Home Page]

Notice:  hosted by Vinay Chaudhri

Date:  2006-08-01 at 16:00

Location:  EJ291  (Directions)

   Abstract

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.

   Bio for Mike Kassoff

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.

   On-line Resources