Luciano Caroprese, Miroslaw Truszczynski. Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, editors, Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings. Volume 5293 of Lecture Notes in Computer Science, pages 100-112, Springer, 2008. [doi]
Abstract is missing.