Picture for Juraj Dzifcak

Juraj Dzifcak

Typed Answer Set Programming and Inverse Lambda Algorithms

Add code
Oct 21, 2012
Figure 1 for Typed Answer Set Programming and Inverse Lambda Algorithms
Figure 2 for Typed Answer Set Programming and Inverse Lambda Algorithms
Figure 3 for Typed Answer Set Programming and Inverse Lambda Algorithms
Figure 4 for Typed Answer Set Programming and Inverse Lambda Algorithms
Viaarxiv icon

Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation

Add code
Aug 18, 2011
Figure 1 for Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation
Figure 2 for Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation
Figure 3 for Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation
Figure 4 for Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation
Viaarxiv icon

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

Add code
Aug 18, 2011
Figure 1 for Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences
Figure 2 for Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences
Figure 3 for Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences
Figure 4 for Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences
Viaarxiv icon

Using Inverse lambda and Generalization to Translate English to Formal Languages

Add code
Aug 18, 2011
Figure 1 for Using Inverse lambda and Generalization to Translate English to Formal Languages
Figure 2 for Using Inverse lambda and Generalization to Translate English to Formal Languages
Viaarxiv icon