A programmable approach to revising knowledge bases
From MaRDI portal
Publication:866190
zbMath1161.68788MaRDI QIDQ866190
Shangmin Luan, Guozhong Dai, Wei Li
Publication date: 20 February 2007
Published in: Science in China. Series F (Search for Journal in Brave)
Database theory (68P15) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (3)
On the decidability of open logic ⋮ An algebraic approach to revising propositional rule-based knowledge bases ⋮ Decidable subsets of open logic and an algorithm for R-calculus
This page was built for publication: A programmable approach to revising knowledge bases