11 citations · 11 across the 1 of their papers we have counts for
1 paper · 1 filter
Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez +1
We present a system to translate natural language sentences to formulas in a formal or a knowledge representation language. Our system uses two inverse lambda-calculus operators an…