Ordered binary decision diagrams as knowledge-bases.
Takashi HoriyamaToshihide IbarakiPublished in: Artif. Intell. (2002)
Keyphrases
- ordered binary decision diagrams
- knowledge base
- deterministic finite automaton
- model checking
- description logics
- quantified boolean formulae
- constraint satisfaction problems
- knowledge representation
- knowledge acquisition
- knowledge based systems
- expert systems
- propositional logic
- relational databases
- orders of magnitude
- logic programming
- constraint problems