Author of the publication

Notes on Transformation Techniques for Generate and Test Logic Programs.

, and . SLP, page 215-223. IEEE-CS, (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

MANDELA: A LogicBased Knowledge Programming System., , , , , and . FGCS, page 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol., , , , and . ILP, volume 1297 of Lecture Notes in Computer Science, page 157-164. Springer, (1997)Constraint Logic Programming as a New Vehicle for Knowledge Representation.. IFIP Congress, page 194. North-Holland/IFIP, (1989)The Role of Logic Programming in the Fifth Generation Computer Project., and . New Generation Comput., 5 (1): 3-28 (1987)Guest Editors' Preface., and . New Generation Comput., 3 (4): 341-344 (1985)Notes on Transformation Techniques for Generate and Test Logic Programs., and . SLP, page 215-223. IEEE-CS, (1987)A Methodology for Implementation of a Knowledge Acquisition System., , , and . SLP, page 131-142. IEEE-CS, (1984)Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing.. ISLP, page 719-731. MIT Press, (1991)Respiration Reflecting Musical Expression: Analysis of Respiration during Musical Performance by Inductive Logic Programming., , and . ICMAI, volume 2445 of Lecture Notes in Computer Science, page 94-106. Springer, (2002)Modeling Physical Skill Discovery and Diagnosis by Abduction., and . Inf. Media Technol., 3 (2): 385-398 (2008)