Dalal's Revision in Sentential Decision Diagrams.

Lilith Mattei Alessandro Antonucci Alessandro Facchini

Published in: ISAIM (2022)

Keyphrases

decision diagrams
markov decision processes
multi valued
belief revision
efficient computation
multiple valued
knowledge base
digital circuits
binary decision diagrams
constraint satisfaction problems
planning problems
data structure
search algorithm
compressed data
data flow