A Unified Framework for Representing Logic Program Updates

Yan Zhang, Norman Y. Foo. A Unified Framework for Representing Logic Program Updates. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 707-713, AAAI Press / The MIT Press, 2005.

@inproceedings{ZhangF05,
  title = {A Unified Framework for Representing Logic Program Updates},
  author = {Yan Zhang and Norman Y. Foo},
  year = {2005},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/ZhangF05},
  cites = {0},
  citedby = {0},
  pages = {707-713},
  booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA},
  editor = {Manuela M. Veloso and Subbarao Kambhampati},
  publisher = {AAAI Press / The MIT Press},
  isbn = {1-57735-236-X},
}