The Essential Inadequacy of Deduction in Logic Programming

DOI10.1093/JIGPAL/3.1.107MaRDI QIDQ4834296zbMATH OpenOpenAlexFDO

Authors Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen

Publication date 28 May 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/04f074d747a4c3322755b046131019cbeff4fe82

zbMATH Keywords

logic programsLP-consequence relationsLP-deduction relations

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 785048
• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
• scientific article; zbMATH DE number 994055
• scientific article; zbMATH DE number 4195154
• scientific article; zbMATH DE number 410424

Cited in

(2)

• Deducing Logic Programs
• General failure of logic programs

This page was built for publication: The Essential Inadequacy of Deduction in Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4834296)