Author of the publication

On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion.

, and . ILP Work-in-progress reports, volume 35 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)

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

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)Notes on Transformation Techniques for Generate and Test Logic Programs., and . SLP, page 215-223. IEEE-CS, (1987)Constraint Logic Programming as a New Vehicle for Knowledge Representation.. IFIP Congress, page 194. North-Holland/IFIP, (1989)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)MANDELA: A LogicBased Knowledge Programming System., , , , , and . FGCS, page 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)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)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)Modeling Physical Skill Discovery and Diagnosis by Abduction., and . Inf. Media Technol., 3 (2): 385-398 (2008)