An Expert System Building Tool Supporting Knowledge Compilation and Management.

Xiaoqing Liu Nengbin Wang Guangfu Liu

Published in: ICTAI (1993)

Keyphrases

knowledge compilation
product configuration
decision support
expert systems
prime implicates
decision making
knowledge management
management system
decision support system
model counting
normal form
quantified boolean formulae
knowledge acquisition
data management
constraint satisfaction
data mining
horn formulas