Juraj Dzifcak

According to our database, Juraj Dzifcak authored at least 11 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

The NL2KR System.

Chitta Baral, Juraj Dzifcak, Kanchan Kumbhare, Nguyen Ha Vo

Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 2013

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

Typed Answer Set Programming and Inverse Lambda Algorithms

Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman

CoRR, 2012

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

Using Inverse lambda and Generalization to Translate English to Formal Languages.

Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou

Proceedings of the Ninth International Conference on Computational Semantics, 2011

Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How To Do That Translation.

Chitta Baral, Juraj Dzifcak

Proceedings of the Advances in Cognitive Systems, 2011

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.

Juraj Dzifcak, Matthias Scheutz, Chitta Baral, Paul W. Schermerhorn

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

2008

Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.

Chitta Baral, Juraj Dzifcak, Tran Cao Son

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.

Chitta Baral, Juraj Dzifcak, Luis Tari

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.

Chitta Baral, Juraj Dzifcak, Hiro Takahashi

Proceedings of the Logic Programming, 22nd International Conference, 2006

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.

Chitta Baral, Saadat Anwar, Juraj Dzifcak

Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006