SAT-Based Axiom Pinpointing Revisited.
Birte GlimmYevgeny KazakovPublished in: Description Logics (2022)
Keyphrases
- answer set programming
- bounded model checking
- sat solvers
- inference rules
- ai planning
- constraint solver
- modal logic
- answer sets
- version space
- sat encodings
- boolean satisfiability
- logic programming
- data sets
- constraint satisfaction problems
- first order logic
- search space
- planning domains
- learning algorithm
- neural network