Some Properties of Invers Resolution in Normal Logic Programs

Chiaki Sakama. Some Properties of Invers Resolution in Normal Logic Programs. In Saso Dzeroski, Peter A. Flach, editors, Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings. Volume 1634 of Lecture Notes in Computer Science, pages 279-290, Springer, 1999. [doi]

@inproceedings{Sakama99,
  title = {Some Properties of Invers Resolution in Normal Logic Programs},
  author = {Chiaki Sakama},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1634/16340279.htm},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/Sakama99},
  cites = {0},
  citedby = {0},
  pages = {279-290},
  booktitle = {Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings},
  editor = {Saso Dzeroski and Peter A. Flach},
  volume = {1634},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66109-3},
}