Typed Answer Set Programming and Inverse Lambda Algorithms

Chitta Baral, Juraj Dzifcak, Marcos A. Gonzalez +1

Our broader goal is to automatically translate English sentences into formulas in appropriate knowledge representation languages as a step towards understanding and thus answering…