An overview of research on the application of logic-based methods to information systems, this title covers topical and emerging fields covering XML programming... » 

An overview of research on the application of logic-based methods to information systems, this title covers topical and emerging fields covering XML programming and querying, intelligent agents, workflow modeling and verification, datamining, authorization and security. «