ML Anthology

Sabbatini, Giuliana

1 publications

IJCAI 2001 A Framework for Declarative Update Specifications in Logic Programs Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits