Per anno
@inproceedings{insci2016-smartspace,
location = {Firenze, Italy},
booktitle = { Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
year = 2016,
keywords = {Smart Spaces Socio-Technical Systems Pervasive Computing Internet of Things Smart Home Ambient Intelligence Multi-Agent Systems Software infrastructures},
pdf-local = {chp3A10.10072F978-3-319-45982-026.pdf},
status = {Published},
venue_list = {--},
url = {http://link.springer.com/10.1007/978-3-319-45982-0_26},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
month = {12-14 September},
series = {Lecture Notes in Computer Science},
eisbn = {978-3-319-45982-0},
issn = {0302-9743},
publisher = {Springer International Publishing},
author = {Calegari, Roberta and Denti, Enrico},
chapter = 26,
title = {The Butlers Framework for Socio-Technical Smart Spaces},
isbn = {978-3-319-45981-3},
note = {Accepted as a poster},
pages = {306-317},
venue_j = {Journals.Lncs},
volume = 9934,
numpages = 12,
wos = {000389030700026},
doi = {10.1007/978-3-319-45982-0 2}}
location = {Firenze, Italy},
booktitle = { Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
year = 2016,
keywords = {Smart Spaces Socio-Technical Systems Pervasive Computing Internet of Things Smart Home Ambient Intelligence Multi-Agent Systems Software infrastructures},
pdf-local = {chp3A10.10072F978-3-319-45982-026.pdf},
status = {Published},
venue_list = {--},
url = {http://link.springer.com/10.1007/978-3-319-45982-0_26},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
month = {12-14 September},
series = {Lecture Notes in Computer Science},
eisbn = {978-3-319-45982-0},
issn = {0302-9743},
publisher = {Springer International Publishing},
author = {Calegari, Roberta and Denti, Enrico},
chapter = 26,
title = {The Butlers Framework for Socio-Technical Smart Spaces},
isbn = {978-3-319-45981-3},
note = {Accepted as a poster},
pages = {306-317},
venue_j = {Journals.Lncs},
volume = 9934,
numpages = 12,
wos = {000389030700026},
doi = {10.1007/978-3-319-45982-0 2}}
@inproceedings{lpaas-woa2016,
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},
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)},
pages = {91--99},
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 = {http://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}
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},
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)},
pages = {91--99},
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 = {http://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}
@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},
dblp = {conf/cilc/CalegariDDO16},
editor = {Fiorentini, Camillo and Momigliano, Alberto},
iris = {11585/562441},
issn = {1613-0073},
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},
scopus = {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},
dblp = {conf/cilc/CalegariDDO16},
editor = {Fiorentini, Camillo and Momigliano, Alberto},
iris = {11585/562441},
issn = {1613-0073},
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},
scopus = {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
}
@article{2p-alpnews2016,
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}
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}
— Prodotti
2P
LPaaS
Arg-tuProlog
— Eventi
WOA 2021
— Progetti
CompuLaw
— Associazioni
AIxIA
— Corsi
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers