Aaron Gottesman

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Lambda Calculus

Transitive Closure

Answer Set Programming

Representation Language

Top Venues

Correct Reasoning

Theory Pract. Log. Program.

Publications

Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them. Theory Pract. Log. Program. 12 (4-5) (2012)
Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman
Typed Answer Set Programming and Inverse Lambda Algorithms CoRR (2012)
Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL. Correct Reasoning (2012)