On resolution strategies with weak factorization

MaRDI QIDQ3553161zbMATH OpenFDO

Authors A. O. Afonin

Publication date 22 April 2010

zbMATH Keywords

clausecompleteness of refutation methodfactorizationlinear resolution

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

(9)

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

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)