scientific article; zbMATH DE number 4160109

MaRDI QIDQ3486860zbMATH OpenFDO

Authors V. S. Subrahmanian

Publication date 1990

zbMATH Keywords

completionslogic programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4026795
• scientific article; zbMATH DE number 4128792
• Completed logic programs and their consistency
• Characterising and explaining inconsistency in logic programs
• Tight, consistent, and computable completions for unrestricted logic programs

Cited in

(1)

• Y-logic

This page was built for publication:

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