- 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. (appendix) TPLP 12(4-5): 775-791 (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: 40-56
- Chitta Baral and Juraj Dizfcak. Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation. AAAI Fall Symposium on Advances in Cognitive Systems. 2011. A revised but shorter version at KR 2012.
- Chitta Baral. Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages. Abstract of invited presentation at LPNMR 2011.
- Chitta Baral, Juraj Dzifcak, Marcos Gonzalez and Jiayu Zhou. Using Inverse Lambda and Generalization to Translate English to Formal Languages. Proceedings of International Conference on Computational Semantics (IWCS) 2011, Oxford.
- Juraj Dzifcak, Matthias Scheutz, Chitta Baral and Paul Schermerhorn (2009) What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution. Proceedings of the 2009 IEEE international conference on robotics and automation (ICRA ’09)
- Chitta Baral, Juraj Dzifcak, Tran Cao Son. Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.AAAI 2008, pages 818-823.
- Chitta Baral, Juraj Dzifcak, Luis Tari: Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. ICLP 2007: 1-21 (invited paper) (presentation)

-->