Ordered Binary Decision Diagrams as Knowledge-Bases.
Takashi HoriyamaToshihide IbarakiPublished in: ISAAC (1999)
Keyphrases
- ordered binary decision diagrams
- knowledge base
- deterministic finite automaton
- description logics
- model checking
- quantified boolean formulae
- knowledge based systems
- knowledge representation
- propositional logic
- expert systems
- constraint satisfaction problems
- logic programming
- belief revision
- logic programs
- answer set programming