Nonmonotonic Databases and Epistemic Queries

Abstract

The approach to database query evaluation developed by Levesque and Reiter treats databases as first order theories, and queries as formulas of the language which includes, in addition to the language of the database, an epistemic modal operator. In this epistemic query language, one can express questions not only about the external world described by the… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.