CEUR Workshop Proceedings

Unless stated explicitely and in conformance to the legal Disclaimer of Sun SITE Central Europe (CEUR) and the legal Disclaimer of Technical University of Aachen (RWTH), the copyright for the workshop proceedings as a compilation, i.e. CEUR-WS.org/Vol-1, CEUR-WS.org/Vol-2 etc., is with the respective proceedings editors. The copyright for the individual items (subsuming any type of computer-represented files containing articles, software demos, videos, etc.) within a proceedings volume is owned by default by their respective authors. Copying of items, in particular papers, and proceedings volumes is permitted only for private and academic purposes. The permission for academic use implies an attribution obligation, i.e., you must properly cite the items that you use in your own published work. Modification of items is not permitted unless a suitable license is granted by its copyright owners. Copying or use for commercial purposes is forbidden unless an explicit permission is acquired from the copyright owners. Re-publication of a CEUR Workshop Proceedings volume or of an individual item inside a proceedings volume requires permission by the copyright owners, i.e. either the respective proceedings editors, or the authors of the respective item in that volume, or both. Mirroring of the CEUR-WS.org web site, or parts of it, is prohibited. The label 'CEUR Workshop Proceedings' and the CEUR-WS logo are owned by the publisher of this site. 

Important changes are reported in our timeline. CEUR-WS.org provides its services free of charge to the academic community. We are grateful for small donations in case you want to express your appreciation of our service. We are also grateful for donations of scripts that ease our tasks, for example scripts that excerpt the bibliographic data out of index files.

