Travelled to:
2 × Japan
Collaborated with:
M.Benedikt P.Bourhis P.Senellart
Talks about:
restrict (1) treelik (1) instanc (1) circuit (1) proven (1) number (1) answer (1) world (1) queri (1) finit (1)
Person: Antoine Amarilli
DBLP: Amarilli:Antoine
Contributed to:
Wrote 2 papers:
- ICALP-v2-2015-AmarilliBS
- Provenance Circuits for Trees and Treelike Instances (AA, PB, PS), pp. 56–68.
- LICS-2015-AmarilliB #finite #query #strict
- Finite Open-World Query Answering with Number Restrictions (AA, MB), pp. 305–316.