Book DescriptionIn 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 questionsof 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. Художники:2003 г 368 стр ISBN 3540007059.