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