Parameterized Modal Satisfiability
Antonis AchilleosMichael LampisValia MitsouPublished in: CoRR (2009)
Keyphrases
- description logic alc
- modal logic
- decision procedures
- description logics
- satisfiability problem
- phase transition
- np complete
- terminological reasoning
- computational complexity
- propositional logic
- temporal logic
- computational properties
- quantified boolean formulas
- nonmonotonic logics
- objective function
- knowledge base
- database systems
- sat problem
- information systems
- data mining