works as
series containing
page_white_acrobatPeer-Reviewed Federated Learning (2023) — Mattia Passeri, Andrea Agiollo, Andrea Omicini
page_white_acrobatPosition Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (2023) — Andrea Rafanelli, Stefania Costantini, Andrea Omicini
page_white_acrobatFAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System (2023) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano
page_white_acrobatPreface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
page_white_acrobatICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (2022) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari
page_white_acrobatHypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
page_white_acrobatTowards Quality-of-Service Metrics for Symbolic Knowledge Injection (2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
page_white_acrobatProbabilistic logic programming in 2P-Kt (2022) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
page_white_acrobatCILC 2022 – Italian Conference on Computational Logic (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
page_white_acrobatLogic Programming library for Machine Learning: API design and prototype (2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
page_white_acrobatKINS: Knowledge Injection via Network Structuring (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
page_white_acrobatA view to a KILL: Knowledge Injection via Lambda Layer (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
page_white_acrobatWOA 2021 – 22nd Workshop “From Objects to Agents” (2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
page_white_acrobatA Mechanism for Reasoning over Defeasible Preferences in Arg2P (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
page_white_acrobatBurden of persuasion in argumentation: A meta-argumentation approach (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
page_white_acrobatArgumentation and Logic Programming for Explainable and Ethical AI (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
page_white_acrobat2P-Kt: logic programming with objects & functions in Kotlin (2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
page_white_acrobatArg-tuProlog: A tuProlog-based argumentation framework (2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
page_white_acrobatComputable Law as Argumentation-based MAS (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
page_white_acrobatNeuro-symbolic Computation for XAI: Towards a Unified Model (2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
page_white_acrobatPreface (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
page_white_acrobatWOA 2020 – 21st Workshop “From Objects to Agents” (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
page_white_acrobatCase studies for a new IoT programming paradigm: Fluidware (2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
page_white_acrobatTowards XMAS: eXplainability through Multi-Agent Systems (2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
page_white_acrobatPreface – AI&IoT 2019 (2019) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
page_white_acrobatInterpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
page_white_acrobatFrom the Blockchain to Logic Programming and Back: Research Perspectives (2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
page_white_acrobatLogic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
page_white_acrobatNovel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
page_white_acrobatModeling Opportunistic IoT Services in Open IoT Ecosystems (2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
page_white_acrobatTowards Logic Programming as a Service: Experiments in tuProlog (2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
page_white_acrobatGame Engines to Model MAS: A Research Roadmap (2016) — Stefano Mariani, Andrea Omicini
page_white_acrobatLabelled Variables in Logic Programming: Foundations (2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
page_white_acrobatLabelled Variables in Logic Programming: A First Prototype in tuProlog (2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
page_white_acrobatTuCSoN Coordination for MAS Situatedness: Towards a Methodology (2014) — Stefano Mariani, Andrea Omicini
page_white_acrobatCoordination for Situated MAS: Towards an Event-driven Architecture (2013) — Andrea Omicini, Stefano Mariani
page_white_acrobatSpace-aware Coordination in ReSpecT (2013) — Stefano Mariani, Andrea Omicini
page_white_acrobatTuple-based Coordination of Stochastic Systems with Uniform Primitives (2013) — Stefano Mariani, Andrea Omicini
page_white_acrobatTowards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
page_white_acrobatMolecules of Knowledge: A Novel Perspective over Knowledge Management (2012) — Stefano Mariani, Andrea Omicini
page_white_acrobatA Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Mirko Viroli, Sara Montagna
page_white_acrobatCoordinating Spatially-Situated Pervasive Service Ecosystems (2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
page_white_acrobatBaSi: Multi-Agent Based Simulation for Medieval Battles (2011) — Ambra Molesini, Enrico Denti, Andrea Omicini
page_white_acrobatApplying Process Document Standarization to INGENIAS (2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
page_white_acrobatDocumenting SODA: An Evaluation of the Process Documentation Template (2010) — Ambra Molesini, Andrea Omicini
page_white_acrobatThe O-MaSE Process: a Standard View (2010) — Juan C. Garcia-Ojeda, Scott DeLoach
page_white_acrobatEmbodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (2010) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
page_white_acrobatProcess Documentation Standardization: An Initial Evaluation (2010) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
page_white_acrobatA Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
page_white_acrobatTransitivity in Trust. A Discussed Property (2010) — Rino Falcone, Cristiano Castelfranchi
page_white_acrobatA Glimpse of the ASPECS Process documented with the FIPA DPDF Template (2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
page_white_acrobatExploring the Boundaries: When Method Fragmentation is not Convenient (2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
page_white_acrobatTowards a New Approach for MAS Situational Method Engineering: a Fragment Definition (2010) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
page_white_acrobatA Multiscale Agent-based Model of Morphogenesis in Biological Systems (2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci
page_white_acrobatTowards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
page_white_acrobatModel-driven Generation of Graphical Maps for e-Contents (2008) — Antonio Natali, Enrico Oliva, Cristina Bonanni
page_white_acrobatAgent-Based Collaboration Systems: A Case Study (2008) — Elena Nardini, Andrea Omicini
page_white_acrobatKnowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education (2008) — Maria Cristina Matteucci, Andrea Omicini, Elena Nardini, Pietro Gaffuri
page_white_acrobatTropos at the Age of Eight: On-going Research at FBK, UniTN and UT (2008) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
page_white_acrobatA comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (2007) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
page_white_acrobatA Case of Self-Organising Environment for MAS: the Collective Sort Problem (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
page_white_acrobatCollective Sorting Tuple Spaces (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
page_white_acrobatMinority Game: A Logic-Based Approach in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
page_white_acrobatSimulation of Minority Game in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
page_white_acrobatsimpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
page_white_acrobatWOA 2006 – Dagli Oggetti agli Agenti (2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
page_white_acrobat4th European Workshop on Multi-Agent Systems (EUMAS 2006) (2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget
page_white_acrobatOWL-S for Describing Artifacts (2006) — Rossella Rubino, Ambra Molesini, Enrico Denti
page_white_acrobatAn agent oriented tool for method engineering (2006) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
page_white_acrobatDistributed Instance Retrieval in Heterogeneous Ontologies (2005) — Luciano Serafini, Andrei Tamilin