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