BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dzifcak:Juraj

Contributed to:

ICLP 20122012
KR 20122012
ICLP 20072007
ICLP 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.