Michael Kifer - Böcker

Introduction to Operating System Design and Implementation

The OSP 2 Approach

Declarative Logic Programming

Theory, Systems, and Applications

Declarative Logic Programming

Theory, Systems, and Applications

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

Deductive and Object-Oriented Databases

Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991. Proceedings

Transactions and Change in Logic Databases

International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso

Journal on Data Semantics VIII

Semantic Web: Research and Applications

4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings

Journal on Data Semantics IX