On the adequacy of predicate circumscription for closed-world reasoning.

David W. Etherington Robert E. Mercer Raymond Reiter

Published in: Comput. Intell. (1985)

Keyphrases

closed world reasoning
default reasoning
knowledge base
dl programs
belief revision
first order logic
nonmonotonic reasoning
default logic
description logics
probabilistic reasoning
expert systems
partial order
software engineering
artificial intelligence
horn clauses
normal logic programs
information systems