Symbolic Reasoning with Weighted and Normalized Decision Diagrams.

Jörn Ossowski Christel Baier

Published in: Calculemus (2005)

Keyphrases

symbolic reasoning
decision diagrams
symbolic representation
production rules
multi valued
markov decision processes
digital circuits
efficient computation
binary decision diagrams
compressed data
machine learning
natural language
rule base