Per Year
@proceedings{proceedings-cilc2022, address = {Bologna, Italy}, dblp = {conf/cilc/2022}, editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea}, iris = {11585/899538}, issn = {1613-0073}, note = {37th Italian Conference on Computational Logic (CILC 2022), Bologna, Italy, 29~} # jun # {--1~} # jul # {~2022. Proceedings}, numpages = 3, publisher = {CEUR-WS}, scholar = {2685358200094686924}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = { {CILC 2022} -- {I}talian {C}onference on {C}omputational {L}ogic }, url = {http://ceur-ws.org/Vol-3204/}, volume = 3204, year = 2022 }
@article{ctd-ia22, author = {Andrea Loreggia and Calegari, Roberta and Emiliano Lorini and Francesca Rossi and Sartor, Giovanni}, dblp = {journals/ia/SabbatiniCCO22}, doi = {10.3233/IA-221057}, eissn = {2211-0097}, iris = {11585/912872}, issn = {1724-8035}, journal = {Intelligenza Artificiale}, keywords = {Deontic logic, GCP-nets, ceteris-paribus semantics, contrary-to-duty, strong and weak permission}, month = dec, number = 2, numpages = 22, pages = {185-198}, publisher = {IOS Press}, scholar = {7559675640918015038}, scopus = {2-s2.0-85146170765}, title = {How to model contrary-to-duty with GCP-nets}, url = {https://content.iospress.com/articles/intelligenza-artificiale/ia221057}, volume = 16, wos = {000905455600003}, year = 2022 }
@article{woa2021editorial-ia16, author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe}, dblp = {journals/ia/CalegariCOV22}, doi = {10.3233/IA-220141}, editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe}, eissn = {2211-0097}, iris = {11585/890645}, issn = {1724-8035}, journal = {Intelligenza Artificiale}, month = jul, note = {Editorial}, number = 1, numpages = 3, pages = {3--5}, publisher = {IOS Press}, scholar = {6709418487090647027}, scopus = {2-s2.0-85134154125}, semanticscholar = {250399907}, title = {Special Issue for the 22nd {W}orkshop ``{F}rom {O}bjects to {A}gents'' ({WOA} 2021)}, url = {https://content.iospress.com/articles/intelligenza-artificiale/ia220141}, urlopenaccess = {https://content.iospress.com/download/intelligenza-artificiale/ia220141?id=intelligenza-artificiale/ia220141}, volume = 16, wos = {WOS:000825367300001}, year = 2022 }
@article{psyke-ia16, author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea}, dblp = {journals/ia/SabbatiniCCO22}, doi = {10.3233/IA-210120}, editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe}, eissn = {2211-0097}, iris = {11585/890822}, issn = {1724-8035}, journal = {Intelligenza Artificiale}, keywords = {Explainable AI, knowledge extraction, interpretable prediction, PSyKE}, month = jul, number = 1, numpages = 22, pages = {27--48}, publisher = {IOS Press}, scholar = {7559675640918015038}, scopus = {2-s2.0-85134193338}, semanticscholar = {250400188}, title = {Symbolic knowledge extraction from opaque {ML} predictors in {PSyKE}: Platform design \& experiments}, url = {https://content.iospress.com/articles/intelligenza-artificiale/ia220141}, volume = 16, wos = {WOS:000825367300003}, year = 2022 }
@inproceedings{preface-cilc2022, author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea}, booktitle = {CILC 2022 -- Italian Conference on Computational Logic}, editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea}, iris = {11585/899481}, issn = {1613-0073}, keywords = {neural network; explainable AI; symbolic knowledge injection; KINS; PSyKI}, location = {Bologna, Italy}, numpages = 2, pages = {i--ii}, publisher = {CEUR-WS}, scholar = {3420577376460146552}, scopus = {2-s2.0-85138309193}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Preface -- {P}roceedings of the 37th {I}talian {C}onference on {C}omputational {L}ogic ({CILC 2022})}, url = {http://ceur-ws.org/Vol-3204/xpreface.pdf}, urlopenaccess = {http://ceur-ws.org/Vol-3204/xpreface.pdf}, urlpdf = {http://ceur-ws.org/Vol-3204/xpreface.pdf}, volume = 3204, year = 2022 }
@article{arg2p-jlc32, author = {Calegari, Roberta and Pisano, Giuseppe and Omicini, Andrea and Sartor, Giovanni}, dblp = {journals/logcom/CalegariOPS22}, doi = {10.1093/logcom/exab089}, editors = {Calimeri, Francesco and Perri, Simona and Zumpano. Ester}, iris = {11585/877812}, issn = {0955-792X}, journal = {Journal of Logic and Computation}, keywords = {Arg2P, intelligent systems engineering, explainable intelligent systems, logic-based technology, argumentation, defeasible reasoning, multi-agent systems}, month = mar, note = {{S}pecial {I}ssue from the 35th Italian Conference on Computational Logic ({CILC} 2020)}, number = 2, pages = {369--401}, publisher = {Oxford University Press}, scholar = {7687317421217944977}, scopus = {2-s2.0-85126283334}, title = {{Arg\textsf{2}P}: An argumentation framework for explainable intelligent systems}, url = {https://academic.oup.com/logcom/article-abstract/32/2/369/6513341}, volume = 32, wos = {000762067600009}, year = 2022 }
@incollection{burdenofpersuasion-aixia2021, address = {Cham}, author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni}, booktitle = {AIxIA 2021 -- Advances in Artificial Intelligence}, dblp = {conf/aiia/PisanoCOS21}, doi = {10.1007/978-3-031-08421-8_8}, editor = {Bandini, Stefania and Gasparini, Francesca and Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe}, iris = {11585/893244}, isbn = {978-3-031-08421-8}, keywords = {Burdens of persuasion · Argumentation · Meta-argumentation}, location = {Milan, Italy}, month = jul, pages = {104--119}, publisher = {Springer International Publishing}, scholar = {17799901578643288638}, scopus = {2-s2.0-85135015182}, series = {Lecture Notes in Computer Science}, subseries = {AI*IA Series}, title = {Burden of Persuasion in Meta-argumentation}, url = {http://link.springer.com/10.1007/978-3-031-08421-8_8}, urlopenaccess = {https://cris.unibo.it/retrieve/005890bb-146a-4ab9-9b0b-63a7032c6e9d/AIxIA2021-METABP.pdf}, urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-08421-8_8.pdf}, volume = 13196, wos = {WOS:000876859300008}, year = 2022 }
@article{conflictscomma2022, author = {Pisano, Giuseppe and Calegari, Roberta and Henry Prakken and Sartor, Giovanni}, booktitle = {Computational Models of Argument}, doi = {10.3233/FAIA220160}, editor = {Francesca Toni and Sylwia Polberg and Richard Booth and Martin Caminada and Hiroyuki Kido}, eisbn = {978-1-64368-307-2}, institution = {Cardiff University}, isbn = {978-1-64368-306-5}, keywords = {meta-argumentation, argumentation, ASPIC+}, location = {Cardiff}, numpages = 12, pages = {284--295}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, title = {Arguing About the Existence of Conflicts}, url = {https://ebooks.iospress.nl/volumearticle/60756}, volume = 353, year = 2022 }
@article{woa2021specialissue-ia16, author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe}, editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe}, eissn = {2211-0097}, iris = {11585/890644}, issn = {1724-8035}, journal = {Intelligenza Artificiale}, month = jul, note = {Special Issue}, number = 1, publisher = {IOS Press}, scholar = {14076350362719309270}, title = {Selected papers from the 22nd {W}orkshop ``{F}rom {O}bjects to {A}gents'' ({WOA} 2021)}, url = {https://content.iospress.com/articles/intelligenza-artificiale/ia161s1}, urlopenaccess = {https://content.iospress.com/download/intelligenza-artificiale/ia161s1?id=intelligenza-artificiale%2Fia161s1}, volume = 16, year = 2022 }
@incollection{hypercube-woa2022, author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea}, booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''}, dblp = {conf/woa/SabbatiniCCO22}, editor = {Ferrando, Angelo and Mascardi, Viviana}, iris = {11585/899358}, issn = {1613-0073}, keywords = {Explainable AI; Knowledge extraction; Interpretable prediction; PSyKE}, month = nov, numpages = 13, pages = {48--60}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scholar = {8614662013642803891}, scopus = {2-s2.0-85142519111}, semanticscholar = {253270041}, series = {CEUR Workshop Proceedings}, subseries = {AIxIA Series}, title = {Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model}, url = {http://ceur-ws.org/Vol-3261/paper4.pdf}, urlopenaccess = {http://ceur-ws.org/Vol-3261/paper4.pdf}, urlpdf = {http://ceur-ws.org/Vol-3261/paper4.pdf}, volume = 3261, year = 2022 }
@inproceedings{gridrex-kr2022, address = {Haifa, Israel}, author = {Sabbatini, Federico and Calegari, Roberta}, booktitle = {19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)}, doi = {10.24963/kr.2022/57}, editor = {Kern-Isberner, Gabriele and Lakemeyer, Gerhard and Meyer, Thomas}, iris = {11585/893144}, isbn = {978-1-956792-01-0}, issn = {2334-1033}, keywords = {Explainable AI, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR}, month = {July 31--August 5}, pages = {554--563}, publisher = {IJCAI Organization}, title = {Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: {GridREx} {\&} {PEDRO}}, url = {https://proceedings.kr.org/2022/57/}, year = 2022 }
@inproceedings{dcc-aixia-2021-plp, keywords = {probabilistic logic programming, symbolic AI, 2P-Kt}, year = 2022, articleNo = 3, pages = {19-32}, author = {Dellaluce, Jason and Calegari, Roberta and Ciatto, Giovanni}, sort = {inproceedings}, numpages = 14, volume = 3078, issn = {1613-0073}, month = {jan}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, status = {Published}, title = {Probabilistic logic programming in 2P-Kt}, booktitle = {AIxIA 2021 Discussion Papers}, editor = {Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe}, url = {http://ceur-ws.org/Vol-3078/paper-29.pdf}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series} }
@inproceedings{preface-woa2021, author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/834358}, issn = {1613-0073}, location = {Bologna, Italy}, month = oct, note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings}, numpages = 2, pages = {i--ii}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scopus = {2-s2.0-85116895007}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Preface}, url = {http://ceur-ws.org/Vol-2963/xpreface.pdf}, volume = 2963, year = 2021 }
@inproceedings{psyke-woa2021, articleno = 3, author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea}, booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''}, dblp = {conf/woa/SabbatiniCCO21}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/834364}, issn = {1613-0073}, keywords = {explainable AI, knowledge extraction, interpretable prediction, PSyKE}, location = {Bologna, Italy}, month = oct, note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings}, numpages = 20, pages = {29--48}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scholar = {879185583484020388}, scopus = {2-s2.0-85116894019}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {On the Design of {PSyKE}: A Platform for Symbolic Knowledge Extraction}, url = {http://ceur-ws.org/Vol-2963/paper14.pdf}, volume = 2963, year = 2021 }
@article{2pkt-swx16, articleno = 100817, author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea}, dblp = {journals/softx/CiattoCO21}, doi = {10.1016/j.softx.2021.100817}, iris = {11585/834368}, issn = {2352-7110}, journal = {SoftwareX}, keywords = {logic programming, artificial intelligence, Prolog, Kotlin, tuProlog}, month = dec, numpages = 7, pages = {100817:1--100817:7}, publisher = {Elsevier B.V.}, scholar = {11747595476298173121}, scopus = {2-s2.0-85122782224}, semanticscholar = {244208338}, title = {{\textsf{2}P-\textsc{Kt}}: A Logic-Based Ecosystem for Symbolic {AI}}, url = {https://www.sciencedirect.com/science/article/pii/S2352711021001126}, urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/834368/829533/1-s2.0-S2352711021001126-main.pdf}, urlpdf = {https://www.sciencedirect.com/sdfe/reader/pii/S2352711021001126/pdf}, volume = 16, wos = {000706078900005}, year = 2021 }
@proceedings{proceedings-woa2021, address = {Aachen, Germany}, booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''}, dblp = {conf/woa/2021}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/834360}, issn = {1613-0073}, location = {Bologna, Italy}, month = oct, note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings}, pages = {II, 258}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {From Objects to Agents}, url = {http://ceur-ws.org/Vol-2963/}, volume = 2963, year = 2021 }
@inproceedings{xai-arg2P-causal2021, author = {Billi, Marco and Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni}, booktitle = {Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021)}, editor = {LeBlanc, Emily and Vennekens, Joost and Son, Tran Cao and Cabalar, Pedro and Fandiño, Jorge and Balduccini, Marcello and Lierler, Yuliya}, iris = {11585/836343}, location = {Porto, Portugal (virtual)}, month = sep, numpages = 14, publisher = {Sun SITE Central Europe, RWTH Aachen University}, series = {CEUR Workshop Proceedings}, subseries = {AIxIA Series}, title = {Explainability through argumentation in logic programming}, url = {http://ceur-ws.org/Vol-2970/causalpaper2.pdf}, volume = 2970, year = 2021 }
@incollection{2pkt-jelia2021, author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea}, booktitle = {Logics in Artificial Intelligence}, dblp = {conf/jelia/CiattoCO21}, doi = {10.1007/978-3-030-75775-5_27}, editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael}, iris = {11585/838787}, keywords = {Prolog; Stream processing; 2P-Kt; State machine}, note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings}, numpages = 14, pages = {407--420}, publisher = {Springer}, scholar = {10383616383578677634}, scopus = {2-s2.0-85111134199}, semanticscholar = {234475670}, series = {Lecture Notes in Computer Science}, subseries = {Lecture Notes in Artificial Intelligence}, title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of \textsf{2}{P}-\textsc{Kt}}, url = {http://link.springer.com/10.1007/978-3-030-75775-5_27}, urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf}, volume = 12678, year = 2021 }
@incollection{xaiethics-aiia2020, author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni}, booktitle = {AIxIA 2020 -- Advances in Artificial Intelligence}, chapter = 2, dblp = {conf/aiia/CalegariOS20a}, doi = {10.1007/978-3-030-73065-9_2}, editor = {Baldoni, Matteo and Bandini, Stefania}, eisbn = {978-3-030-77091-4}, eissn = {1611-3349}, iris = {11585/838789}, isbn = {978-3-030-77090-7}, issn = {0302-9743}, keywords = {explainable AI · ethical AI · argumentation · logic programming · abduction · probabilistic LP · inductive LP}, numpages = 18, pages = {19--36}, publisher = {Springer Nature}, scholar = {13475146938124131264}, scopus = {2-s2.0-85111351072}, series = {Lecture Notes in Computer Science}, title = {Explainable and Ethical {AI}: A Perspective on Argumentation and Logic Programming}, url = {http://link.springer.com/10.1007/978-3-030-77091-4_2}, urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-77091-4_2.pdf}, volume = 12414, wos = {000886994000002}, year = 2021 }
@inproceedings{lptech4mas-aamas2021, acm = {10.5555/3463952.3464214}, author = {Calegari, Roberta and Ciatto, Giovanni and Mascardi, Viviana and Omicini, Andrea}, booktitle = {20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021)}, dblp = {journals/aamas/CalegariCMO21}, iris = {11585/819065}, isbn = {978-1-4503-8307-3}, issn = {2523-5699}, keywords = {SLR, Logic-based Technologies, MAS}, month = may, note = {Summary of ``Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review''}, numpages = 3, pages = {1721-1723}, scholar = {10241330461334370464}, scopus = {2-s2.0-85112328211}, title = {Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review}, url = {http://dl.acm.org/doi/10.5555/3463952.3464214}, urlpdf = {http://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1721.pdf}, year = 2021 }
@article{defreasoning-j-2021, author = {Billi, Marco and Calegari, Roberta and Contissa, Giuseppe and Lagioia, Francesca and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni}, doi = {10.3390/j4040061}, editor = {Ivascu, Larisa}, issn = {2571-8800}, journal = {J}, keywords = {argumentation; defeasible reasoning; tools and technologies; Arg2P}, month = dec, note = {Special Issue The Impact of Artificial Intelligence on Law}, number = 4, pages = {897-914}, publisher = {MDPI}, status = {Published}, title = {Argumentation and Defeasible Reasoning in the Law}, url = {https://www.mdpi.com/2571-8800/4/4/61}, volume = 4, year = 2021}
@inproceedings{arg2p-cilc2021, address = {Parma, Italy}, author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni}, booktitle = {CILC 2021 -- Italian Conference on Computational Logic. Proceedings of the 36th Italian Conference on Computational Logic}, dblp = {conf/cilc/PisanoCOS21}, editor = {Monica, Stefania and Bergenti, Federico}, iris = {11585/838785}, issn = {1613-0073}, keywords = {Argumentation · Defeasible preferences · Arg2P}, month = {7-9}}}, scholar = {12433999243058736062}, scopus = {2-s2.0-85122863663}, semanticscholar = {243990504}, series = {CEUR Workshop Proceedings}, subseries = {AIxIA Series}, title = {A Mechanism for Reasoning over Defeasible Preferences in {Arg\textsf{2}P}}, url = {http://ceur-ws.org/Vol-3002/paper10.pdf}, urlpdf = {http://ceur-ws.org/Vol-3002/paper10.pdf}, volume = 3002, year = 2021 }
@inproceedings{calegari-bpicail2021, keywords = {Burden of persuasion, argumentation, legal reasoning}, year = 2021, pages = {180–184}, author = {Calegari, Roberta and Riveret, Regis and Sartor, Giovanni}, numpages = 5, month = jun, publisher = {ACM}, doi = {10.1145/3462757.3466078}, isbn = {9781450385268}, title = {The Burden of Persuasion in Structured Argumentation}, booktitle = {ICAIL'21: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law}, editor = {Maranhão, Juliano and Wyner, Adam Zachary}, url = {https://dl.acm.org/doi/10.1145/3462757.3466078}, series = {ICAIL'21}, location = {São Paulo - Brazil}}
@inproceedings{metabp-ai321, author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni}, booktitle = {Advances in Argumentation in Artificial Intelligence 2021}, dblp = {conf/aiia/PisanoCOS21}, editor = {D'Agostino, Marcello and Aurelio D'Asaro, Fabio and Larese, Costanza}, iris = {11585/893243}, issn = {1613-0073}, keywords = {burdens of persuasion, argumentation, meta-argumentation, reasoning over burdens}, month = nov, note = {Proceedings of the Workshop on Advances in Argumentation in Artificial Intelligence (AI$^{3}$ 2021), co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, November 29, 2021}, numpages = 19, pages = {5:1--5:19}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scholar = {10187981790280478304}, scopus = {2-s2.0-85125434069}, series = {CEUR Workshop Proceedings}, subseries = {AIxIA Series}, title = {Burden of persuasion in argumentation: A meta-argumentation approach}, url = {http://ceur-ws.org/Vol-3086/paper5.pdf}, urlpdf = {http://ceur-ws.org/Vol-3086/paper5.pdf}, volume = 3086, year = 2021 }
@InProceedings{bp-standardproof-clar2021, author={Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni}, editor={Baroni, Pietro and Benzmüller, Christoph and Wáng, Yὶ N.}, title={Burdens of Persuasion and Standards of Proof in Structured Argumentation}, booktitle={Logic and Argumentation}, year=2021, publisher={Springer International Publishing}, address={Cham}, pages={40--59}, doi={10.1007/978-3-030-89391-0_3}, isbn="978-3-030-89391-0" }
@inproceedings{distributedarg-woa2021, articleno = 12, author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea}, booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''}, dblp = {conf/woa/PisanoCO21}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/834366}, issn = {1613-0073}, keywords = {Argumentation, MAS, cooperative argumentation, distributed argumentation process}, location = {Bologna, Italy}, month = oct, note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings}, numpages = 16, pages = {162--177}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scholar = {13615595110063768054}, scopus = {2-s2.0-85116856131}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Towards cooperative argumentation for {MAS}: An actor-based approach}, url = {http://ceur-ws.org/Vol-2963/paper17.pdf}, volume = 2963, year = 2021 }
@article{lptech4mas-jaamas35, articleno = 1, author = {Calegari, Roberta and Ciatto, Giovanni and Mascardi, Viviana and Omicini, Andrea}, dblp = {journals/aamas/CalegariCMO21}, doi = {10.1007/s10458-020-09478-3}, editor = {Bergenti, Federico and Baldoni, Matteo and Winikoff, Michael and Seghrouchni, Amal El Fallah}, eissn = {1573-7454}, iris = {11585/775368}, issn = {1387-2532}, journal = {Autonomous Agents and Multi-Agent Systems}, keywords = {SLR; Logic-based Technologies; MAS}, note = {Collection ``Current Trends in Research on Software Agents and Agent-Based Software Development''}, number = 1, numpages = 67, pages = {1:1--1:67}, publonsid = {34852575}, scholar = {3394967429087589940}, scopus = {2-s2.0-85092892414}, semanticscholar = {225142049}, title = {Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review}, url = {http://link.springer.com/10.1007/s10458-020-09478-3}, urlpdf = {https://link.springer.com/content/pdf/10.1007/s10458-020-09478-3.pdf}, volume = 35, wos = {000579434600001}, year = 2021 }
@inproceedings{arg2p-cilc2020, address = {Aachen, Germany}, author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni}, booktitle = {CILC 2020 -- Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic}, dblp = {conf/cilc/PisanoCOS20}, editor = {Calimeri, Francesco and Perri, Simona and Zumpano, Ester}, iris = {11585/776173}, issn = {1613-0073}, keywords = {argumentation; logic-based argumentation; burden of persuasion; tuProlog; micro-intelligence; symbolic intelligence}, location = {Rende, CS, Italy}, month = {13-15}}}, publisher = {CEUR-WS}, scholar = {11457064787617704916}, scopus = {2-s2.0-85095821934}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Arg-{{\sf tu}Prolog}: A {{\sf tu}Prolog}-based argumentation framework}, url = {http://ceur-ws.org/Vol-2710/paper4.pdf}, volume = 2710, year = 2020 }
@inproceedings{nsc4xai-woa2020, address = {Aachen, Germany}, articleno = 8, author = {Pisano, Giuseppe and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea}, booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''}, dblp = {conf/woa/PisanoCCO20}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/781387}, issn = {1613-0073}, keywords = {XAI, Hybrid Systems, Neural Networks, Logical Constraining}, location = {Bologna, Italy}, month = oct, note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings}, numpages = 17, pages = {101--117}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scopus = {2-s2.0-85095616404}, scopus-id = {2-s2.0-85095616404}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Neuro-symbolic Computation for {XAI}: Towards a Unified Model}, url = {http://ceur-ws.org/Vol-2706/paper18.pdf}, urlpdf = {http://ceur-ws.org/Vol-2706/paper18.pdf}, volume = 2706, year = 2020 }
@inproceedings{calegari-jurix2020, location = {Brno, Czech Republic}, Month = {9-11}}}, editor = {Villata, Serena and Harašta, Jakub and Křemen, Petr}, author = {Calegari, Roberta and Sartor, Giovanni}, title = {A Model for the Burden of Persuasion in Argumentation}, pages = {13-22}, doi = {10.3233/FAIA200845}, Volume = 334, year=2020 }
@inproceedings{compulaw-woa2020, address = {Aachen, Germany}, author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni}, booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''}, dblp = {conf/woa/CalegariOS20}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/781376}, issn = {1613-0073}, keywords = {computable law, multi-agent system, argumentation, logic, hybrid approaches}, location = {Bologna, Italy}, month = oct, note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings}, numpages = 15, pages = {54--68}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scopus = {2-s2.0-85095574538}, scopus-id = {2-s2.0-85095574538}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Computable Law as Argumentation-based {MAS}}, url = {http://ceur-ws.org/Vol-2706/paper10.pdf}, volume = 2706, year = 2020 }
@proceedings{proceedings-woa2020, address = {Aachen, Germany}, booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''}, dblp = {conf/woa/2020}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/781511}, issn = {1613-0073}, location = {Bologna, Italy}, month = oct, note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings}, pages = {VII, 251}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {From Objects to Agents}, url = {http://ceur-ws.org/Vol-2706/}, urlpdf = {http://apice.unibo.it/xwiki/bin/download/Publications/ProceedingsWoa2020/ProceedingsWOA2020.pdf}, volume = 2706, year = 2020 }
@inproceedings{kotlindsi4prolog-woa2020, address = {Aachen, Germany}, author = {Ciatto, Giovanni and Calegari, Roberta and Siboni, Enrico and Denti, Enrico and Omicini, Andrea}, booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''}, dblp = {conf/woa/CiattoCSDO20}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/781391}, keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin}, location = {Bologna, Italy}, month = oct, note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings}, numpages = 18, pages = {219--236}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scopus = {2-s2.0-85095597762}, series = {CEUR Workshop Proceedings}, subseries = {AIxIA Series}, title = {{{\sf 2}P-{\sc Kt}}: logic programming with objects \char"26{} functions in {K}otlin}, url = {http://ceur-ws.org/Vol-2706/paper14.pdf}, urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf}, volume = 2706, year = 2020 } }}}))) ((({{{ @inproceedings{preface-woa2020, address = {Aachen, Germany}, author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''}, editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni}, iris = {11585/781522}, location = {Bologna, Italy}, month = oct, note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings}, numpages = 2, pages = {iii--iv}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scopus = {2-s2.0-85095596630}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Preface}, url = {http://ceur-ws.org/Vol-2706/xpreface.pdf}, urlpdf = {http://ceur-ws.org/Vol-2706/xpreface.pdf}, volume = 2706, year = 2020 } }}}))) ((({{{ @inproceedings{calegari-ICLP2020, author = {Calegari, Roberta and Sartor, Giovanni}, title = {Burden of Persuasion in Argumentation}, booktitle = {Proceedings 36th International Conference on Logic Programming (Technical Communications), {ICLP} 2020}, year = 2020, keywords = {Burden of Proof; Argument Evaluation; Labelling Semantics; Legal Reasoning; Legal argument}, Month = {18--24}}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = 325, publisher = {Open Publishing Association}, pages = {151--163}, doi = {10.4204/EPTCS.325.21} } }}}))) ((({{{ @article{logictech-information11, articleno = 167, author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea}, dblp = {journals/information/CalegariCDO20}, doi = {10.3390/info11030167}, editor = {Susilo, Willy}, iris = {11585/752671}, issn = {2078-2489}, journal = {Information}, keywords = {symbolic AI; logic-based technologies; intelligent systems}, month = mar, note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''}, number = 3, numpages = 29, pages = {167:1--167:29}, publisher = {MDPI}, scholar = {15744297419438793629}, scopus = {2-s2.0-85082507008}, title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives}, url = {http://www.mdpi.com/2078-2489/11/3/167}, volume = 11, wos = {000524309400026}, year = 2020 } }}}))) ((({{{ @inproceedings{calegari-arg-jurix2020, location = {Brno/Prague, Czech Republic}, Month = {9-11}}}, editor = {Villata, Serena and Harašta, Jakub and Křemen, Petr}, author = {Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni}, title = {{A}rg-tu{P}rolog: a modular logic argumentation tool for {PIL}}, pages = {265-268}, doi = {10.3233/FAIA200880}, Volume = 334, year=2020 } }}}))) ((({{{ @article{xaisurvey-ia14, author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea}, booktitle = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'}, dblp = {journals/ia/CalegariCO20}, doi = {10.3233/IA-190036}, editor = {Baldoni, Matteo and Bergenti, Federico and Monica, Stefania and Vizzari, Giuseppe}, iris = {11585/772707}, journal = {Intelligenza Artificiale}, keywords = {XAI, symbolic and sub-symbolic AI, explainability, interpretability, trustable system}, month = sep, note = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'}, number = 1, numpages = 26, pages = {7--32}, publisher = {IOS Press}, scholar = {14107040211648876458}, scopus = {2-s2.0-85092388493}, semanticscholar = {222137614}, title = {On the integration of symbolic and sub-symbolic techniques for {XAI}: A survey}, url = {http://content.iospress.com/articles/intelligenza-artificiale/ia190036}, volume = 14, wos = {000574865700002}, year = 2020 } }}}))) ((({{{ @inproceedings{arglpxai-aiia2020, author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni}, booktitle = {XAI.it 2020 -- Italian Workshop on Explainable Artificial Intelligence 2020}, dblp = {conf/aiia/CalegariOS20}, editor = {Musto, Cataldo and Magazzeni, Daniele and Ruggieri, Salvatore and Semeraro, Giovanni}, iris = {11585/780458}, keywords = {explainable AI, ethical AI, argumentation, logic programming, abduction, probabilistic LP, inductive LP}, month = nov, note = {Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020)}, pages = {55--68}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scopus = {2-s2.0-85098916778}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Argumentation and Logic Programming for Explainable and Ethical {AI}}, url = {http://ceur-ws.org/Vol-2742/paper5.pdf}, volume = 2742, year = 2020 } }}}))) </div> <div class="mainselectbottom"> 12 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2020 {{stringEngIta eng='with' ita='con'/}} IRIS ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div> <div class="mainselectseparator"> <a class="mainselectseparatorlink" id="2019" href=/xwiki/bin/view/RobertaCalegari/Publications/Services/PerYear?year=2019&service=iris&id=true&bibtex=true&inline=true&user=XWiki.RobertaCalegari> 2019 </a> </div> <div> ((({{{ @article{lpaas-ijguc10, author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea}, dblp = {journals/ijguc/CalegariDMO19}, doi = {10.1504/IJGUC.2019.10022135}, editor = {de Macedo, Douglas Dyllon Jeronimo and Messina, Fabrizio}, eissn = {1741-8488}, iris = {11585/657394}, issn = {1741-847X}, journal = {International Journal of Grid and Utility Computing}, keywords = {IoT, logic programming, multi-agent systems, pervasive computing, LPaaS, artificial intelligence, interoperability}, number = 4, pages = {344--360}, publisher = {Inderscience}, scholar = {3690275178730600901}, scopus = {2-s2.0-85069787119}, title = {Logic Programming as a Service in Multi-Agent Systems for the {I}nternet of {T}hings}, url = {https://www.inderscience.com/info/inarticle.php?artid=100878}, volume = 10, wos = {000476657400005}, year = 2019 } }}}))) ((({{{ @incollection{xmas-aiiot2019, author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea and Calvaresi, Davide}, booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019}, dblp = {conf/aiia/CiattoCOC19}, editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea}, iris = {11585/707345}, issn = {1613-0073}, keywords = {MAS; XMAS; XAI; explainability; road map}, month = nov, pages = {40--53}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scholar = {16440456382689731727}, scopus = {2-s2.0-85075953890}, series = {CEUR Workshop Proceedings}, title = {Towards {XMAS}: e{X}plainability through {M}ulti-{A}gent {S}ystems}, url = {http://ceur-ws.org/Vol-2502/paper3.pdf}, urlpdf = {http://ceur-ws.org/Vol-2502/paper3.pdf}, volume = 2502, year = 2019 } }}}))) ((({{{ @incollection{defeasiblelegalreasoning-jurix2019, author = {Calegari, Roberta and Contissa, Giuseppe and Lagioia, Francesca and Omicini, Andrea and Sartor, Giovanni}, booktitle = {Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference}, dblp = {conf/paams/CiattoM0O19}, doi = {10.3233/FAIA190320}, editor = {Araszkiewicz, Michał and Rodríguez-Doncel, Víctor}, eisbn = {978-1-64368-049-1}, iris = {11585/708232}, isbn = {978-1-64368-048-4}, keywords = {AI and Law, legal reasoning, defeasible reasoning, argumentation}, location = {Madrid, Spain}, month = {11-13}}}, scopus = {2-s2.0-85082137325}, series = {Frontiers in Artificial Intelligence and Applications}, title = {Defeasible Systems in Legal Reasoning: A Comparative Assessment}, volume = 322, wos = {000624479900019}, year = 2019 } }}}))) ((({{{ @incollection{xailp-woa2019, author = {Calegari, Roberta and Ciatto, Giovanni and Dellaluce, Jason and Omicini, Andrea}, booktitle = {WOA 2019 -- 20th Workshop ``From Objects to Agents''}, dblp = {conf/woa/CalegariCDO19}, editor = {Bergenti, Federico and Monica, Stefania}, iris = {11585/692870}, keywords = {XAI, logic programming, machine learning, symbolic vs. subsymbolic}, location = {Parma, Italy}, month = {26--28}}}, scopus = {2-s2.0-85069688451}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Interpretable Narrative Explanation for {ML} Predictors with {LP}: A Case Study for {XAI}}, url = {http://ceur-ws.org/Vol-2404/paper16.pdf}, volume = 2404, year = 2019 } }}}))) ((({{{ @incollection{microintelligencelp-mmasII, author = {Omicini, Andrea and Calegari, Roberta}, booktitle = {Massively Multi-Agent Systems II}, chapter = 2, dblp = {conf/mmas/OmiciniC18}, doi = {10.1007/978-3-030-20937-7_2}, editor = {Lin, Donghui and Ishida, Toru and Zambonelli, Franco and Noda, Itsuki}, iris = {11585/687499}, isbn = {978-3-030-20937-7}, keywords = {pervasive system, MMAS, micro-intelligence, logic-based, LPaaS}, month = may, note = {International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers}, pages = {21--35}, publisher = {Springer}, publonsid = {22195270}, scopus = {2-s2.0-85066143737}, series = {Lecture Notes in Computer Science}, subseries = {Lecture Notes in Artificial Intelligence}, title = {Injecting (Micro)Intelligence in the {IoT}: Logic-based Approaches for {(M)MAS}}, url = {http://link.springer.com/10.1007/978-3-030-20937-7_2}, volume = 11422, year = 2019 } }}}))) ((({{{ @incollection{edgeintelligenceguidelines-idcs2019, author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea}, booktitle = {Internet and Distributed Computing Systems (IDCS 2019)}, dblp = {conf/idcs/CalegariCDO19}, doi = {10.1007/978-3-030-34914-1_25}, eisbn = {978-3-030-34914-1}, iris = {11585/705119}, isbn = {978-3-030-34913-4}, keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence}, location = {Napoli, Italy}, month = {10--12}}}, scopus = {2-s2.0-85075905010}, series = {Lecture Notes in Computer Science}, title = {Engineering Micro-intelligence at the Edge of {CPCS}: Design Guidelines}, url = {http://link.springer.com/10.1007/978-3-030-34914-1_25}, volume = 11874, year = 2019 } }}}))) </div> <div class="mainselectbottom"> 6 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2019 {{stringEngIta eng='with' ita='con'/}} IRIS ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div> <div class="mainselectseparator"> <a class="mainselectseparatorlink" id="2018" href=/xwiki/bin/view/RobertaCalegari/Publications/Services/PerYear?year=2018&service=iris&id=true&bibtex=true&inline=true&user=XWiki.RobertaCalegari> 2018 </a> </div> <div> ((({{{ @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}}}, 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 } }}}))) ((({{{ @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 } }}}))) ((({{{ @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 } }}}))) ((({{{ @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}}}, 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 } }}}))) </div> <div class="mainselectbottom"> 6 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2018 {{stringEngIta eng='with' ita='con'/}} IRIS ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div> <div class="mainselectseparator"> <a class="mainselectseparatorlink" id="2017" href=/xwiki/bin/view/RobertaCalegari/Publications/Services/PerYear?year=2017&service=iris&id=true&bibtex=true&inline=true&user=XWiki.RobertaCalegari> 2017 </a> </div> <div> ((({{{ @Inbook{Calegari2018, author="Calegari, Roberta and Denti, Enrico", editor="De Pietro, Giuseppe and Gallo, Luigi and Howlett, Robert J. and Jain, Lakhmi C.", title="Context Reasoning and Prediction in Smart Environments: The Home Manager Case", bookTitle="Intelligent Interactive Multimedia Systems and Services 2017", year="2018", publisher="Springer International Publishing", address="Cham", pages="451--460", isbn="978-3-319-59480-4", doi="10.1007/978-3-319-59480-4_45", url="http://dx.doi.org/10.1007/978-3-319-59480-4_45", note="Proceedings of IIMSS 2017, Vilamoura, Portugal, 21-23 June 2017" } }}}))) ((({{{ @inproceedings{lpaas-icnsc2017, author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea}, booktitle = {2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC 2017)}, dblp = {conf/icnsc/CalegariD0O17}, doi = {10.1109/ICNSC.2017.8000070}, editor = {Fortino, Giancarlo and Zhou, MengChu and Lukszo, Zofia and Vasilakos, Athanasios V. and Basile, Francesco and Palau, Carlos and Liotta, Antonio and Fanti, Maria Pia and Guerrieri, Antonio and Vinci, Andrea}, eisbn = {978-1-5090-4428-0}, ieee = {8000070}, iris = {11585/605740}, isbn = {978-1-5090-4428-3}, keywords = {IoT, logic programming, LPaaS, pervasive computing, artificial intelligence, interoperability}, location = {Calabria, Italy}, month = may, numpages = 6, pages = {72--77}, publisher = {IEEE}, scopus = {2-s2.0-85025141526}, title = {{L}ogic {P}rogramming as a {S}ervice ({LPaaS}): Intelligence for the {IoT}}, url = {http://ieeexplore.ieee.org/document/8000070/}, urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8000070}, wos = {000463480000013}, year = 2017 } }}}))) </div> <div class="mainselectbottom"> 2 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2017 {{stringEngIta eng='with' ita='con'/}} IRIS ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div> <div class="mainselectseparator"> <a class="mainselectseparatorlink" id="2016" href=/xwiki/bin/view/RobertaCalegari/Publications/Services/PerYear?year=2016&service=iris&id=true&bibtex=true&inline=true&user=XWiki.RobertaCalegari> 2016 </a> </div> <div> ((({{{ @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} }}}))) </div> <div class="mainselectbottom"> 4 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2016 {{stringEngIta eng='with' ita='con'/}} IRIS ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div> <div class="mainselectseparator"> <a class="mainselectseparatorlink" id="2015" href=/xwiki/bin/view/RobertaCalegari/Publications/Services/PerYear?year=2015&service=iris&id=true&bibtex=true&inline=true&user=XWiki.RobertaCalegari> 2015 </a> </div> <div> ((({{{ @conference{homeMan2-icaart2015, Address = {Lisbon, Portugal}, Author = {Denti, Enrico and Calegari, Roberta}, Booktitle = {7th International Conference on Agents and Artificial Intelligence 2015 (ICAART 2015)}, Editor = {Loiseau, Stephane and Filipe, Joaquim and Duval, Beatrice and Van Den Herik, Jaap}, Month = {10--12}}}ome{M}anager: A Pervasive Multi-Agent System for Home Intelligence}, Pages = {249-256}, Publisher = {SCITEPRESS – Science and Technology Publications}, Isbn = {978-989-758-073-4}, Doi = {10.5220/0005284002490256}, Year = 2015} }}}))) ((({{{ @inproceedings{labelled2p-dcaiia2015, address = {Ferrara, Italy}, author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea}, booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)}, dblp = {conf/aiia/CalegariDO15}, editor = {Bellodi, Elena and Bonfietti, Alessio}, iris = {11585/521880}, issn = {1613-0073}, keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems}, location = {Ferrara, Italy}, month = {23--24}}}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scholar = {16046264553640973420}, scopus = {2-s2.0-85009165803}, semanticscholar = {9324685}, series = {CEUR Workshop Proceedings}, subseries = {AI*IA Series}, title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}}, urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30}, volume = 1485, year = 2015 } }}}))) </div> <div class="mainselectbottom"> 2 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2015 {{stringEngIta eng='with' ita='con'/}} IRIS ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div> <div class="mainselectseparator"> <a class="mainselectseparatorlink" id="2014" href=/xwiki/bin/view/RobertaCalegari/Publications/Services/PerYear?year=2014&service=iris&id=true&bibtex=true&inline=true&user=XWiki.RobertaCalegari> 2014 </a> </div> <div> ((({{{ @inproceedings{homemanager-its2014, Address = {Taipei, Taiwan}, author = {Denti, Enrico and Calegari, Roberta and Prandini, Marco}, title = {Extending a Smart Home Multi-Agent System with Role-Based Access Control}, Booktitle = {5th International Conference on Internet Technologies \& Society 2014 (ITS 2014)}, Editor = {Kommers, Piet and Issa, Tomayess and Chang, Dian-Fu and Isaías, Pedro}, Month = {10--12}}}, ISBN = {978-989-8533-29-6}, Year = 2014, Note = {Best Paper Award} } }}}))) </div> <div class="mainselectbottom"> 1 {{stringEngIta eng='publication in' ita='pubblicazione nel'/}} 2014 {{stringEngIta eng='with' ita='con'/}} IRIS ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div> <div class="mainselectseparator"> <a class="mainselectseparatorlink" id="2013" href=/xwiki/bin/view/RobertaCalegari/Publications/Services/PerYear?year=2013&service=iris&id=true&bibtex=true&inline=true&user=XWiki.RobertaCalegari> 2013 </a> </div> <div> ((({{{ @article{2p-alpnews2013, author = {Denti, Enrico and Omicini, Andrea and Calegari, Roberta}, iris = {11585/230475}, journal = {ALP Newsletter}, month = oct, publisher = {Association for Logic Programming}, title = {{\textsf{tu}Prolog}: Making {P}rolog Ubiquitous}, url = {http://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/}, year = 2013 } }}}))) </div> <div id="bottom" class="mainselectbottom"> 1 {{stringEngIta eng='publication in' ita='pubblicazione nel'/}} 2013 {{stringEngIta eng='with' ita='con'/}} IRIS ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
— 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