Author of the publication

The Essential Inadequacy of Deduction in Logic Programming.

, , and . Logic Journal of the IGPL, 3 (1): 107-110 (1995)

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 Theoretical Foundation and a Method for Document Table Structure Extraction and Decompositon., , , , and . Document Analysis Systems, volume 2423 of Lecture Notes in Computer Science, page 291-294. Springer, (2002)A second-order axiomatic theory of strings.. Notre Dame J. Formal Log., 19 (4): 629-633 (1978)Admissible rules, derivable rules, and extendible logistic systems.. Notre Dame J. Formal Log., 15 (2): 265-278 (1974)Generalized linear recursive networks: topological and routing properties., and . Comput. Electr. Eng., 29 (1): 121-134 (2003)The Essential Inadequacy of Deduction in Logic Programming., , and . Logic Journal of the IGPL, 3 (1): 107-110 (1995)An analysis of the counterfactual conditional.. Notre Dame J. Formal Log., 17 (3): 395-400 (1976)A note on evaluation mappings.. Notre Dame J. Formal Log., 17 (4): 613-614 (1976)The locality principle and completeness in logic programming., and . SAC, page 286-291. ACM, (1994)On quantitative measurement of negation in logic programming., , and . SAC, page 58-62. ACM, (1996)The Essential Inadequacy of Deductions in Logic Programming., , and . ILPS, page 644. MIT Press, (1993)