A practical parallel algorithm for propositional knowledge base revision

DOI10.1007/BF02900873MaRDI QIDQ4229567zbMATH OpenFDO

Authors Wei Sun, Xuehong Tao, Shaohan Ma

Publication date 23 August 1999

Published in Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

zbMATH Keywords

propositional knowledge base

Mathematics Subject Classification ID

Knowledge representation (68T30) Distributed algorithms (68W15)

Recommendations

• Propositional knowledge base revision and minimal change
• An algebraic approach to revising propositional rule-based knowledge bases
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• A programmable approach to revising knowledge bases
• The size of a revised knowledge base

Cites work

• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 140392 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 140406 (Why is no real title available?)
• scientific article; zbMATH DE number 221327 (Why is no real title available?)
• On the complexity of propositional knowledge base revision, updates, and counterfactuals

Cited in

(4)

• A programmable approach to revising knowledge bases
• Fast algorithms for revision of some special propositional knowledge bases
• An algebraic approach to revising propositional rule-based knowledge bases
• A cooperative parallelization approach for property-directed \(k\)-induction

This page was built for publication: A practical parallel algorithm for propositional knowledge base revision

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