Parameterized Modal Satisfiability.
Antonis AchilleosMichael LampisValia MitsouPublished in: ICALP (2) (2010)
Keyphrases
- modal logic
- description logic alc
- satisfiability problem
- decision procedures
- propositional logic
- description logics
- phase transition
- np complete
- data sets
- nonmonotonic logics
- satisfiability testing
- computational complexity
- sat problem
- terminological reasoning
- temporal logic
- stochastic local search
- sat solving
- decision trees
- information systems
- information retrieval