BDD-Based Decision Procedures for K.
Guoqiang PanUlrike SattlerMoshe Y. VardiPublished in: CADE (2002)
Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- binary decision diagrams
- heuristic search algorithms
- conjunctive queries
- reasoning problems
- satisfiability problem
- temporal logic
- tight complexity bounds
- inference rules
- heuristic search
- query language
- data model
- relational databases
- expert systems
- search algorithm
- bayesian networks
- knowledge base
- quantified boolean formulas
- databases