Gösta Grahne;Alberto O. Mendelzon
-;-
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
ABDUCTIVE CHANGE OPERATORS
Fundamenta Informaticae