A programmable approach to maintenance of a finite knowledge base

DOI10.1007/BF02946657zbMath1025.68033MaRDI QIDQ1400054

Wei Li, Shangmin Luan, Guozhong Dai

Publication date: 13 August 2003

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

propositional logicpredicate logicknowledge base maintenanceclause set

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

An algebraic approach to revising propositional rule-based knowledge bases

Cites Work

• Reasoning about action. I: A possible worlds approach
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Unnamed Item
• Unnamed Item

This page was built for publication: A programmable approach to maintenance of a finite knowledge base