Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

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]

Authors

Luciano Caroprese

This author has not been identified. Look up 'Luciano Caroprese' in Google

Miroslaw Truszczynski

This author has not been identified. Look up 'Miroslaw Truszczynski' in Google