The Complexity of Closed World Reasoning and Circumscription.

Marco Cadoli Maurizio Lenzerini

Published in: AAAI (1990)

Keyphrases

closed world reasoning
default reasoning
knowledge base
dl programs
belief revision
description logics
default logic
probabilistic reasoning
computational complexity
partial order
logic programming
nonmonotonic reasoning
artificial intelligence
expert systems
commonsense knowledge