@inproceedings{insci2016-smartspace,
abstract = {Smart Spaces outline an intriguing application scenario where people are immersed in time and space in an augmented virtual environment, which suitably exploits ubiquitous computing technologies, space and time awareness, and pervasive intelligence. A number of technical, social, pragmatic challenges, arising from several perspectives and domains, need to be dealt with. Moving from a Socio-Technical Systems approach, this paper first introduces the Butlers for Smart Spaces (BSS) architecture, which specialises the Butlers architecture originally defined for Smart Homes to the Smart Spaces scenario; then, it shows how BSS can be mapped onto the Home Manager platform, and discussed how a Smart Space can be designed and developed on its top-in general, and with regard a specific example.},
apice = {HomeManagerInsci16},
author = {Calegari, Roberta and Denti, Enrico},
booktitle = {Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
chapter = 26,
doi = {10.1007/978-3-319-45982-0_26},
editor = {Franco Bagnoli and Anna Satsiou and Ioannis Stavrakakis and Paolo Nesi and Giovanna Pacini and Yanina Welp and Thanassis Tiropanis and Dominic DiFranzo},
eisbn = {978-3-319-45982-0},
iris = {11585/562992},
isbn = {978-3-319-45981-3},
issn = {0302-9743},
keywords = {Socio-Technical Systems, Smart Spaces, Home Manager, Home intelligence, Butlers architecture},
location = {Firenze, Italy},
month = {12-14 September},
note = {Accepted as a poster},
numpages = 12,
pages = {306--317},
publisher = {Springer International Publishing},
series = {Lecture Notes in Computer Science},
title = {The Butlers Framework for Socio-Technical Smart Spaces},
url = {https://link.springer.com/10.1007/978-3-319-45982-0_26},
volume = 9934,
wos = {WOS:000389030700026},
year = 2016
}@inproceedings{lpaas-woa2016,
apice = {LpaasWoa2016},
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariDMO16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562436},
issn = {1613-0073},
keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
lens = {152-299-063-602-887},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
numpages = 6,
openalex = {W2572654563},
pages = {79--84},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985995176},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
url = {https://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}@inproceedings{acec-wetice2016,
apice = {AcecWetice2016},
articleno = 33,
author = {Giacomo Cabri and Massimo Cossentino and Denti, Enrico and Paolo Giorgini and Molesini, Ambra and Monica Mordonini and Michele Tomaiuolo and Luca Sabatucci},
booktitle = {Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises},
doi = {10.1109/WETICE.2016.11},
institution = {IEEE},
isbn = {978-1-5090-1663-1/16},
keywords = {adaptation, socio-technical systems, smart spaces},
location = {Paris, France},
month = {June},
numpages = 6,
pages = {3--8},
publisher = {IEEE Computer Society},
scopus = {2-s2.0-84983802946},
title = {Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces},
venue = {ACEC - WETICE 2016},
year = 2016
}@inproceedings{lvlp-cilc2016,
address = {Milano, Italy},
apice = {Label2pCilc016},
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},
dblp = {conf/cilc/CalegariDDO16},
editor = {Fiorentini, Camillo and Momigliano, Alberto},
iris = {11585/562441},
issn = {1613-0073},
keywords = {labelled logic programming; labelled systems; formal semantics},
lens = {056-848-477-065-080},
month = {20-22~} # jun,
note = {Proceedings of the 31st Italian Conference on Computational Logic},
openalex = {W2579712566},
pages = {5--20},
publisher = {CEUR-WS},
scopus = {2-s2.0-84985916728},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: Foundations},
url = {https://ceur-ws.org/Vol-1645/paper_7.pdf},
volume = 1645,
year = 2016
}@incollection{bison-insci2016,
apice = {BisonInsci2016},
author = {Cevenini, Claudia and Denti, Enrico and Omicini, Andrea and Cerno, Italo},
booktitle = {Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
chapter = 25,
core = {156953492},
dblp = {conf/insci/CeveniniDOC16},
doi = {10.1007/978-3-319-45982-0_25},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
eisbn = {978-3-319-45982-0},
iris = {11585/562456},
isbn = {978-3-319-45981-3},
issn = {0302-9743},
keywords = {Privacy, Socio-technical systems, Contact centres, Anonymisation},
lens = {063-968-276-264-93X},
location = {Firenze, Italy},
month = {12-14~} # sep,
openalex = {W2511917896},
pages = {291--305},
publisher = {Springer International Publishing},
scopus = {2-s2.0-84986203603},
series = {Lecture Notes in Computer Science},
title = {Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the {EU}},
url = {https://link.springer.com/10.1007/978-3-319-45982-0_25},
volume = 9934,
wos = {WOS:000389030700025},
year = 2016
}@article{2p-alpnews2016,
apice = {2pAlpNews2016},
author = {Calegari, Roberta and Denti, Enrico},
journal = {ALP Newsletter},
month = dec,
publisher = {Association for Logic Programming},
title = {{B}uilding {S}mart {S}paces on the {H}ome {M}anager platform},
url = {https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/},
year = 2016
}
0000-0003-1687-8793