Juraj Dzifcak

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


The NL2KR System.
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

Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them.
Theory Pract. Log. Program., 2012

Typed Answer Set Programming and Inverse Lambda Algorithms
CoRR, 2012

Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences.
CoRR, 2011

Using Inverse lambda and Generalization to Translate English to Formal Languages.
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.
Proceedings of the Advances in Cognitive Systems, 2011

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, 2009

Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006