Per Year

2 publications with DBLP Key  /  2016  /  Roberta Calegari
 @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
} 
2 publications in 2016 with DBLP Key • topindexbottom