Reasoning about Evolving Nonmonotonic Knowledge Bases

Thomas Eiter Michael Fink Giuliana Sabbatini Hans Tompits Reasoning about Evolving Nonmonotonic Knowledge Bases http://arxiv.org/abs/cs.AI/0209019 2002 CoRR cs.AI/0209019 db/journals/corr/corr0209.html#cs-AI-0209019