# Labelled Variables in Logic Programming: Foundations

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic, pages 5-20

CEUR Workshop Proceedings (AI*IA Series) 1645, 20-22 June 2016

CEUR-WS, Milano, Italy

Camillo Fiorentini, Alberto Momigliano *(eds.)*

@inproceedings{lvlp-cilc2016,

Address = {Milano, Italy},

Author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},

Booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},

Editor = {Fiorentini, Camillo and Momigliano, Alberto},

Keywords = {labelled logic programming; labelled systems; formal semantics},

Month = {20-22~} # jun,

Note = {Proceedings of the 31st Italian Conference on Computational Logic},

Pages = {5--20},

Publisher = {CEUR-WS},

ScopusId = {2-s2.0-84985916728},

Series = {CEUR Workshop Proceedings},

Subseries = {AI*IA Series},

Title = {Labelled Variables in Logic Programming: Foundations},

Url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},

Volume = 1645,

Year = 2016}

Address = {Milano, Italy},

Author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},

Booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},

Editor = {Fiorentini, Camillo and Momigliano, Alberto},

Keywords = {labelled logic programming; labelled systems; formal semantics},

Month = {20-22~} # jun,

Note = {Proceedings of the 31st Italian Conference on Computational Logic},

Pages = {5--20},

Publisher = {CEUR-WS},

ScopusId = {2-s2.0-84985916728},

Series = {CEUR Workshop Proceedings},

Subseries = {AI*IA Series},

Title = {Labelled Variables in Logic Programming: Foundations},

Url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},

Volume = 1645,

Year = 2016}

## Journals & Series

- CEUR Workshop Proceedings (CEUR-WS.org)

## Events

- Convegno Italiano di Logica Computazionale – 31º Convegno Annuale dell'Associazione Italiana Utenti Logic Programming (CILC 2016) — 20/06/2016–22/06/2016