Juraj Dzifcak

14 papers A* 3B 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2013 — conf
The NL2KR System.
NLPAR@LPNMR
Chitta Baral, Juraj Dzifcak, Kanchan Kumbhare, Nguyen Ha Vo
2012 A* conf
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation.
KR
Chitta Baral, Juraj Dzifcak
2012 J jnl
Typed Answer Set Programming and Inverse Lambda Algorithms
CoRR
Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman
2012 J jnl
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them.
Theory Pract. Log. Program.
Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman
2011 J jnl
Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences.
CoRR
Chitta Baral, Juraj Dzifcak
2011 — conf
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
Chitta Baral, Juraj Dzifcak
2011 J jnl
Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation.
CoRR
Chitta Baral, Juraj Dzifcak
2011 J jnl
Using Inverse lambda and Generalization to Translate English to Formal Languages
CoRR
Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou
2011 — conf
Using Inverse lambda and Generalization to Translate English to Formal Languages.
IWCS
Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou
2009 A* conf
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
Juraj Dzifcak, Matthias Scheutz, Chitta Baral, Paul W. Schermerhorn
2008 A* conf
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.
AAAI
Chitta Baral, Juraj Dzifcak, Tran Cao Son
2007 B conf
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.
ICLP
Chitta Baral, Juraj Dzifcak, Luis Tari
2006 — conf
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
Chitta Baral, Saadat Anwar, Juraj Dzifcak
2006 B conf
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.
ICLP
Chitta Baral, Juraj Dzifcak, Hiro Takahashi