Per Year
@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}}
@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}}}, 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}}}, 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}
— Products
2P
LPaaS
Arg-tuProlog
— Events
WOA 2021
— Projects
CompuLaw
— Associations
AIxIA
— Courses
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers