On resolution strategies with weak factorization

zbMATH Open1199.68362MaRDI QIDQ3553161FDOQ3553161

Authors: A. O. Afonin 

Publication date: 22 April 2010

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

zbMATH Keywords

factorizationclauselinear resolutioncompleteness of refutation method

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (7)

• Title not available (Why is that?)
• Application of the strategy of ordering disjunctives for a modification of the method of resolutions
• Title not available (Why is that?)
• On linear resolution
• Weighting strategy for non-clausal resolution
• On weak resolutions
• Title not available (Why is that?)

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)