A practical parallel algorithm for propositional knowledge base revision

DOI10.1007/BF02900873zbMath0919.68064MaRDI QIDQ4229567

Xuehong Tao, Shaohan Ma, Wei Sun

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)

Cites Work

• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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