Per Year
@inproceedings{lpaas-ic2e2018,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {2018 IEEE International Conference on Cloud Engineering (IC2E 2018)},
dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18},
doi = {10.1109/IC2E.2018.00061},
ieee = {8360344},
iris = {11585/636933},
isbn = {978-1-5386-5008-0},
month = {17--20~} # apr,
note = {Best paper award},
pages = {292--297},
publisher = {IEEE Computer Society},
scholar = {470119961420072962},
scopus = {2-s2.0-85048334877},
title = {Micro-intelligence for the {IoT}: {SE} Challenges and Practice in {LPaaS}},
url = {http://ieeexplore.ieee.org/document/8360344/},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
wos = {000759774400038},
year = 2018
}
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {2018 IEEE International Conference on Cloud Engineering (IC2E 2018)},
dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18},
doi = {10.1109/IC2E.2018.00061},
ieee = {8360344},
iris = {11585/636933},
isbn = {978-1-5386-5008-0},
month = {17--20~} # apr,
note = {Best paper award},
pages = {292--297},
publisher = {IEEE Computer Society},
scholar = {470119961420072962},
scopus = {2-s2.0-85048334877},
title = {Micro-intelligence for the {IoT}: {SE} Challenges and Practice in {LPaaS}},
url = {http://ieeexplore.ieee.org/document/8360344/},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
wos = {000759774400038},
year = 2018
}
@article{lpaas-tplp18,
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
dblp = {journals/tplp/CalegariDMO18},
doi = {10.1017/S1471068418000364},
editor = {Fioretto, Ferdinando and Pontelli, Enrico},
iris = {11585/642508},
journal = {Theory and Practice of Logic Programming},
keywords = {logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness},
month = sep,
note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
number = 5-6,
numpages = 28,
pages = {846--873},
publisher = {Cambridge University Press},
scholar = {13482792136370336832},
scopus = {2-s2.0-85050006559},
title = {Logic Programming as a Service},
url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-as-a-service/8A8109052E2F9EC177332F36183E80BE},
volume = 18,
wos = {000443682000005},
year = 2018
}
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
dblp = {journals/tplp/CalegariDMO18},
doi = {10.1017/S1471068418000364},
editor = {Fioretto, Ferdinando and Pontelli, Enrico},
iris = {11585/642508},
journal = {Theory and Practice of Logic Programming},
keywords = {logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness},
month = sep,
note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
number = 5-6,
numpages = 28,
pages = {846--873},
publisher = {Cambridge University Press},
scholar = {13482792136370336832},
scopus = {2-s2.0-85050006559},
title = {Logic Programming as a Service},
url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-as-a-service/8A8109052E2F9EC177332F36183E80BE},
volume = 18,
wos = {000443682000005},
year = 2018
}
@article{labelledlp-fi161,
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3233/FI-2018-1695},
editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
iris = {11585/636935},
journal = {Fundamenta Informaticae},
keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
month = jul,
note = {Special Issue CILC 2016},
number = 1-2,
numpages = 22,
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
volume = 161,
wos = {000437260800005},
year = 2018
}
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3233/FI-2018-1695},
editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
iris = {11585/636935},
journal = {Fundamenta Informaticae},
keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
month = jul,
note = {Special Issue CILC 2016},
number = 1-2,
numpages = 22,
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
volume = 161,
wos = {000437260800005},
year = 2018
}
@article{lpaas-bdcc2,
articleno = 23,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3390/bdcc2030023},
eissn = {2504-2289},
iris = {11585/640012},
journal = {Big Data and Cognitive Computing},
keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
number = 3,
numpages = 26,
publisher = {MDPI},
scholar = {247396456770353218},
scopus = {2-s2.0-85075881133},
title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
url = {http://www.mdpi.com/2504-2289/2/3/23},
urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
volume = 2,
year = 2018
}
articleno = 23,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3390/bdcc2030023},
eissn = {2504-2289},
iris = {11585/640012},
journal = {Big Data and Cognitive Computing},
keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
number = 3,
numpages = 26,
publisher = {MDPI},
scholar = {247396456770353218},
scopus = {2-s2.0-85075881133},
title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
url = {http://www.mdpi.com/2504-2289/2/3/23},
urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
volume = 2,
year = 2018
}
@inproceedings{spacetimelp-woa2018,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646038},
keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
location = {Palermo, Italy},
month = {29--30~} # jun,
numpages = 6,
pages = {63--68},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85054314622},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Logic Programming in Space-Time: The Case of Situatedness in {LPaaS}},
url = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
volume = 2215,
year = 2018
}
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646038},
keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
location = {Palermo, Italy},
month = {29--30~} # jun,
numpages = 6,
pages = {63--68},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85054314622},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Logic Programming in Space-Time: The Case of Situatedness in {LPaaS}},
url = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
volume = 2215,
year = 2018
}
@inproceedings{blockchainlp-woa2018,
author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646042},
keywords = {blockchain, logic programming, smart contracts},
location = {Palermo, Italy},
month = jun,
pages = {69--74},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {816353538952619884},
scopus = {2-s2.0-85054323401},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
url = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
volume = 2215,
year = 2018
}
author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646042},
keywords = {blockchain, logic programming, smart contracts},
location = {Palermo, Italy},
month = jun,
pages = {69--74},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {816353538952619884},
scopus = {2-s2.0-85054323401},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
url = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
volume = 2215,
year = 2018
}
— 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