Spreadsheets with Incremental Queries as a user interface for logic programming

Emden, Maarten H. van; Ohki, Masaru; Takeuchi, Akikazu

doi:10.1007/bf03037408

Cited by 24 publications

(8 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the research community, investigators have used the spreadsheet interface as a model for other types of systems, such as the logic programming spreadsheet of Spenke and Beilken (1989). Lewis andOlson (1987-1988), Piersol (1986), andVan Emden, Ohki, andTakeuchi (1985) have also built other kinds of prototypes that leverage off the spreadsheet model.…”

Section: Introductionmentioning

confidence: 99%

An ethnographic study of distributed problem solving in spreadsheet development

Nardi

Miller

1990

Proceedings of the 1990 ACM Conference on Computer-Supported Cooperative Work - CSCW '90

View full text Add to dashboard Cite

In contrast to the common view of spreadsheets as "single-user" programs, we have found that spreadsheets offer surprisingly strong support for cooperative development of a wide variety of applications. Ethnographic interviews with spreadsheet users showed that nearly all of the spreadsheets used in the work environments studied were the result of collaborative work by people with different levels of programming and domain expertise. Cooperation among spreadsheet users was spontaneous and casual; users activated existing informal social networks to initiate collaboration.

show abstract

Section: Introductionmentioning

confidence: 99%

An ethnographic study of distributed problem solving in spreadsheet development

Nardi

Miller

1990

Proceedings of the 1990 ACM Conference on Computer-Supported Cooperative Work - CSCW '90

View full text Add to dashboard Cite

show abstract

“…capabilities (see Krywaczek, 1985;van Emden et al, 1986;Cheng et al, 1988;West & Babb, 1990). However, we do not consider the logic language as a representation language available to the user, instead we rely on the standard spreadsheet environment both to acquire the knowledge and to generate the tutoring facilities.…”

Section: Methodsmentioning

confidence: 96%

“…In addition, much work in this area is focused on various kinds of extensions of the spreadsheet model to improve the e!ectiveness of spreadsheets as development environments. Among the proposals in this "eld we "nd graphical (Hendry & Green, 1994;Re!, 1994), object-oriented (Fischer & Rathke, 1988), logic-programming languages (Krywaczek, 1985;van Emden et al, 1986;Cheng et al, 1988;West & Babb, 1990) and, more recently, constraint-solving (Hyvonen & De Pascale, 1999). In particular, the work on logic-based spreadsheets has in common with our work the use of logic programming, that will be discussed later on.…”

Section: Costsmentioning

confidence: 97%

Self-instructive spreadsheets: an environment for automatic knowledge acquisition and tutor generation

Lentini

Nardi

Simonetta

2000

International Journal of Human-Computer Studies

View full text Add to dashboard Cite

“…A few years later, van Emden proposed using the concept of incremental query, by which a standard Prolog query can be refined interactively, for solving spreadsheet-like problems (van Emden, Ohki & Takeuchi 1986). The proof-of-concept Prolog implementation realized core spreadsheet functionalities as well as exploratory logic programming, but made use of the (still non-graphical) matrix display of the spreadsheet only for output, one solution at a time.…”

Section: -2004mentioning

confidence: 99%

NEXCEL, a deductive spreadsheet

Cervesato

2007

The Knowledge Engineering Review

View full text Add to dashboard Cite

Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion dollar budgets. One thing spreadsheets are not very good at is manipulating symbolic data and helping users make decisions based on them. By tapping into recent research in Logic Programming, Databases and Cognitive Psychology, we propose a deductive extension to the spreadsheet paradigm which addresses precisely this issue. The accompanying tool, which we call NEXCEL, is intended as an automated assistant for the daily reasoning and decision-making needs of computer users, in the same way as a spreadsheet application such as Microsoft Excel assists them every day with calculations simple and complex. Users without formal training in Logic or even Computer Science can interactively define logical rules in the same simple way as they define formulas in Excel. NEXCEL immediately evaluates these rules thereby returning lists of values that satisfy them, again just like with numerical formulas. The deductive component is seamlessly integrated into the traditional spreadsheet so that a user not only still has access to the usual functionalities, but is able to use them as part of the logical inference and, dually, to embed deductive steps in a numerical calculation.

show abstract

Spreadsheets with Incremental Queries as a user interface for logic programming

Cited by 24 publications

References 0 publications

An ethnographic study of distributed problem solving in spreadsheet development

An ethnographic study of distributed problem solving in spreadsheet development

Self-instructive spreadsheets: an environment for automatic knowledge acquisition and tutor generation

NEXCEL, a deductive spreadsheet

Contact Info

Product

Resources

About