Learning Conjunctions of Horn Clauses (Extended Abstract)

Dana Angluin, Michael Frazier, Leonard Pitt. Learning Conjunctions of Horn Clauses (Extended Abstract). In 31st Annual Symposium on Foundations of Computer Science, 22-24 October 1990, St. Louis, Missouri, USA. Volume I of pages 186-192, IEEE, 1990.

@inproceedings{AngluinFP90:0,
  title = {Learning Conjunctions of Horn Clauses (Extended Abstract)},
  author = {Dana Angluin and Michael Frazier and Leonard Pitt},
  year = {1990},
  researchr = {https://researchr.org/publication/AngluinFP90%3A0},
  cites = {0},
  citedby = {0},
  pages = {186-192},
  booktitle = {31st Annual Symposium on Foundations of Computer Science, 22-24 October 1990, St. Louis, Missouri, USA},
  volume = {I},
  publisher = {IEEE},
}