Author: Jan Chomicki
Publisher: Springer Science & Business Media
ISBN: 3642186904
Category : Computers
Languages : en
Pages : 375
Get Book Here
Book Description
In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data. This book provides a state-of-the-art overview of research on the application of logic-based methods to information systems, covering highly topical and emerging fields: XML programming and querying, intelligent agents, workflow modeling and verification, data integration, temporal and dynamic information, data mining, authorization, and security. It provides both scientists and graduate students with a wealth of material and references for their own research and education.
Author: Viviana E. Ferraggine
Publisher: IGI Global
ISBN: 1605662437
Category : Computers
Languages : en
Pages : 986
Get Book Here
Book Description
"This book provides a wide compendium of references to topics in the field of the databases systems and applications"--Provided by publisher.
Author: Miki Hermann
Publisher: Springer Science & Business Media
ISBN: 3540482814
Category : Computers
Languages : en
Pages : 599
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.
Author: Stephane Bressan
Publisher: Springer
ISBN: 3540378723
Category : Computers
Languages : en
Pages : 977
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Database and Expert Systems Applications, DEXA 2006. The book presents 90 revised full papers together with 1 invited paper. The papers are organized in topical sections on XML, data and information, data mining and data warehouses, database applications, WWW, bioinformatics, process automation and workflow, knowledge management and expert systems, database theory, query processing, and privacy and security.
Author: Nachum Dershowitz
Publisher: Springer
ISBN: 3540755608
Category : Computers
Languages : en
Pages : 573
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Author: Chitta Baral
Publisher: Springer Science & Business Media
ISBN: 3540285385
Category : Computers
Languages : en
Pages : 465
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante, Italy in September 2005. The 25 revised full papers, 16 revised for the system and application tracks presented together with 3 invited papers were carefully reviewed and selected for presentation. Among the topics addressed are semantics of new and existing languages; relationships between formalisms; complexity and expressive power; LPNMR systems: development of inference algorithms and search heuristics, updates and other operations, uncertainty, and applications in planning, diagnosis, system descriptions, comparisons and evaluations; software engineering, decision making, and other domains; LPNMR languages: extensions by new logical connectives and new inference capabilities, applications in data integration and exchange systems, and methodology of representing knowledge.
Author: Wolfgang Lindner
Publisher: Springer Science & Business Media
ISBN: 3540233059
Category : Computers
Languages : en
Pages : 626
Get Book Here
Book Description
This book constitutes the thoroughly refereed joint post-proceedings of five workshops held as part of the 9th International Conference on Extending Database Technology, EDBT 2004, held in Heraklion, Crete, Greece, in March 2004. The 55 revised full papers presented together with 2 invited papers and the summaries of 2 panels were selected from numerous submissions during two rounds of reviewing and revision. In accordance with the topical focus of the respective workshops, the papers are organized in sections on database technology in general (PhD Workshop), database technologies for handling XML information on the Web, pervasive information management, peer-to-peer computing and databases, and clustering information over the Web.
Author: Zongmin Ma
Publisher: IGI Global
ISBN: 1599041227
Category : Computers
Languages : en
Pages : 320
Get Book Here
Book Description
"This book integrates data management in databases with intelligent data processing and analysis in artificial intelligence. It challenges today's database technology and promotes its evolution"--Provided by publisher.
Author: Thomas Schwentick
Publisher: Springer
ISBN: 3540692703
Category : Computers
Languages : en
Pages : 429
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 11th International Conference on Database Theory, ICDT 2007, held in Spain in January 2007. The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive power of query languages, incompleteness, inconsistency, and uncertainty, XML schemas and typechecking, stream processing and sequential query processing, ranking, XML update and query, as well as query containment.
Author: Torsten Grust
Publisher: Springer Science & Business Media
ISBN: 3540467882
Category : Computers
Languages : en
Pages : 961
Get Book Here
Book Description
This book constitutes the thoroughly refereed joint post-proceedings of nine workshops held as part of the 10th International Conference on Extending Database Technology, EDBT 2006, held in Munich, Germany in March 2006. The 70 revised full papers presented were selected from numerous submissions during two rounds of reviewing and revision.
