The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 27, 2010
Filed:
Aug. 04, 2005
Michael R. Genesereth, Palo Alto, CA (US);
Michael Kassoff, Mountain View, CA (US);
Nathaniel C. Love, San Francisco, CA (US);
Michael R. Genesereth, Palo Alto, CA (US);
Michael Kassoff, Mountain View, CA (US);
Nathaniel C. Love, San Francisco, CA (US);
The Board of Trustees of the Leland Stanford Junior University, Palo Alto, CA (US);
Abstract
A computerized spreadsheet system includes a set of cells and a separate set of logical constraints on the values of cells. The constraints may be many-to-many relationships that permit omni-directional propagation of values between cells. The constraints may be expressed in a language encompassing first-order logic. Cells are dynamically reclassified as base cells or computed cells as a user specifies values for cells. Non-explosive consequences of the base cell values are computed and displayed in computed cells, even when the values in the base cells are inconsistent with the constraints. The spreadsheet system may also include an auto-complete feature that automatically fills in empty cells with values consistent with the logical constraints and an auto-deconflict feature that automatically changes values in cells to reduce conflicts with the logical constraints.