Declarative Semantics of Production Rules for Integrity Maintenance

Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano. Declarative Semantics of Production Rules for Integrity Maintenance. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 26-40, Springer, 2006. [doi]

Abstract

Abstract is missing.