Per anno

@incollection{kill-woa2022,
   author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
   booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''},
   dblp = {conf/woa/MagniniCO22},
   editor = {Ferrando, Angelo and Mascardi, Viviana},
   iris = {11585/899373},
   issn = {1613-0073},
   keywords = {symbolic knowledge injection; AI; ML; neural networks; KILL; PSyKI},
   month = nov,
   numpages = 16,
   pages = {61--76},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scholar = {514437633827732665},
   scopus = {2-s2.0-85142481549},
   semanticscholar = {253270036},
   series = {CEUR Workshop Proceedings},
   subseries = {AIxIA Series},
   title = {A view to a {KILL}: Knowledge Injection via Lambda Layer},
   url = {http://ceur-ws.org/Vol-3261/paper5.pdf},
   urlopenaccess = {http://ceur-ws.org/Vol-3261/paper5.pdf},
   urlpdf = {http://ceur-ws.org/Vol-3261/paper5.pdf},
   volume = 3261,
   year = 2022
}

@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
}

@inproceedings{kins-cilc2022,
   author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
   booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
   dblp = {conf/cilc/MagniniCO22},
   editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
   iris = {11585/899494},
   issn = {1613-0073},
   keywords = {neural network; explainable AI; symbolic knowledge injection; KINS; PSyKI},
   location = {Bologna, Italy},
   numpages = 14,
   pages = {254--267},
   publisher = {CEUR-WS},
   scholar = {10469078385425944401},
   scopus = {2-s2.0-85138240764},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {{KINS}: Knowledge Injection via Network Structuring},
   url = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
   urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
   urlpdf = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
   volume = 3204,
   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{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{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{logicapiml-cilc2022,
   author = {Ciatto, Giovanni and Castigliò, Matteo and Calegari, Roberta},
   booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
   editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
   issn = {1613-0073},
   keywords = {logic programming, machine learning, API, 2P-Kt},
   location = {Bologna, Italy},
   numpages = 15,
   pages = {104--118},
   publisher = {CEUR-WS},
   series = {ceurws},
   subseries = {AI*IA Series},
   title = {Logic Programming library for Machine Learning: {API} design and prototype},
   url = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
   urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
   urlpdf = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
   volume = 3204,
   year = 2022
}

@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
}

@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{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
}

@inproceedings{gnn-woa2021,
   articleno = 8,
   author = {Agiollo, Andrea and Ciatto, Giovanni and Omicini, Andrea},
   booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
   dblp = {conf/woa/AgiolloCO21},
   editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
   iris = {11585/834362},
   issn = {1613-0073},
   keywords = {Graph Neural Networks, Machine Learning, Embedding, Computational Logic},
   location = {Bologna, Italy},
   month = oct,
   note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
   numpages = 18,
   pages = {98--115},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scholar = {817372786663443317},
   scopus = {2-s2.0-85116916925},
   semanticscholar = {238360605},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap},
   url = {http://ceur-ws.org/Vol-2963/paper18.pdf},
   volume = 2963,
   year = 2021
}

@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{agentbasedxai-aamas2020,
   acm = {10.5555/3398761.3398992},
   author = {Ciatto, Giovanni and Calvaresi, Davide and Schumacher, Michael I. and Omicini, Andrea},
   booktitle = {19th International Conference on Autonomous Agents and MultiAgent Systems},
   dblp = {conf/atal/CiattoCSO20},
   editor = {El Fallah Seghrouchni, Amal and Sukthankar, Gita and An, Bo and Yorke-Smith, Neil},
   iris = {11585/785178},
   isbn = {978-1-4503-7518-4},
   issn = {2523-5699},
   keywords = {Abstract Framework; Multi-Agent Systems; XAI},
   location = {Auckland, New Zeland},
   month = may,
   note = {Extended Abstract},
   numpages = 3,
   pages = {1816--1818},
   publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
   scholar = {6887880147832489319},
   scopus = {2-s2.0-85090291401},
   title = {An Abstract Framework for Agent-Based Explanations in {AI}},
   url = {http://dl.acm.org/doi/10.5555/3398761.3398992},
   urlpdf = {http://ifaamas.org/Proceedings/aamas2020/pdfs/p1816.pdf},
   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{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{preface-aiiot2019,
   author = {Savaglio, Claudio and Ciatto, Giovanni and Omicini, Andrea and Fortino, Giancarlo},
   booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
   editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
   iris = {11585/707353},
   issn = {1613-0073},
   keywords = {Artificial Intelligence; Internet of Things},
   month = nov,
   pages = {i},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scopus = {2-s2.0-85075928953},
   series = {CEUR Workshop Proceedings},
   title = {Preface -- AI\&IoT 2019},
   urlpdf = {http://ceur-ws.org/Vol-2502/preface.pdf},
   volume = 2502,
   year = 2019
}

@proceedings{aiiot2019-ceur2502,
   booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
   dblp = {conf/aiia/2019aiiot},
   editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
   iris = {11585/707347},
   issn = {1613-0073},
   keywords = {artificial intelligence; Internet of Things},
   location = {Rende, Italy},
   month = nov,
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   series = {CEUR Workshop Proceedings},
   title = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
   url = {http://ceur-ws.org/Vol-2502/},
   volume = 2502,
   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~} # jun,
   numpages = 8,
   pages = {105--112},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   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
}

@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
}

@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
}

@inproceedings{coordination-woa2017,
   author = {Mariani, Stefano and Omicini, Andrea and Ciatto, Giovanni},
   booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
   chapter = 11,
   dblp = {conf/woa/0001OC17},
   editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarn{\'e}, Giuseppe M.L.},
   iris = {11585/602750},
   issn = {1613-0073},
   month = jun,
   numpages = 4,
   pages = {61--64},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scopus = {2-s2.0-85025164372},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Novel Opportunities for Tuple-based Coordination: {XP}ath, the {B}lockchain, and Stream Processing},
   url = {http://ceur-ws.org/Vol-1867/w11.pdf},
   volume = 1867,
   year = 2017
}

@inproceedings{snnta-assb17,
author = {Ciatto, Giovanni and {De Maria}, Elisabetta and {Di Giusto}, Cinzia},
booktitle = {Proc. of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB)},
pages = {55--69},
publisher = {EDP Sciences},
title = {{Spiking Neural Networks as Timed Automata}},
url = {http://epigenomique.free.fr/en/index.php},
year = 2017
}

@inproceedings{DeMaria:2017:FVN:3156346.3156350,
author = {De Maria, Elisabetta and Di Giusto, Cinzia and Ciatto, Giovanni},
title = {Formal Validation of Neural Networks As Timed Automata},
booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics},
series = {CSBio '17},
year = {2017},
isbn = {978-1-4503-5350-2},
location = {Nha Trang City, Viet Nam},
pages = {15--22},
numpages = {8},
url = {http://doi.acm.org/10.1145/3156346.3156350},
doi = {10.1145/3156346.3156350},
acm = {3156350},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Leaky Integrate and Fire Model, Model Checking, Neural networks, Temporal Logic, Timed Automata},
}