Schema induction for logic program synthesis

DOI10.1016/S0004-3702(97)00055-6zbMath0903.68027MaRDI QIDQ1128483

Nancy Lynn Tinkham

Publication date: 13 August 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

learninginductive logic programminginductive inferenceautomatic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• A theory of the learnable
• A Methodology for LISP Program Construction from Examples
• A Transformation System for Developing Recursive Programs
• The Inference of Regular LISP Programs from Examples
• Language identification in the limit
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Schema induction for logic program synthesis