Modular SAT-based techniques for reasoning tasks in team semantics.
Arnaud DurandJuha KontinenJouko VäänänenPublished in: CoRR (2022)
Keyphrases
- reasoning tasks
- answer set programming
- logic programming
- logic programs
- logical framework
- description logics
- answer sets
- temporal reasoning
- abductive reasoning
- automated reasoning
- situation calculus
- bucket elimination
- reasoning problems
- stable models
- dl lite
- fuzzy description logics
- sat solvers
- programming language
- constraint solver
- quantified boolean formulas
- temporal information
- contextual information
- model theoretic
- general purpose
- knowledge representation
- bounded model checking
- strong equivalence
- low level