Per Year

@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{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
}

@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
}