scientific article; zbMATH DE number 4114095

MaRDI QIDQ4729408zbMATH OpenFDO

Authors Alexander Leitsch

Publication date 1989

zbMATH Keywords

decidable nonlinear Horn clausesimplication problemlinear Horn clausesredundance of derivationsubsumption

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 437521
• An overview of resolution decision procedures
• scientific article; zbMATH DE number 1256672
• scientific article; zbMATH DE number 1555187
• scientific article; zbMATH DE number 19146

Cited in

(13)

• Deciding H₁ by resolution
• Subsumption and implication
• Extending Horn clause logic with implication goals
• Polynomial-time inference of all valid implications for Horn and related formulae
• An algorithm for the class of pure implicational formulas
• scientific article; zbMATH DE number 437521 (Why is no real title available?)
• scientific article; zbMATH DE number 3978440 (Why is no real title available?)
• scientific article; zbMATH DE number 1256672 (Why is no real title available?)
• scientific article; zbMATH DE number 1555187 (Why is no real title available?)
• scientific article; zbMATH DE number 833906 (Why is no real title available?)
• An algorithm to compute maximal contractions for Horn clauses
• scientific article; zbMATH DE number 2187724 (Why is no real title available?)
• Removing redundancy from a clause

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 Q4729408)