Inproceedings,

A Framework for Declarative Update Specifications in Logic Programs.

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews