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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.