The Essential Inadequacy of Deduction in Logic Programming

DOI10.1093/JIGPAL/3.1.107zbMATH Open0827.68023OpenAlexW2079660095MaRDI QIDQ4834296FDOQ4834296

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

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

zbMATH Keywords

logic programsLP-consequence relationsLP-deduction relations

Mathematics Subject Classification ID

Logic programming (68N17)

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)