Per Sort

57 papers in proceedings  /  Roberta Calegari
 @inproceedings{vicinity-ximl2023,
    address = {Krakov, Poland},
    author = {Eleonora Misino and Calegari, Roberta and Michele Lombardi and Milano, Michela},
    booktitle = {AEQUITAS 2023 – Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023)},
    issn = {1613-0073},
    keywords = {fair ranking, fair matchmaking, fairness in AI},
    series = {CEUR Workshop Proceedings},
    title = {{FAiRDAS}: Fairness-Aware Ranking as Dynamic Abstract System},
    url = {https://ceur-ws.org/Vol-3523/paper5.pdf},
    urlopenaccess = {https://ceur-ws.org/Vol-3523/paper5.pdf},
    volume = 3523,
    year = 2023
} 
 @inproceedings{fairness-ijcai2023,
    address = {Macau, China},
    author = {Calegari, Roberta and Castañé, Gabriel G. and Milano, Michela and O'Sullivan, Barry},
    booktitle = {32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)},
    doi = {https://doi.org/10.24963/ijcai.2023/735},
    keywords = {AI fairness, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR},
    month = {August 19--25},
    pages = {6554-6562},
    publisher = {IJCAI},
    title = {Assessing and Enforcing Fairness in the {AI} Lifecycle},
    year = 2023
} 
 @inproceedings{vicinity-ximl2023,
    address = {Krakov, Poland},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Proceedings of the 3rd International Workshop on Explainable and Interpretable Machine Learning (XI-ML 2023)},
    title = {Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques},
    year = 2023
} 
 @inproceedings{exact-kodis2023,
    address = {Rhodes, Greece},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Proceedings of the 2nd International Workshop on Knowledge Diversity (KoDis 2023)},
    title = {{ExACT} Explainable Clustering: Unravelling the Intricacies of Cluster Formation},
    year = 2023
} 
  
 @inproceedings{explainableclustering-woa2023,
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {WOA 2023 -- 24th Workshop ``From Objects to Agents''},
    editor = {Rino Falcone and Cristiano Castelfranchi and Alessandro Sapienza and Filippo Cantucci},
    iris = {11585/952626},
    issn = {1613-0073},
    keywords = {Explainable clustering, Explainable artificial intelligence, Symbolic knowledge extraction, PSyKE},
    month = nov,
    numpages = 14,
    pages = {232--245},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85179624285},
    series = {CEUR Workshop Proceedings},
    subseries = {AIxIA Series},
    title = {Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents},
    url = {https://ceur-ws.org/Vol-3579/paper18.pdf},
    urlopenaccess = {https://ceur-ws.org/Vol-3579/paper18.pdf},
    urlpdf = {https://ceur-ws.org/Vol-3579/paper18.pdf},
    volume = 3579,
    year = 2023
} 
 @inproceedings{creepy-beware2023,
    address = {Rome, Italy},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2023)},
    title = {Unveiling Opaque Predictors via Explainable Clustering: The {CReEPy} Algorithm},
    year = 2023
} 
 @inproceedings{cream-kr2023,
    address = {Rhodes, Greece},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {20th International Conference on Principles of Knowledge Representation and Reasoning},
    doi = {10.24963/kr.2023/58},
    editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},
    iris = {11585/893144},
    isbn = {978-1-956792-02-7},
    issn = {2334-1033},
    keywords = {Explainable AI, Applications that combine KR with machine learning, Integrating knowledge representation and machine learning, KR and machine learning, inductive logic programming, knowledge acquisition},
    month = aug,
    pages = {593--603},
    publisher = {IJCAI Organization},
    scopus = {2-s2.0-85176733868},
    title = {Explainable Clustering with CREAM},
    url = {https://proceedings.kr.org/2023/58/},
    urlpdf = {https://proceedings.kr.org/2023/58/kr2023-0058-sabbatini-et-al.pdf},
    year = 2023
} 
 @inproceedings{fire-ecai2023,
    address = {Krakov, Poland},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023)},
    doi = {10.3233/FAIA230496},
    eissn = {978-1-64368-437-6 },
    iris = {11585/952617},
    pages = {2033--2040},
    editor = {Kobi Gal and Ann Nowé and Grzegorz J. Nalepa and Roy Fairstein and Roxana Rădulescu},
    scopus = {2-s2.0-85175827763},
    series = {Frontiers in Artificial Intelligence and Applications},
    subseries = {ECAI 2023},
    title = {Symbolic Knowledge-Extraction Evaluation Metrics: The {FiRe} Score},
    url = {https://ebooks.iospress.nl/doi/10.3233/FAIA230496},
    volume = 372,
    year = 2023
} 
 @incollection{cooparg-aixia2022,
    address = {Cham, Switzerland},
    author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea},
    booktitle = {AIxIA 2022 -- Advances in Artificial Intelligence},
    chapter = 10,
    dblp = {conf/aiia/PisanoCO22},
    doi = {10.1007/978-3-031-27181-6_10},
    editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
    eisbn = {978-3-031-27181-6},
    institution = {University of Udine},
    iris = {11585/926736},
    isbn = {978-3-031-27180-9},
    issn = {0302-9743},
    keywords = {argumentation, arg2p, cooperative argumentation, multi-agent systems, cooperative reasoning},
    location = {Udine, Italy},
    month = mar,
    note = {XXI International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 -- December 2, 2022, Proceedings},
    numpages = 14,
    pages = {140--153},
    publisher = {Springer},
    scholar = {611421105673679245},
    scopus = {2-s2.0-85151050879},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Multi-Agent Cooperative Argumentation in {Arg\textsf{2}P}},
    url = {http://link.springer.com/10.1007/978-3-031-27181-6_10},
    volume = 13796,
    wos = {WOS:000999015100010},
    year = 2023
} 
 @article{psyketrust-aixia2022,
    address = {Cham, Switzerland},
    author = {Calegari, Roberta and Federico, Sabbatini},
    booktitle = {AIxIA 2022},
    doi = {10.1007/978-3-031-27181-6_1},
    editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
    eisbn = {978-3-031-27181-6},
    institution = {University of Udine},
    isbn = {978-3-031-27180-9},
    issn = {0302-9743},
    location = {Udine, Italy},
    month = mar,
    note = {XXI International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 -- December 2, 2022, Proceedings},
    numpages = 14,
    pages = {3--16},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {The {PSyKE} Technology for Trustworthy Artificial Intelligence},
    url = {https://doi.org/10.1007/978-3-031-27181-6_1},
    volume = 13796,
    year = 2023
} 
 @incollection{clustering-extraamas2023,
    address = {London, UK},
    author = {Sabbatini, Federico and Calegari, Roberta},
    doi = {10.1007/978-3-031-40877-9},
    editor = {Calvaresi, Davide and Najjar, Amro and Omicini, Andrea and Aydoǧan, Reyhan and Carli, Rachele and Ciatto, Giovanni and Mualla, Yazan and Främling, Kary},
    isbn = {978-3-031-40877-9},
    issn = {0302-9743},
    keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Clustering},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors},
    url = {http://link.springer.com/10.1007/978-3-031-40877-9},
    volume = 14127,
    year = 2023
} 
 @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{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{cluster-ske-xlokr2022,
    address = {Haifa, Israel},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {XLoKR 2022 - Third Workshop on Explainable Logic-Based Knowledge Representation},
    keywords = {Explainable AI; Symbolic knowledge extraction; Clustering},
    month = {July 31},
    title = {Clustering-Based Approaches for Symbolic Knowledge Extraction},
    url = {https://arxiv.org/abs/2211.00234},
    year = 2022
} 
 @inproceedings{calegari-aixia2021,
	address = {Cham},
	author = {Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
	booktitle = {AIxIA 2021 -- Advances in Artificial Intelligence},
	doi = 10.1007/978-3-031-08421-8_7,
	editor = {Bandini, Stefania and Gasparini, Francesca and Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
	isbn = {978-3-031-08421-8},
	month = jul,
	pages = {91--103},
	publisher = {Springer International Publishing},
	series = {Lecture Notes in Computer Science},
	title = {Modular Logic Argumentation in Arg-TuProlog},
	volume = 13196,
	year = 2022} 
 @inproceedings{skemetrics-xaifin2022,
    address = {New York, NY, USA},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Workshop on Explainable AI in Finance @ICAIF 2022},
    doi = {10.48550/arXiv.2211.00238},
    keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Readability metrics; AutoML},
    month = {November 2},
    scholar = {5021962022669458541},
    semanticscholar = {253244189},
    title = {Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper},
    url = {https://arxiv.org/abs/2211.00238},
    urlopenaccess = {https://arxiv.org/abs/2211.00238},
    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
} 
 @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
} 
 @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}
} 
 @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
} 
 @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{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
} 
 @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}} 
 @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
} 
 @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
} 
 @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{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
} 
 @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
} 
 @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{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{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{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
} }}})))
((({{{ @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{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
} }}})))
((({{{ @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{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}
} }}})))
((({{{ @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
} }}})))
((({{{ @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{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{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
} }}})))
((({{{ @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{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
} }}})))
((({{{ @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{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
} }}})))
((({{{ @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{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{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
} }}})))
((({{{ @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{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
} }}})))
((({{{ @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{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}
} }}})))
((({{{ @inproceedings{ctg-sigsoft2007,
	acm = {1287684},
	Address = {New York, NY, USA},
	Author = {Calegari, Roberta and Musolesi, Mirco and Raimondi, Franco and Mascolo, Cecilia},
	Booktitle = {6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE 2007)},
	Doi = {10.1145/1287624.1287684},
	Isbn = {978-1-59593-811-4},
	Keywords = {connectivity model, delay tolerant networking, opportunistic systems, protocol testing},
	Location = {Dubrovnik, Croatia},
	Numpages = {10},
	Pages = {415--424},
	Publisher = {ACM},
	Series = {ESEC-FSE '07},
	Url = {http://dl.acm.org/citation.cfm?doid=1287684},
	Title = {{CTG}: A Connectivity Trace Generator for Testing the Performance of Opportunistic Mobile Systems},
	Url = {http://doi.acm.org/10.1145/1287624.1287684},
	Year = 2007} }}})))
</div>
<div id="bottom" class="mainselectbottom">
57 papers in proceedings &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>