Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Reasoning about evolving nonmonotonic knowledge bases.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-51
@article{REWERSE-RP-2005-51, author = {Thomas Eiter and Michael Fink and Giuliana Sabbatini and Hans Tompits}, title = {Reasoning about evolving nonmonotonic knowledge bases}, journal = {ACM Transactions on Computational Logic (TOCL)}, year = {2005}, volume = {6}, number = {2}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-51} }