Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
3.9CiteScore
1.3Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
2007 Volume 22
Article Contents
Next Previous
RESEARCH ARTICLE   Open Access    

PrediCalc: a logical spreadsheet management system

More Information
  • Abstract: In this article, we describe PrediCalc, a logical spreadsheet that allows for many-to-many constraints and propagation in all directions. We explain PrediCalc’s update mechanism and PrediCalc’s unique approach to handling inconsistencies between the spreadsheet values and the spreadsheet formulas. We have developed a paraconsistent entailment relation for the purpose of computing the consequences of PrediCalc’s value assignments under inconsistency.We close with thoughts on the prospects of logical spreadsheets on the World Wide Web, and describe our initial Websheet prototypes.
  • 加载中
  • Chen W., Kifer M. and Warren D.1993HILOG: a foundation for higher-order logic programming. Journal of Logic Programming,15(3), 187–230.

    Google Scholar

    Elvang-Gøransson M. and Hunter A.1995Argumentative logics: reasoning with classically inconsistent information. Data and Knowledge Engineering16(2), 125–145.

    Google Scholar

    Enderton H.2000A Mathematical Introduction to Logic, 2nd edn. Academic Press, New York 2000.

    Google Scholar

    Felfernig A., Friedrich G., Jannach D., Russ C. and Zanker M.2003Developing Constraint-Based Applications with Spreadsheets. IEA/AIE 2003, pp. 197–207.

    Google Scholar

    Fischer G. and Rathke C.1988Knowledge-Based Spreadsheets. AAAI 1988, pp. 802–807.

    Google Scholar

    Genesereth M. R.1995Epilog for Lisp 2.0 Manual. Palo Alto, CA: Epistemics Inc.

    Google Scholar

    Genesereth M. R., Keller A., & Duschka O.1997Infomaster: An Information Integration System. SIGMOD1997, pp. 539–542.

    Google Scholar

    Gupta G. and Akhter S.2000Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. PADL 2000, pp. 308–323.

    Google Scholar

    Hilliger von Thile A. and Melzer M.2005Smart Files: Combining the Advantages of DBMS and WfMS with the Simplicity and Flexibility of Spreadsheets. BTW 2005, pp. 175–184.

    Google Scholar

    Kassoff M. and Valente A.2007An Introduction to Logical Spreadsheets. The Knowledge Engineering Review, 22, 213–219.

    Google Scholar

    Kassoff M., Zen L., Garg A., & Genesereth M. R.2005PrediCalc: A Logical Spreadsheet Management System. VLDB 2005, pp. 1247–1250.

    Google Scholar

    Kriwaczek F.1988LogiCalc: a prolog spreadsheet. Machine Intelligence, 11,193–208.

    Google Scholar

    Love N. and Genesereth M. R.2005Computational Law. ICAIL 2005, pp. 205–209.

    Google Scholar

    Orman L. V.1998Differential Relational Calculus for Integrity Maintenance. IEEE Trans. Knowl. Data Eng.10(2): 328–341.

    Google Scholar

    Pu P. and Faltings B.2002 Effective interaction principles for user-involved constraint problem solving. In Second International Workshop on User-Interaction in Constraint Satisfaction, CP 2002, pp. 77–91.

    Google Scholar

    Russell S. and Norvig P.2003Artificial Intelligence: A Modern Approach. 2nd edn. Englewood Cliffs, NJ: Prentice-Hall.

    Google Scholar

    Spenke M. and Beilken C.1989A Spreadsheet Interface for Logic Programming. CHI 1989, pp. 75–80.

    Google Scholar

  • Cite this article

    MICHAEL KASSOFF, MICHAEL R. GENESERETH. 2007. PrediCalc: a logical spreadsheet management system. The Knowledge Engineering Review. 22:1154 doi: 10.1017/S0269888907001154
    MICHAEL KASSOFF, MICHAEL R. GENESERETH. 2007. PrediCalc: a logical spreadsheet management system. The Knowledge Engineering Review. 22:1154 doi: 10.1017/S0269888907001154
    shu
Download PDF

Article Metrics

Article views(29) PDF downloads(114)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

PrediCalc: a logical spreadsheet management system

  • Published online: 01 September 2007
The Knowledge Engineering Review  22,  Article number: 10.1017/S0269888907001154  (2007)  |  Cite this article

Abstract: Abstract: In this article, we describe PrediCalc, a logical spreadsheet that allows for many-to-many constraints and propagation in all directions. We explain PrediCalc’s update mechanism and PrediCalc’s unique approach to handling inconsistencies between the spreadsheet values and the spreadsheet formulas. We have developed a paraconsistent entailment relation for the purpose of computing the consequences of PrediCalc’s value assignments under inconsistency.We close with thoughts on the prospects of logical spreadsheets on the World Wide Web, and describe our initial Websheet prototypes.

    HTML

    Rights and permissions
    • Copyright © Cambridge University Press 20072007Cambridge University Press
References (17)
  • About this article
    Cite this article
    MICHAEL KASSOFF, MICHAEL R. GENESERETH. 2007. PrediCalc: a logical spreadsheet management system. The Knowledge Engineering Review. 22:1154 doi: 10.1017/S0269888907001154
    MICHAEL KASSOFF, MICHAEL R. GENESERETH. 2007. PrediCalc: a logical spreadsheet management system. The Knowledge Engineering Review. 22:1154 doi: 10.1017/S0269888907001154
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return