PrediCalc: a logical spreadsheet management system

Computerized spreadsheets are a great success. They are often touted in newspapers and magazine articles as the first "killer app" for personal computers. Over the years, they have proven their worth time and again. Today, they are used for managing enterprises of all sorts - from one-person projects to multi-institutional conglomerates.

[1]  Jan Chomicki,et al.  Query Answering in Inconsistent Databases , 2003, Logics for Emerging Applications of Databases.

[2]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[3]  Michael R. Genesereth,et al.  Infomaster: an information integration system , 1997, SIGMOD '97.

[4]  Ernest Teniente,et al.  A Survey of Current Methods for Integrity Constraint Maintenance and View Updating , 1999, ER.

[5]  Boi Faltings,et al.  Effective Interaction Principles for User-Involved Constraint Problem Solving , 2002 .

[6]  George Boolos,et al.  Computability and logic , 1974 .

[7]  George Boolos,et al.  Computability and logic: 3rd ed. , 1989 .

[8]  Gopal Gupta,et al.  Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs , 2000, PADL.

[9]  S ERETH.  PrediCalc : a logical spreadsheet management system , 2007 .

[10]  Michael Spenke,et al.  A spreadsheet interface for logic programming , 1989, CHI '89.

[11]  Ingo Melzer,et al.  Smart Files: Combining the Advantages of DBMS and WfMS with the Simplicity and Flexibility of Spreadsheets , 2005, BTW.

[12]  Morten Elvang-Gøransson,et al.  Argumentative Logics: Reasoning with Classically Inconsistent Information , 1995, Data Knowl. Eng..

[13]  Levent V. Orman.  Differential Relational Calculus for Integrity Maintenance , 1998, IEEE Trans. Knowl. Data Eng..

[14]  Levent V. Orman,et al.  Transaction Repair for Integrity Enforcement , 2001, IEEE Trans. Knowl. Data Eng..

[15]  Michael R. Genesereth,et al.  Computational law , 2005, ICAIL '05.

[16]  F. Kriwaczek.  LogiCalc: a prolog spreadsheet , 1988 .

[17]  André Valente,et al.  An introduction to logical spreadsheets , 2007, Knowl. Eng. Rev..

[18]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[19]  Gerhard Fischer,et al.  Knowledge-Based Spreadsheets , 1988, AAAI.

[20]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[21]  Jan Chomicki,et al.  Answer sets for consistent query answering in inconsistent databases , 2002, Theory and Practice of Logic Programming.

[22]  Gerhard Friedrich,et al.  Developing Constraint-Based Applications with Spreadsheets , 2003, IEA/AIE.