The Deductive Spreadsheet

• Main Author: Cervesato, Iliano. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Cognitive Technologies,
• Subjects: Computer science.; Information systems.; Artificial intelligence.; Management information systems.; Computer Science.; Information Systems and Communication Service.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; Business Information Systems.; Computer Appl. in Administrative Data Processing.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-37747-1

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.