Juraj Dzifcak

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Lambda Calculus

Answer Set Programming

Causal Theories

Natural Language Questions

Top Venues

Theory Pract. Log. Program.

Publications

Chitta Baral, Juraj Dzifcak, Kanchan Kumbhare, Nguyen Ha Vo
The NL2KR System. NLPAR@LPNMR (2013)
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, Juraj Dzifcak
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation. KR (2012)
Chitta Baral, Juraj Dzifcak
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How To Do That Translation. AAAI Fall Symposium: Advances in Cognitive Systems (2011)
Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou
Using Inverse lambda and Generalization to Translate English to Formal Languages. IWCS (2011)
Chitta Baral, Juraj Dzifcak
Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation. CoRR (2011)
Chitta Baral, Juraj Dzifcak
Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences. CoRR (2011)
Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou
Using Inverse lambda and Generalization to Translate English to Formal Languages CoRR (2011)
Juraj Dzifcak, Matthias Scheutz, Chitta Baral, Paul W. Schermerhorn
What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution. ICRA (2009)
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)
Chitta Baral, Juraj Dzifcak, Luis Tari
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. ICLP (2007)
Chitta Baral, Juraj Dzifcak, Hiro Takahashi
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. ICLP (2006)
Chitta Baral, Saadat Anwar, Juraj Dzifcak
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)