Cost-Based Abduction Using Binary Decision Diagrams.

Shohei Kato Satoru Oono Hirohisa Seki Hidenori Itoh

Published in: IEA/AIE (1999)

Keyphrases

cost based abduction
binary decision diagrams
belief revision
boolean functions
symbolic model checking
np hard
bayesian networks
variable ordering
planning problems
knowledge compilation
gene regulatory networks
model checking
network model
domain specific
heuristic search