According to our database1, Juraj Dzifcak authored at least 11 papers between 2006 and 2013.
Legend:Book In proceedings Article PhD thesis Other
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
Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences.
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
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006