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
}