The Treatment of Negation in Logic Programs for Representing Legislation

Robert A. Kowalski. The Treatment of Negation in Logic Programs for Representing Legislation. In ICAIL. pages 11-15, 1989. [doi]

@inproceedings{Kowalski89:0,
  title = {The Treatment of Negation in Logic Programs for Representing Legislation},
  author = {Robert A. Kowalski},
  year = {1989},
  doi = {10.1145/74014.74016},
  url = {http://doi.acm.org/10.1145/74014.74016},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/Kowalski89%3A0},
  cites = {0},
  citedby = {0},
  pages = {11-15},
  booktitle = {ICAIL},
}