A representative model based algorithm for maximal contractions

DOI10.1007/S11432-012-4752-YMaRDI QIDQ5018142zbMATH OpenOpenAlexFDO

Authors Dongchen Jiang, Yihua Lou, Yi Jin, Jie Luo, Wei Li

Publication date 15 December 2021

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11432-012-4752-y

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• A general framework for computing maximal contractions
• A decomposition based algorithm for maximal contractions
• An algorithm to compute maximal contractions for Horn clauses
• Contraction in propositional logic
• Maximal and perimaximal contraction

Cited in

(3)

• Maximal contractions in Boolean algebras
• A general framework for computing maximal contractions
• A decomposition based algorithm for maximal contractions

This page was built for publication: A representative model based algorithm for maximal contractions

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