InKreSAT: Modal Reasoning via Incremental Reduction to SAT.
Mark KaminskiTobias TebbiPublished in: CADE (2013)
Keyphrases
- knowledge base
- sat solvers
- incremental learning
- modulo theories
- reasoning systems
- modal logic
- satisfiability problem
- reasoning process
- spatial reasoning
- qualitative reasoning
- bayesian networks
- reduction method
- sat problem
- knowledge representation
- search algorithm
- answer set programming
- temporal logic
- np complete
- model based reasoning
- boolean satisfiability
- incremental version