Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs

Marc Denecker, Danny De Schreye. Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. In LPNMR. pages 365-379, 1993.

@inproceedings{DeneckerS93,
  title = {Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs},
  author = {Marc Denecker and Danny De Schreye},
  year = {1993},
  tags = {semantics, logic programming, logic},
  researchr = {https://researchr.org/publication/DeneckerS93},
  cites = {0},
  citedby = {0},
  pages = {365-379},
  booktitle = {LPNMR},
}