A Framework for Declarative Update Specifications in Logic Programs.

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits

Browse the full IJCAI paper archive.