Tractable Closed World Reasoning with Updates.

Oren Etzioni Keith Golden Daniel S. Weld

Published in: KR (1994)

Keyphrases

closed world reasoning
default reasoning
knowledge base
dl programs
description logics
belief revision
nonmonotonic reasoning
probabilistic reasoning
default logic
expert systems
knowledge representation
artificial intelligence
relational databases
logic programming
partial order