Travelled to:1 × Italy
1 × Portugal
1 × USA
Collaborated with:C.Baral L.Tari H.Takahashi M.A.Gonzalez A.Gottesman
Talks about:answer (4) set (4) program (3) translat (2) macro (2) bottleneck (1) algorithm (1) knowledg (1) calculus (1) acquisit (1)
Person: Juraj Dzifcak
DBLP: Dzifcak:Juraj
Contributed to:
2012
201220072006Wrote 4 papers:
- ICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus
- Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.
- KR-2012-BaralD #automation #how #learning #programming #set
- Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation (CB, JD).
- ICLP-2007-BaralDT #information management #natural language #prolog #set #towards
- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs (CB, JD, LT), pp. 1–21.
- ICLP-2006-BaralDT #composition #metaprogramming #set #using
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (CB, JD, HT), pp. 376–390.