Travelled to:
1 × United Kingdom
Collaborated with:
∅
Talks about:
progol (1) higher (1) order (1) logic (1) learn (1)
Person: Niels Pahlavi
DBLP: Pahlavi:Niels
Contributed to:
Wrote 1 papers:
- ICLP-2010-Pahlavi10 #higher-order #learning #logic
- Higher-order Logic Learning and λ-Progol (NP), pp. 281–285.