via Translation to FOL.

Fajar Haifani Patrick Koopmann Sophie Tourret Christoph Weidenbach

Published in: IJCAR (2022)

Keyphrases

first order logic
knowledge representation
theorem proving
machine translation
real time
databases
data structure
expert systems
translation model
query translation
timed automata
database
statistical machine translation
cross language information retrieval
information extraction
image processing
feature selection