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]

@inproceedings{CaropreseGSZ06,
  title = {Declarative Semantics of Production Rules for Integrity Maintenance},
  author = {Luciano Caroprese and Sergio Greco and Cristina Sirangelo and Ester Zumpano},
  year = {2006},
  doi = {10.1007/11799573_5},
  url = {http://dx.doi.org/10.1007/11799573_5},
  tags = {semantics, rule-based, maintenance, rules},
  researchr = {https://researchr.org/publication/CaropreseGSZ06},
  cites = {0},
  citedby = {0},
  pages = {26-40},
  booktitle = {Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  editor = {Sandro Etalle and Miroslaw Truszczynski},
  volume = {4079},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-36635-0},
}