PrediCalc: A logical spreadsheet management system

Knowledge Engineering Review

Volumn 22, Issue 3, 2007, Pages 281-295

  Kassoff, Michael ^a   Genesereth, Michael R ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; INFORMATION MANAGEMENT; INFORMATION RETRIEVAL SYSTEMS; SOFTWARE PROTOTYPING;

PREDICALC; PREDICALCS VALUE ASSIGNMENTS; SPREADSHEET FORMULAS;

SPREADSHEETS;

EID: 43449128431     PISSN: 02698889     EISSN: 14698005     Source Type: Journal    
DOI: 10.1017/S0269888907001154     Document Type: Article

References (17)

1. Chen, W., Kifer, M. and Warren, D. 1993 HILOG: a foundation for higher-order logic programming. Journal of Logic Programming, 15(3), 187-230.
2. Elvang-Gøransson, M. and Hunter, A. 1995 Argumentative logics: reasoning with classically inconsistent information. Data and Knowledge Engineering, 16(2), 125-145.
3. Enderton, H. 2000 A Mathematical Introduction to Logic, 2nd edn. Academic Press, New York 2000.
4. Felfernig, A., Friedrich, G., Jannach, D., Russ, C. and Zanker, M. 2003 Developing Constraint-Based Applications with Spreadsheets. IEA/AIE 2003, pp. 197-207.
5. Fischer, G. and Rathke, C. 1988 Knowledge-Based Spreadsheets. AAAI 1988, pp. 802-807.
6. Genesereth, M. R. 1995 Epilog for Lisp 2.0 Manual. Palo Alto, CA: Epistemics Inc.
7. Genesereth, M. R., Keller, A., & Duschka, O. 1997 Infomaster: An Information Integration System. SIGMOD1997, pp. 539-542.
8. Gupta, G. and Akhter, S. 2000 Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. PADL 2000, pp. 308-323.
9. Hilliger von Thile, A. and Melzer, M. 2005 Smart Files: Combining the Advantages of DBMS and WfMS with the Simplicity and Flexibility of Spreadsheets. BTW 2005, pp. 175-184.
10. Kassoff, M. and Valente, A. 2007 An Introduction to Logical Spreadsheets. The Knowledge Engineering Review, 22, 213-219.
11. Kassoff, M., Zen, L., Garg, A., & Genesereth, M. R. 2005 PrediCalc: A Logical Spreadsheet Management System. VLDB 2005, pp. 1247-1250.
12. Kriwaczek, F. 1988 LogiCalc: a prolog spreadsheet. Machine Intelligence, 11, 193-208.
13. Love, N. and Genesereth, M. R. 2005 Computational Law. ICAIL 2005, pp. 205-209.
14. Orman, L. V. 1998 Differential Relational Calculus for Integrity Maintenance. IEEE Trans. Knowl. Data Eng. 10(2): 328-341.
15. 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.
16. Russell, S. and Norvig, P. 2003 Artificial Intelligence: A Modern Approach. 2nd edn. Englewood Cliffs, NJ: Prentice-Hall.
17. Spenke, M. and Beilken, C. 1989 A Spreadsheet Interface for Logic Programming. CHI 1989, pp. 75-80.