@dblp

A Framework for Declarative Update Specifications in Logic Programs.

, , , and . IJCAI, page 649-654. Morgan Kaufmann, (2001)

Links and resources

Tags