In this era of heterogeneous and distributed data sources, ranging from semistructured documents to kwledge 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.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date of Publication
Computing: Professional & Programming
Place of Publication
Country of Publication
Springer-Verlag Berlin and Heidelberg GmbH & Co. K