Induction on Failure: Learning Connected Horn Theories

Tim Kimber, Krysia Broda, Alessandra Russo. Induction on Failure: Learning Connected Horn Theories. In Esra Erdem, Fangzhen Lin, Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Volume 5753 of Lecture Notes in Computer Science, pages 169-181, Springer, 2009. [doi]

@inproceedings{KimberBR09,
  title = {Induction on Failure: Learning Connected Horn Theories},
  author = {Tim Kimber and Krysia Broda and Alessandra Russo},
  year = {2009},
  doi = {10.1007/978-3-642-04238-6_16},
  url = {http://dx.doi.org/10.1007/978-3-642-04238-6_16},
  researchr = {https://researchr.org/publication/KimberBR09},
  cites = {0},
  citedby = {0},
  pages = {169-181},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub},
  volume = {5753},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04237-9},
}