Learning logic programs by using the product homomorphism method

Proceedings of the Annual ACM Conference on Computational Learning Theory

Volumn , Issue , 1997, Pages 10-20

  Horvath, Tamas ^a   Sloan, Robert H ^a   Turan, Gyorgy ^a  

^a UNIVERSITY OF SZEGED   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; FORMAL LOGIC; FUNCTIONS; LEARNING SYSTEMS; THEOREM PROVING;

HORN CLAUSE; PRODUCT HOMOMORPHISM METHOD;

LOGIC PROGRAMMING;

EID: 0030703402     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/267460.267468     Document Type: Conference Paper

References (25)