Decidability in the Logic of Subsequences and Supersequences.
Prateek KarandikarPhilippe SchnoebelenPublished in: FSTTCS (2015)
Keyphrases
- description logics
- modal logic
- computational properties
- logic programming
- defeasible logic
- variable length
- classical logic
- decision procedures
- proof theory
- databases
- multi valued
- dynamic time warping
- natural deduction
- deontic logic
- epistemic logic
- logical framework
- database
- query answering
- hidden markov models
- artificial intelligence
- learning algorithm
- data mining
- real time