Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints.

Luciano Caroprese, Miroslaw Truszczynski

Browse the full JELIA paper archive.