Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)

Martin Slota João Leite

Published in: CoRR (2010)

Keyphrases

closed world reasoning
knowledge base
orders of magnitude
general purpose
dynamic environments
heuristic search
default reasoning