Learning From Entailment: An Application to Prepositional Horn Sentences

Proceedings of the 10th International Conference on Machine Learning, ICML 1993

Volumn , Issue , 1993, Pages 120-127

  Frazier, Michael ^a   Pitt, Leonard ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LEARNING FROM ENTAILMENTS;

LEARNING ALGORITHMS;

EID: 85027108143     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. [Angluin, 1987] Angluin, D. (1987). Learning regular sets from queries and counterexamples. Information and Computation, 75:87-106.
2. [Angluin, 1988] Angluin, D. (1988). Learning with hints. In Proceedings of the First Annual Workshop on Computational Learning Theory, pages 223-237.
3. [Angluin et al., 1992] Angluin, D., Frazier, M., and Pitt, L. (1992). Learning conjunctions of Horn clauses. Machine Learning, 9:147-164.
4. [Dalai and Etherington, 1992] Dalai, M. and Etherington, D. (1992). Tractable approximate deduction using limited vocabulary. In CSCSI'92, Vancouver.
5. [Dzeroski et al., 1992] Dzeroski, S., Muggleton, S., and Russell, S. (1992). Pac-learnability of logic programs. In Proceedings of the 1992 Workshop on Computational Learning Theory^ pages 128-135, New York. The Association for Computing Machinery.
6. [Greiner and Schuurmans, 1992] Greiner, R. and Schuurmans, D. (1992). Learning useful Horn approximations. In Proceedings of the Third International Joint Conference on Knowledge Representation^ Cambridge, MA.
7. [Kautz and Selman, 1992] Kautz, and Selman, B. (1992). Speeding inference by acquiring new concepts. In Proceedings of AAAI'92^ San Jose.
8. [Page and Frisch, 1992] Page, C. D. and Frisch, A. (1992). Generalization and learnability: A study of constrained atoms. In Muggleton, S. H., editor. Inductive Logic Programming, chapter 2, pages 29- 60. Academic Press, London.
9. [Selman and Kautz, 1991] Selman, B. and Kautz, (1991). Knowledge compilation using Horn approximations. In Proceedings of AAAI'91, Anaheim. [Shapiro, 1983] Shapiro, E. Y. (1983). Algorithmic Program Debugging, MIT Press, Cambridge, MA.
10. [Valiant, 1984] Valiant, L. (1984). A theory of the learnable. Communications of the ACM, 27(11):1134-1142.