Michael Kifer

Declarative Logic Programming

2018

Databases and Transaction Processing

2003

Database systems

2006

Introduction to operating system design and implementation

2007

Value Pack : Database Systems : an Application Oriented Apprach, Complete Version with Learning SQL

2005

Value Pack : An Application Oriented Approach, Complete Version with Learning SQL

2005

The Semantic Web

2007

Semantic Web : Research and Applications

2007

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

2017

OSP

1991

Journal on Data Semantics VIII

2007

Journal on Data Semantics IX

2007