@conference{home-man2-icaart2015,
address = {Lisbon, Portugal},
apice = {HomeMan2icaart2015},
author = {Denti, Enrico and Calegari, Roberta},
booktitle = {7th International Conference on Agents and Artificial Intelligence 2015 (ICAART 2015)},
doi = {10.5220/0005284002490256},
editor = {Loiseau, Stephane and Filipe, Joaquim and Duval, Beatrice and Van Den Herik, Jaap},
isbn = {978-989-758-073-4},
month = {10--12~} # jan,
pages = {249--256},
publisher = {SCITEPRESS – Science and Technology Publications},
title = {{B}utler-ising {H}ome{M}anager: A Pervasive Multi-Agent System for Home Intelligence},
year = 2015
}
@inproceedings{labelled2p-dcaiia2015,
address = {Ferrara, Italy},
apice = {Labelled2pDcaiia2015},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
dblp = {conf/aiia/CalegariDO15},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
lens = {077-260-476-984-186},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
openalex = {W2396244028},
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16046264553640973420},
scopus = {2-s2.0-85009165803},
semanticscholar = {9324685},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}