The Deductive Spreadsheet

• Main Author: Cervesato, Iliano (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Cognitive Technologies,
• Subjects: Computer science.; Information technology.; Business > Data processing.; Computer programming.; Computers.; Artificial intelligence.; Application software.; Computer Science.; Information Systems and Communication Service.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; IT in Business.; Computer Appl. in Administrative Data Processing.

This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal tr...

Table of Contents:

• Chap. 1 Introduction
• Chap. 2  Requirements
• Part I. Deductive Engine
• Chap. 3 The Traditional Spreadsheet
• Chap. 4 The Relational Spreadsheet
• Chap. 5 The Logical Spreadsheet
• Chap. 6 The Deductive Spreadsheet
• Part II. User Interface 184
• Chap. 7 The Traditional Interface
• Chap. 8 Cognitive Interface Design
• Chap. 9 Toward a Deductive Interface
• Chap. 10 Preliminary Experiments
• Chap. 11 Future Developments.