Keyword:English-to-logic translation

Publications
Representation Abstraction and Proof Search for English-to-Logic Question Answering Tanel Tammet In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning