Travelled to:
1 × Italy
Collaborated with:
P.Flener ∅
Talks about:
synthesi (2) program (2) prospect (1) prejudic (1) toward (1) reason (1) prolog (1) induct (1) pure (1) near (1)
Person: Lubos Popelínsky
DBLP: Popel=iacute=nsky:Lubos
Contributed to:
Wrote 2 papers:
- LOPSTR-1994-FlenerP #induction #on the #reasoning #synthesis #using
- On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects (PF, LP), pp. 69–87.
- LOPSTR-1991-Popelinsky #prolog #source code #synthesis #towards
- Towards Synthesis of Nearly Pure Prolog Programs (LP), pp. 94–96.