When is Closed World Reasoning Tractable?

John S. Schlipf

Published in: ISMIS (1988)

Keyphrases

closed world reasoning
default reasoning
knowledge base
dl programs
belief revision
description logics
default logic
nonmonotonic reasoning
partial order
expert systems
logic programming
optimal solution
modal logic
answer sets
probabilistic reasoning
formal semantics
information systems