Knowledge Compilation for Interactive Design of Sequence Control Programs.

Yasuo Namioka Toshikazu Tanaka

Published in: IEA/AIE (1996)

Keyphrases

product configuration
knowledge compilation
control program
knowledge based systems
artificial intelligence
database
case study
knowledge representation
data mining
constraint satisfaction problems
design process
formal methods
horn formulas