Labelled Variables in Logic Programming: Foundations
Roberta Calegari / Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Events
- Convegno Italiano di Logica Computazionale – 31º Convegno Annuale dell'Associazione Italiana Utenti Logic Programming (CILC 2016) — 20/06/2016–22/06/2016
Publications
- Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini