Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. - Chitta Baral; Saadat Anwar; Juraj Dzifcak (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. - Chitta Baral; Juraj Dzifcak; Hiro Takahashi (ICLP, 2006)

Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. - Chitta Baral; Juraj Dzifcak; Luis Tari (ICLP, 2007)

Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. - Chitta Baral; Juraj Dzifcak; Tran Cao Son (AAAI, 2008)

What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution. - Juraj Dzifcak; Matthias Scheutz; Chitta Baral; Paul W. Schermerhorn (ICRA, 2009)

Using Inverse lambda and Generalization to Translate English to Formal Languages. - Chitta Baral; Juraj Dzifcak; Marcos Alvarez Gonzalez; Jiayu Zhou (IWCS, 2011)

Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences. - Chitta Baral; Juraj Dzifcak (CoRR, 2011)

Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation. - Chitta Baral; Juraj Dzifcak (KR, 2012)

Typed Answer Set Programming and Inverse Lambda Algorithms - Chitta Baral; Juraj Dzifcak; Marcos Alvarez Gonzalez; Aaron Gottesman (CoRR, 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)

The NL2KR System. - Chitta Baral; Juraj Dzifcak; Kanchan Kumbhare; Nguyen Ha Vo (NLPAR@LPNMR, 2013)