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