The Strong Semantics for Logic Programs

Jianhua Chen, Sukhamay Kundu. The Strong Semantics for Logic Programs. In Zbigniew W. Ras, Maria Zemankova, editors, Methodologies for Intelligent Systems, 6th International Symposium, ISMIS 91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings. Volume 542 of Lecture Notes in Computer Science, pages 490-499, Springer, 1991.

@inproceedings{ChenK91:1,
  title = {The Strong Semantics for Logic Programs},
  author = {Jianhua Chen and Sukhamay Kundu},
  year = {1991},
  tags = {semantics, logic programming, logic},
  researchr = {https://researchr.org/publication/ChenK91%3A1},
  cites = {0},
  citedby = {0},
  pages = {490-499},
  booktitle = {Methodologies for Intelligent Systems, 6th International Symposium, ISMIS  91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings},
  editor = {Zbigniew W. Ras and Maria Zemankova},
  volume = {542},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54563-8},
}