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}, }