User programmable deductive spreadsheet apparatus which supports solutions to circular definitions

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 7761782
SERIAL NO

11257923

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

A user programmable deductive spreadsheet is implemented as an add-in to an existing mathematical spreadsheet program and allows the use of a logic programming language such as Prolog via a familiar spreadsheet interface. A syntax is provided whereby a set of multiple values can be stored in a cell and can be operated on recursively by an expression in another cell. Rows and columns can be given user defined names and cells can be referenced by row and column name. Cells can reference cells in other spreadsheets or can reference an entire spreadsheet in one cell. A cell expression can reference itself. Logical, arithmetic, and lifted operators are provided. Spreadsheets can be defined as a transformation of another spreadsheet. When no negative or aggregate operators are used in the cell expressions, the meaning of the spreadsheet is given in terms of least fixed points. Otherwise, the meaning is given in terms of perfect models.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

Patent OwnerAddress
XSB INC21 BENNETTS ROAD SUITE 100 SETAUKET NY 11733

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Ramakrishnan, Coimbatore Rajamani Mount Sinai, US 1 23
Ramakrishnan, Iyer Venkat Setauket, US 1 23
Warren, David S Stony Brook, US 14 186

Cited Art Landscape

Load Citation

Patent Citation Ranking

Forward Cite Landscape

Load Citation