The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability.
Joel D. DayVijay GaneshPaul HeFlorin ManeaDirk NowotkaPublished in: CoRR (2018)
Keyphrases
- description logics
- decision procedures
- query containment
- computational properties
- automata theoretic
- terminological reasoning
- co occurrence
- differential equations
- satisfiability problem
- propositional logic
- temporal logic
- n gram
- computational complexity
- knowledge base
- word sense disambiguation
- linear systems
- sat problem
- query answering
- mathematical model
- hamilton jacobi
- natural language