Juraj Dzifcak
According to our database1,
Juraj Dzifcak
authored at least 11 papers
between 2006 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
2006
2007
2008
2009
2010
2011
2012
2013
0
1
2
3
4
2
1
1
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
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.
Theory Pract. Log. Program., 2012
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
2011
Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences.
CoRR, 2011
Proceedings of the Ninth International Conference on Computational Semantics, 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.
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.
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.
Proceedings of the Logic Programming, 23rd International Conference, 2007
2006
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