The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs

Yan Zhang, Yun Bai. The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. In Ning Zhong, Zbigniew W. Ras, Shusaku Tsumoto, Einoshin Suzuki, editors, Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings. Volume 2871 of Lecture Notes in Computer Science, pages 349-356, Springer, 2003. [doi]

@inproceedings{ZhangB03:2,
  title = {The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs},
  author = {Yan Zhang and Yun Bai},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2871&spage=349},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/ZhangB03%3A2},
  cites = {0},
  citedby = {0},
  pages = {349-356},
  booktitle = {Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings},
  editor = {Ning Zhong and Zbigniew W. Ras and Shusaku Tsumoto and Einoshin Suzuki},
  volume = {2871},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20256-0},
}