Georg Gottlob

Etienne Grandjean

Katrin Seyr

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998. The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.

12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

Computer Science Logic

Dumitru Roman

Adrian Paschke

Nick Bassiliades

Fariba Sadri

This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015. The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.

9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Rule Technologies: Foundations, Tools, and Applications

Oege de Moor

Tim Furche

Andrew Sellers

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvements from numerous submissions. The papers showcase the state-of-the-art in theory and systems for datalog, divided in three sections: Properties, applications, and extensions of datalog.

First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

Datalog Reloaded

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.

5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

Database Theory - ICDT '95

Wolfgang Faber

Steffen Staab

Birte Glimm

Leopoldo Bertossi

Domenico Lembo

Giovambattista Ianni

This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017. In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.

13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

Reasoning Web. Semantic Interoperability on the Web

Stefan Katzenbeisser

Gerhard Friedrich

György Turán

Maria Bielikova

This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, 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.

38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings

SOFSEM 2012: Theory and Practice of Computer Science

Mária Bieliková

Dan Olteanu

Christian Schallhart

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 networks.

29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings

Big Data

Andras Benczur

Janos Demetrovics

This book constitutes the refereed proceedings of the 8th East European Conference on Advances in Databases and Information Systems, ADBIS 2004, held in Budapest, Hungary, in September 2004. The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on constraint databases, deductive databases, heterogenous and Web information systems, cross enterprise information systems, knowledge discovery, database modeling, XML and semistructured databases, physical database design and query evaluation, transaction management and workflow systems, query processing and data streams, spatial databases, and agents and mobile systems.

8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings

Advances in Databases and Information Systems

Georg Gottlob

Books

Your next favorite book is out there