On the Adequacy of Predicate Circumscription for Closed-World Reasoning.

David W. Etherington Robert E. Mercer Raymond Reiter

Published in: NMR (1984)

Keyphrases

closed world reasoning
default reasoning
knowledge base
dl programs
belief revision
first order logic
probabilistic reasoning
expert systems
partial order
nonmonotonic reasoning
default logic
description logics
database systems
query language
knowledge representation
answer sets