The papers in this book discuss technologies relevant to expert systems in engineering and describe applications of these technologies in such areas as computer integrated manufacturing and process automation.

This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995.
Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis.

This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Spindlerův Mlyn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.

Constitutes the refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. This book includes the papers that showcase advances in theory and systems for datalog, divided in three sections: Properties, applications, and extensions of datalog.

This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013. Coverage includes diverse aspects of Web reasoning, ranging from scalable lightweight formalisms such as RDF to more expressive ontology languages based on description logics.

This book constitutes the thoroughly refereed post-conference proceedings of the 29th British National Conference on Databases, BNCOD 2013, held in Oxford, UK, in July 2013. The 20 revised full papers, presented together with three keynote talks, two tutorials, and one panel session, were carefully reviewed and selected from 42 submissions. Special focus of the conference has been Big Data and so the papers cover a wide range of topics such as query and update processing; relational storage; benchmarking; XML query processing; big data; spatial data and indexing; data extraction and social...