Decidability of Ordered Fragments of FOL via Modal Translation.
Hongkai YinMatteo PascucciPublished in: CILC (2024)
Keyphrases
- first order logic
- theorem proving
- description logics
- decision procedures
- knowledge representation
- modal logic
- query answering
- machine translation
- partially ordered
- query translation
- horizontal fragmentation
- search engine
- ordered sets
- nonmonotonic logics
- statistical machine translation
- cross language information retrieval
- partial order
- information retrieval systems
- artificial intelligence
- automata theoretic