Aaron Gottesman

According to our database, Aaron Gottesman authored at least 3 papers in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them.

Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman

Theory Pract. Log. Program., 2012

Typed Answer Set Programming and Inverse Lambda Algorithms

Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman

CoRR, 2012

The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL.

Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman

Proceedings of the Correct Reasoning, 2012