Per Year
@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 }
@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 } }}}))) ((({{{ @incollection{semanticselfcomposition-isola2020, address = {Cham}, author = {Caselli, Ashley and Ciatto, Giovanni and Di Marzo Serugendo, Giovanna and Omicini, Andrea}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles}, dblp = {conf/isola/CaselliCSO20}, doi = {10.1007/978-3-030-61470-6_13}, editor = {Margaria, Tiziana and Steffen, Bernhard}, iris = {11585/776750}, isbn = {978-3-030-61470-6}, month = oct, pages = {205--223}, publisher = {Springer International Publishing}, scopus = {2-s2.0-85096570203}, series = {Lecture Notes in Computer Science}, title = {Engineering Semantic Self-composition of Services Through Tuple-Based Coordination}, url = {https://link.springer.com/10.1007/978-3-030-61470-6_13}, urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/776750/695563/ccdmso-isola-2020.pdf}, urlpdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-61470-6_13.pdf}, volume = 12477, year = 2020 } }}}))) </div> <div id="bottom" class="mainselectbottom"> 5 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2020 {{stringEngIta eng='without' ita='senza'/}} Google Scholar ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>