The Deductive Spreadsheet

• Κύριος συγγραφέας: Cervesato, Iliano (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Cognitive Technologies,
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.