Predicalc: A logical spreadsheet management system

Authors:
Michael Kassoff;Michael r. Genesereth
Affiliations:
Gates hall, computer science department, stanford university, stanford, ca 94305, usa e-mail: mkassoff@stanford.edu, genesereth@stanford.edu;Gates hall, computer science department, stanford university, stanford, ca 94305, usa e-mail: mkassoff@stanford.edu, genesereth@stanford.edu
Venue:
The Knowledge Engineering Review
Year:
2007

Citing 10
Cited 3

LogiCalc: a prolog spreadsheet

Machine intelligence 11
A spreadsheet interface for logic programming

CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
HILOG: a foundation for higher-order logic programming

Journal of Logic Programming
Argumentative logics: reasoning with classically inconsistent information

Data & Knowledge Engineering
Infomaster: an information integration system

SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Differential Relational Calculus for Integrity Maintenance

IEEE Transactions on Knowledge and Data Engineering
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
PrediCalc: a logical spreadsheet management system

VLDB '05 Proceedings of the 31st international conference on Very large data bases
Computational law

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
An introduction to logical spreadsheets

The Knowledge Engineering Review

Plato: a compiler for interactive web forms

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
A spreadsheet-based user interface for managing plural relationships in structured data

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Consistency and provenance in rule processing

RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web

Quantified Score

Hi-index	0.00

Visualization

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.