On resolution strategies with weak factorization

MaRDI QIDQ3553161zbMATH OpenFDO

Authors A. O. Afonin

Publication date 22 April 2010

zbMATH Keywords

factorizationclauselinear resolutioncompleteness of refutation method

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• On paramodulation in linear strategies of the resolution method
• scientific article; zbMATH DE number 4072434
• On resolution strategies in fuzzy logic
• One modification of the ordering strategy in the resolution method
• Resolution calculus for the first order linear logic

Cited in

(7)

• scientific article; zbMATH DE number 4053070 (Why is no real title available?)
• Application of the strategy of ordering disjunctives for a modification of the method of resolutions
• scientific article; zbMATH DE number 4072434 (Why is no real title available?)
• On linear resolution
• Weighting strategy for non-clausal resolution
• On weak resolutions
• scientific article; zbMATH DE number 1614708 (Why is no real title available?)

This page was built for publication: On resolution strategies with weak factorization

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