TY - BOOK ID - 2615553 TI - Logic in databases. Proceedings of the international workshop LID'96, San Miniatio, Italy 1996 AU - Pedreschi, Dino AU - Zaniolo, Carlo PY - 1996 VL - 1154 SN - 3540618147 3540706836 9783540618140 PB - Berlin [etc.] : Springer-Verlag, DB - UniCat KW - Database management KW - Deductive databases KW - Logic programming KW - Congresses. KW - Congresses KW - Deductive data bases KW - Database management. KW - Computer network architectures. KW - Computer science. KW - Information storage and retrieval systems. KW - Artificial intelligence. KW - Database Management. KW - Computer System Implementation. KW - Mathematical Logic and Formal Languages. KW - Information Storage and Retrieval. KW - Artificial Intelligence. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Automatic data storage KW - Automatic information retrieval KW - Automation in documentation KW - Computer-based information systems KW - Data processing systems KW - Data storage and retrieval systems KW - Discovery systems, Information KW - Information discovery systems KW - Information processing systems KW - Information retrieval systems KW - Machine data storage and retrieval KW - Mechanized information storage and retrieval systems KW - Computer systems KW - Electronic information resources KW - Data libraries KW - Digital libraries KW - Information organization KW - Information retrieval KW - Informatics KW - Science KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Database management - Congresses KW - Deductive databases - Congresses. KW - Logic programming - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:2615553 AB - This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity. The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power. ER -