11 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.CL2011★ 8 cited
Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation
Chitta Baral, Juraj Dzifcak
We present a system capable of automatically solving combinatorial logic puzzles given in (simplified) English. It involves translating the English descriptions of the puzzles into…
cs.CL2011
Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences
Chitta Baral, Juraj Dzifcak
For a system to understand natural language, it needs to be able to take natural language text and answer questions given in natural language with respect to that text; it also nee…
cs.CL2011★ 11 cited
Using Inverse lambda and Generalization to Translate English to Formal Languages
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…