Connection-minimal Abduction in EL via Translation to FOL - Technical Report.
Fajar HaifaniPatrick KoopmannSophie TourretChristoph WeidenbachPublished in: CoRR (2022)
Keyphrases
- technical report
- first order logic
- machine translation
- description logics
- knowledge representation
- theorem proving
- cross language information retrieval
- database
- abductive reasoning
- logic programming
- background knowledge
- inference rules
- causal networks
- website
- expressive power
- query translation
- statistical machine translation
- machine learning