Iterative induction of logic programs: An approach to logic program synthesis from incomplete specifications

• Authors:

• Alípio Jorge

• Affiliations:

• LIACC-University of Porto, Rua do Campo Alegre, 823, 4150 Porto, Portugal E‐mail: amjorge@ncc.up.pt URL: http://www.ncc.up.pt/Üamjorge

• Venue:
• AI Communications
• Year:
• 1999