Social Computing
Componenti
- Boella Guido (Coordinatore)
- Baldoni Matteo (Componente)
- Baroglio Cristina (Componente)
- Di Caro Luigi (Componente)
- Micalizio Roberto (Componente)
- Capecchi Sara (Collaboratore/Collaboratrice)
- Pozzato Gian Luca (Collaboratore/Collaboratrice)
- Humphreys Llio Bryn (Dottorando/a)
- Alice Ruggeri (Collaboratore/Collaboratrice)
- Sulis Emilio (Ricercatore/Ricercatrice)
- Schifanella Claudio (Professore/Professoressa associato/a)
- Grasso Francesca (Dottorando/a)
- Ferrod Roger (Dottorando/a)
- Audrito Davide (Dottorando/a)
- Ruggiero Giuseppe (Dottorando/a)
- Siragusa Giovanni (Postdoc)
Attività
I moderni sistemi informativi, come i sistemi socio-tecnici (STS), stanno diventando via via più complessi, con una natura cross-organizzativa e con l'esigenza di coinvolgere molti stakeholder: essi richiedono una transizione da una prospettiva individualistica ad una societaria. Il Social Computing studia gli aspetti collaborativi e interattivi dei comportamenti mediati dall'ICT: le applicazioni sociali eseguono una computazione sociale che è la somma dei contributi indipendenti di parti autonome ed eterogenee. Essi possono essere formalizzati in maniera naturale basandosi sulla nozione di norma, in una maniera che richiama meccanismi tipici della società umana.
Il Social Computing trova applicazione diretta nella "social informatics", dove le reti sociali sono studiate, e nella "legal informatics", dove le norme della società sono trattate. Richiede lo sviluppo di nuovi modelli e metodologie di software engineering e di business process - che costituiscono il nucleo della progettazione dei sistemi nonché dei sistemi di gestione d'impresa. A questo fine, è necessario appoggiarsi a strumenti sviluppati dell'Informatica, quali "knowledge discovery", elaborazione del linguaggio naturale, ontologie, sistemi multiagente e logica. Noi studiamo diversi aspetti del Social Computing, riassunti, nella figura sottostante, rispetto a due assi: quello dei domini applicativi e quello degli strumenti. Il valore aggiunto del nostro approccio è che è duplicemente interdisciplinare: lo è il livello degli strumenti come lo è anche il livello dei domini, coinvolgendo entrambi aspetti di scienze umane e sociali da un lato e di scienze dell'informazione dall'altro.
I temi di ricerca introdotti utilizzano diversi strumenti. In ordine alfabetico:
- Role, Affordance, STS, Interaction Protocol, Commitment: gli approcci tradizionali al software engineering mal si adattano ai bisogni degli STS in quanto non catturano gli aspetti sociali della computazione, come le relazioni sociali. Le relazioni sociali connettono le parti interagenti, hanno una valenza normativa, possono essere verificati basandosi esclusivamente sul comportamento osservabile delle parti. I sistemi multiagente sono un paradigma promettente in quanto sono composti da agenti autonomi, interagenti. Noi vediamo sia gli agenti che le relazioni sociali come elementi di prima classe: le relazioni sociali sono create durante l'esecuzione di protocolli di interazione e forniscono aspettative sul comportamento degli agenti, le relazioni sociali hanno un impatto sulle decisioni degli agenti che coinvolgono. Da un punto di vista di software engineering appoggiarsi a una rappresentazione esplicita delle relazioni sociali comporta maggiore disaccoppiamento e modularità fra le componenti del sistema.
- Accountability, Argumentation, Compliance, Conformance, Normative Reasoning: le norme sono fondamentali nel modellare applicazioni sociali - anche gli STS prevedono un layer specifico che contiene le regolamentazioni che normano il comportamento del sistema. C'è bisogno di meccanismi di ragionamento per elicitare informazione riguardo al comportamento degli agenti, e così riguardo alla società. In particolare gli agenti ragionano sulle norme per comprendere quali obblighi, proibizioni, ecc. vincolano il loro comportamento, ragionano sul proprio comportamento per comprendere (a priori o in fase di esecuzione) se/come conformarsi alle norme, argomentano con gli altri agenti per raggiungere accordi su come comportarsi e, in caso di fault/fallimenti, è necessario comprendere quali agenti sono responsabili della situazione.
- Process Mining, Run-time Verification, Planning, Diagnosis: i processi di business cross-organizzativi e i workflow orientati agli esseri umani sono intrinsecamente sociali. Implementano accordi negoziati fra le parti interagenti. In quanto tali è importante verificare la loro conformità agli accordi. Ciò può essere fatto staticamente (conformance) o dinamicamente (verifica run-time). E' anche importante fare mining sui dati di log e simili per elicitare processi non documentati (uno standard in molte realtà) al fine di verificare la loro compliance/conformance alle norme. Invece quando è necessario adattarsi a particolari condizioni di contesto è possibile costruire dei processi di business al volo appoggiandosi a tecniche di planning. Infine la diagnosi entra in gioco quando occorre trovare una (o tutte) possibile spiegazione del comportamento del sistema.
- Legal Open Data, Legal Ontology, Norm Extraction, Norm Classification: la legge dovrebbe essere liberamente e facilmente accessibile. Le banche dati on-line e i sistemi di conoscenza legale stanno diventando una realtà via via più ricca. E' importante che la rappresentazione delle leggi si appoggi a ontologie condivise per alimentarne la comprensione e che sia aperta semplificando così il suo uso e riuso. E' anche fondamentale sviluppare strumenti che consentano di estrarre rappresentazioni di norme da testo legale e di inferire automaticamente se una norma abbi un impatto su di un dominio di interesse.
- Daily Life Social System: questi sono sistemi che supportano i cittadini nella loro vita quotidiana. La loro realizzazione propone molte sfide fra le quali: integrazione di dati istituzionali e informazioni sociali riguardanti la vita di ogni giorno; miglioramento della consapevolezza sociale, self-governance e auto-organizzazione delle comunità locali; realizzazione di ontologie per rappresentare entità sociali; meccanismi di ragionamento per sistemi di gestione della conoscenza multi-facet, multi-purpose e multi-topic; visualizzazione dei dati per migliorare l'accessibilità all' informazione.
Computer Science and Communications research Center, Università del Lussemburgo
CIRSFID, Università di Bologna
School of Computing and Communication, Lancaster University
Multiagent Systems and Service-Oriented Computing Laboratory, North Carolina State University
KBS, Leibniz University Hannover
ADELE: Project ADELE is premised on the ongoing paradigm shift towards cognitive computing and human-centered AI which is transforming many socio-economic activities, including justice. The project applies legal analytics (LA) – a blend of datascience, machine learning and natural language processing techniques – to judicial decisions: it aims to(1) develop methods to extract knowledge and engage in outcome predictions, and therefrom (2) build a pilot tool to support legal research and decision-making processes in the judiciary.
CrossJustice: The Project aims to tackle the issues described above identifying critical gaps and solutions in a comparative perspective, in order to improve the efficiency of judicial systems and their cooperation, thanks to information and communication technology. To this end, we have CrossJustice, an online platform for advice and support on the effectiveness of procedural rights providing a free service, mainly directed to legal professionals, but accessible to law students, NGOs and all EU citizens.
InterLex: InterLex is a EU-funded project coordinated by the University of Turin, involving five European-wide academic institutions, a software development company specialising in legal informatics, and a Lawyers Association. The aim of the two-year project, which started in September 2018, is to develop a platform for providing information, decision support and training on private international law.
Librare: Grazie a metodologie semantiche e informazioni aggiunte dagli utenti stessi del sistema, le attività di arricchimento del libro permetteranno di creare differenti percorsi di lettura, analisi del testo letterario più creative e coinvolgenti, ed ancora esplorazioni di testi personalizzata per l'utente del sistema.
ATHOS: Accountable TrustwortHy Organizations and Systems
SEES@W: esplora soluzioni e servizi innovativi per la sicurezza sul lavoro sfruttando dati prodotti da sistemi di sensori connessi ad internet secondo il modello "Internet of Things" o prodotti dai lavoratori secondo il modello "Internet of Persons".
ICT4Law: ICT Converging on Law: Next Generation Services for Citizens, Enterprises, Public Administration and Policymakers
EUCases: Linking Legal Open Data in Europe
REWERSE: Reasoning on the Web with Rules and Semantics
Erasmus Mundus Joint Doctorate in Law, Science and Technolgies
Project with Cour de Cassation of Paris on judgement drafting: Un outil d'aide a la decision juridiqu
ITxLaw: Project financed on call Compagnia di San Paolo 2013
EU Legal Culture: Project financed on call Compagnia di San Paolo
Compagnia di San Paolo financed project "I-learn e didattica interattiva a distanza, anni 2007-2008"
Vigoni exchange program with the University of Hannover (Germany), for theyears 2007-2008
MIUR, 2005-07, "Specifica e verifica di protocolli di interazione fra agenti"
MIUR, 2003-05, "MASSiVE, Sviluppo e verifica di sistemi multiagente basati sulla logica"
Guido Boella
+ 39 011 670 6280
Progetti
Prodotti della ricerca
Engineering Business Process through Accountability and Agents
Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019,
The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
2019
Type Checking for Protocol Role Enactments via Commitments
Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, JAAMAS Track, AAMAS 2019,
The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
2019
Implementing Business Processes in JaCaMo+ by Exploiting Accountability and Responsibility
Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, DEMO Track, AAMAS 2019,
The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
2019
Programming Agents by Their Social Relationships: A Commitment-Based Approach
ALGORITHMS, 2019
Process Coordination with Business Artifacts and Multiagent Technologies
JOURNAL ON DATA SEMANTICS, 2019
Accountability and Agents for Engineering Business Processes
Proc. of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019,
The 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019
2019
Accountability, Responsibility and Robustness in Agent Organizations
Proc. of the 1st International Workshop on Responsible Artificial Intelligence Agents, RAIA 2019,
The 1st International Workshop on Responsible Artificial Intelligence Agents, RAIA 2019
2019
Semi-automatic knowledge population in a legal document management system
ARTIFICIAL INTELLIGENCE AND LAW, 2019
ARTIFICIAL INTELLIGENCE AND LAW, 2019
The Role of Common-Sense Knowledge in Assessing Semantic Association
JOURNAL ON DATA SEMANTICS, 2019
Unveiling middle-level concepts through frequency trajectories and peaks analysis
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing,
The 34th ACM/SIGAPP Symposium On Applied Computing
2019
Disclosing citation meanings for augmented research retrieval and exploration
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
16th International Semantic Web Conference, ESWC 2019
2019
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans
Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019,
The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
2019
MOCA: An ORM model for computational accountability
INTELLIGENZA ARTIFICIALE, 2019
PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference
2019
IEEE ACCESS, 2019
Designing an urban support for autism
Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2019,
21st International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2019
2019
Temporal Multiagent Plan Execution: Explaining What Happened
Explainable, Transparent Autonomous Agents and Multi-Agent Systems,
EXplainable TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS)
2019
BLINC: Inclusive Blockchain for Digital Citizenships
I-cities 2019, 5th Italian Conference on ICT for Smart Cities And Communities,
I-cities 2019, 5th Italian Conference on ICT for Smart Cities And Communities
2019
Blockchain and Artificial Intelligence for quality food protection and advanced consumer services
I-cities 2019, 5th Italian Conference on ICT for Smart Cities And Communities,
I-cities 2019, 5th Italian Conference on ICT for Smart Cities And Communities
2019
Accountability, Responsibility and Robustness in Agent Organizations
Proceedings of the 34th Italian Conference on Computational Logic,
Italian Conference on Computational Logic 2019
2019
A Focus on Robustness with ARFIN organizations
Proceedings of the 20th Workshop “From Objects to Agents”,
20th Workshop “From Objects to Agents”
2019
Renvoi in Private International Law: A Formalization with Modal Contexts
Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference,
Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference
2019
Crowdmapping for inclusive smart city
ICITIES 2019,
5th Italian Conference on ICT for Smart Cities And Communities
2019
Mining annotators common knowledge for automatic text revision
INTERNATIONAL JOURNAL OF METADATA, SEMANTICS AND ONTOLOGIES, 2019
Frequent Use Cases Extraction from Legal Texts in the Data Protection Domain
Frontiers in Artificial Intelligence and Applications,
International Conference on Legal Knowledge and Information Systems (JURIX)
2019
Relating Legal Entities via Open Information Extraction
Communications in Computer and Information Science,
12th International Conference on Metadata and Semantics Research, MTSR 2018
2019
Commitment-based Agent Interaction in JaCaMo
FUNDAMENTA INFORMATICAE, 2018
Objective Coordination with Business Artifacts and Social Engagements
Business Process Management Workshops, 2018
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach
FUNDAMENTA INFORMATICAE, 2018
ELEARNING AND SOFTWARE FOR EDUCATION,
The 14th International Scientific Conference eLearning and Software for Education
2018
ELEARNING AND SOFTWARE FOR EDUCATION, 2018
A model for structuring shared learning materials within a Virtual Community
Proceedings della Multiconferenza EM&M ITALIA,
EMEMITALIA 2017
2018
Towards adaptive systems for automatic formative assessment in virtual learning communities
Proceedings of 2018 IEEE 42nd Annual Computer Software and Applications Conference,
2018 42nd IEEE International Conference on Computer Software & Applications
2018
Sharing system of learning resources for adaptive strategies of scholastic remedial intervention
Proceedings of the 4rd International Conference on Higher Education Advances (HEAd’18),
4rd International Conference on Higher Education Advances (HEAd’18)
2018
DEVELOPING COMPETENCE ASSESSMENT SYSTEMS IN ELEARNING COMMUNITIES
Exploring the Micro, Meso and Macro Navigating between dimensions in the digital learning landscape: EDEN 2018 CONFERENCE PROCEEDINGS,
EDEN 2018 ANNUAL Conference
2018
Ontology Development for Competence Assessment in Virtual Communities of Practice
Artificial Intelligence in Education 19th International Conference, AIED 2018 London, UK, June 27–30, 2018 Proceedings,,
19th International Conference, AIED 2018
2018
Type checking for protocol role enactments via commitments
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2018
Computational accountability in MAS organizations with ADOPT
APPLIED SCIENCES, 2018
The athos project: First steps towards computational accountability
CEUR Workshop Proceedings, 2018
Intelligent Agents: Multi-Agent Systems
Reference Module in Life Sciences, 2018
Computational accountability and responsibility in multiagent systems
CEUR WORKSHOP PROCEEDINGS, 2018
Holistic User Models for Cognitive Disabilities
UMAP '18 Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization,
26th Conference on User Modeling, Adaptation and Personalization (UMAP 2018)
2018
Computational accountability in MAS organizations with ADOPT
APPLIED SCIENCES, 2018
Special Issue: Computational Ethics and Accountability
ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2018
Norm-aware and Norm-oriented Programming
Handbook of Normative Multiagent Systems, 2018
Accountability and Responsibility in Agents Organizations
PRIMA 2018: Principles and Practice of Multi-Agent Systems, 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings,
International Conference on Principles and Practice of Multi-Agent Systems
2018
Handbook of Normative Multiagent Systems, 2018
An Information Model for Computing Accountabilities
AI*IA 2018 – Advances in Artificial Intelligence,
International Conference of the Italian Association for Artificial Intelligence
2018
Goal Distribution in Business Process Models
AI*IA 2018 – Advances in Artificial Intelligence,
International Conference of the Italian Association for Artificial Intelligence
2018
Accountability and Responsibility in Business Processes via Agent Technology
Proc. of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2018), co-located with the Federated Logic Conference (FLOC 2018),
Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2018)
2018
Ethics by Design: Necessity or Curse?
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2018,
2018 AAAI/ACM Conference on AI, Ethics, and Society (AIES '18)
2018
35 Years of Pietro Torasso's work on diagnosis
INTELLIGENZA ARTIFICIALE, 2018
First-Life: From Maps to Social Networks and Back
Co-Designing Economies in Transition, 2018
SMT-based diagnosis of Multi-Agent Temporal Plans
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS,
17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
2018
WeGovNow: an integrated platform for social engagement in shaping future cities
I-cities 2018 4th Italian Conference on ICT for Smart Cities And Communities,
I-cities 2018 4th Italian Conference on ICT for Smart Cities And Communities
2018
A Model for Enriching Automatic Assessment Resources with Free-Text Annotations
Proceedings 15th International Conference CELDA 2018: Cognition and exploratory learning in digital age,
15th International Conference CELDA 2018: Cognition and exploratory learning in digital age
2018
Co-City: blockchain enabled urban commons
I-cities 2018 4th Italian Conference on ICT for Smart Cities And Communities,
I-cities 2018 4th Italian Conference on ICT for Smart Cities And Communities
2018
Interactive Urban Maps for People with Autism Spectrum Disorder
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems,,
2017 ACM SIGCHI Conference on Human Factors in Computing Systems (CHI '17)
2017
Enriching Business Artifacts with Coordination
Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017),
CAiSE Forum 2017, Conference on Advanced Information Systems Engineering (CAiSE)
2017
Proceedings of the 16th International Conference on Artificial Intelligence and Law,
16th International Conference on Artificial Intelligence and Law
2017
UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers,
2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and ACM International Symposium on Wearable Computers, UbiComp/ISWC 2017
2017
UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers,
2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and ACM International Symposium on Wearable Computers, UbiComp/ISWC 2017
2017
Interactive Maps for Cognitive Disabilities
Proceedings of CHI 2017 Workshop HCIxDementia,
CHI 2017 Workshop HCIxDementia
2017
Endowing Business Artifacts with a Normative Coordination Layer
Proc. of 18th Workshop "From Objects To Agents", WOA 2017,
18th Workshop "From Objects To Agents", WOA 2017
2017
ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo
PRIMA 2017: Principles and Practice of Multi-Agent Systems, 20th International Conference,
20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017
2017
Supporting Organizational Accountability inside Multiagent Systems
AI*IA 2017: Advances in Artificial Intelligence, XVI International Conference of the Italian Association for Artificial Intelligence,
XVIth International Conference of the Italian Association for Artificial Intelligence
2017
SEMESTRALE DI STUDI E RICERCHE DI GEOGRAFIA, 2017
Urban artefacts and their social roles: Towards an ontology of social practices
Leibniz International Proceedings in Informatics, LIPIcs,
13th International Conference on Spatial Information Theory, COSIT 2017
2017
Textual inference with tree-structured LSTM
BNAIC 2016: Artificial Intelligence,
28th Benelux Conference on Artificial Intelligence
2017
Concept recognition in European and national law
JURIX 2017: The 30th international conference on Legal Knowledge and Information Systems,
The 30th international conference on Legal Knowledge and Information Systems
2017
Legalbot: A deep learning-based conversational agent in the legal domain
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017
2017
Discovering relational phrases for qualia roles through open information extraction
Communications in Computer and Information Science,
8th International Conference on Knowledge Engineering and Semantic Web, KESW 2017;
2017
Automatic extraction of correction patterns from expert-revised corpora
Communications in Computer and Information Science,
11th International Conference on Metadata and Semantic Research, MTSR 2017;
2017
Proceedings of the International Conference on Artificial Intelligence and Law,
The 16th International Conference on Artificial Intelligence and Law
2017
Frontiers in Artificial Intelligence and Applications,
Jurix
2017
Siamese network with soft attention for semantic text understanding
ACM International Conference Proceeding Series,
13th International Conference on Semantic Systems, SEMANTiCS 2017
2017
SEeS@W: Internet of Persons meets Internet of Things for Safety at Work
Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion,
CSCW 2016
2016
Data and Norm-aware Multiagent Systems for Software Modularization
Proc. of the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016,
International Workshop on Engineering Multi-Agent Systems, EMAS 2016
2016
2016
Engineering Commitment-based Business Protocols with the 2CL Methodology (Extended Abstract)
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016
2016
Explaining interdependent action delays in multiagent plans execution
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2016
ARTIFICIAL INTELLIGENCE AND LAW, 2016
Ranking researchers through collaboration pattern analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
15th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2016;
2016
A supervised keyphrase extraction system
ACM International Conference Proceeding Series,
12th International Conference on Semantic Systems, SEMANTiCS 2016
2016
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
International Workshop on Future and Emergent Trends in Language Technology
2016
APPLIED ONTOLOGY, 2016
2016
Towards Data- and Norm-Aware Multiagent Systems
Engineering Multi-Agent Systems. 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers, 2016
Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016, URANIA 2016,
Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, URANIA 2016
2016
2016
2016
Typicality-based revision for handling exceptions in Description Logics
Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016),
31st Convegno Italiano di Logica Computazionale (CILC 2016)
2016
A Typicality-based Revision to Handle Exceptions in Description Logics
Frontiers in Artificial Intelligence and Applications,
22nd European Conference on Artificial Intelligence ECAI 2016
2016
Text segmentation with topic modeling and entity coherence
Advances in Intelligent Systems and Computing,
16th International Conference on Hybrid Intelligent Systems, HIS 2016
2016
A text similarity approach for automated transposition detection of European Union directives
Frontiers in Artificial Intelligence and Applications,
29th International Conference on Legal Knowledge and Information Systems, JURIX 2016
2016
Neural reasoning for legal text understanding
Frontiers in Artificial Intelligence and Applications,
29th International Conference on Legal Knowledge and Information Systems, JURIX 2016
2016
MiraMap: A We-Government Tool for Smart Peripheries in Smart Cities
IEEE ACCESS, 2016
Proceedings of the 2016 IEEE International Smart Cities Conference (ISC2),
IEEE International Smart Cities Conference (ISC2)
2016
First life, the neighborhood social network: A collaborative environment for citizen
Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW,
19th ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2016
2016
Civic social network: A challenge for co-production of contents about common urban entities
Communications in Computer and Information Science,
8th International Conference on Collaboration Technologies and Social Computing, CollabTech 2016
2016
Proceedings of the 2nd International Workshop on Social Media World Sensors (SIdEWayS 2016)
CEUR WORKSHOP PROCEEDINGS, 2016
Gamifying the City: Pervasive Game Elements in the Urban Environment
Proceedings of the Workshop on Fictional Game Elements 2016 co-located with The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY 2016),
Workshop on Fictional Game Elements 2016 co-located with The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY 2016)
2016
Robust plan execution via reconfiguration and replanning
AI COMMUNICATIONS, 2015
Programming JADE and Jason agents based on social relationships using a uniform approach
Proc. of the Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015,
The Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015
2015
Empowering Agent Coordination with Social Engagement
AI*IA 2015 Advances in Artificial Intelligence, 2015
Composing and Verifying Commitment-Based Multiagent Protocols
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence,
Twenty-Fourth International Joint Conference on Artificial Intelligence
2015
Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach
Advances in Social Computing and Multiagent Systems - 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4, 2015, Revised Selected Papers, 2015
Exploiting Social Commitments in Programming Agent Interaction
PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings, 2015
Leveraging commitments and goals in agent interaction
Proc. of XXX Italian Conference on Computational Logic, CILC 2015,
XXX Italian Conference on Computational Logic, CILC 2015
2015
Programming with Commitments and Goals in JaCaMo+ (Extended Abstract)
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015,
International Conference on Autonomous Agents and Multiagent Systems 2015
2015
Legal Knowledge and Information System - JURIX 2015: The Twenty-Eighth Annual Conference,
JURIX 2015: The Twenty-Eighth Annual Conference
2015
ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution
Agents and Artificial Intelligence, 2015
Neural-Symbolic Monitoring and Adaptation
Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN 2015),
IEEE International Joint Conference on Neural Networks (IJCNN 2015)
2015
A Scheduling Tool for Conditionally Independent Temporal Preferences
proceedings of ICTAI 2015,
International Conference on Tools with Artificial Intelligence
2015
Scheduling with Structured Preferences
Research and Development in Intelligent Systems XXXII,
SGAI International Conference on Artificial Intelligence
2015
2015
Proc. of 3rd International Workshop on Engineering Multi-Agent Systems, EMAS 2015
2015
Social Continual Planning in Open Multiagent Systems: a First Study
PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings, 2015
Social Computing with JaCaMo+2COMM4JASON
2015
Social Contexts and Social Pragmatics (Extended Abstract)
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015,
International Conference on Autonomous Agents and Multiagent Systems 2015
2015
Social Continual Planning in Open Multiagent Systems
Proceedings of the 6th Italian Workshop on Planning and Scheduling, IPS 2015,
Italian Workshop on Planning and Scheduling 2015, IPS 2015
2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence,
Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015
2015
WWW 2015 Companion - Proceedings of the 24th International Conference on World Wide Web,
24th International Conference on World Wide Web, WWW 2015
2015
Mapping recitals to normative provisions in EU legislation to assist legal interpretation
Frontiers in Artificial Intelligence and Applications,
28th Annual International Conference on Legal Knowledge and Information Systems, JURIX 2015
2015
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
14th International Conference of the Italian Association for Artificial Intelligence, 2015
2015
International Conference on Artificial Intelligence and Law,
15th International Conference on Artificial Intelligence and Law, ICAIL 2015
2015
Twitter as a personalizable information service
Multimedia Data Mining and Analytics: Disruptive Innovation, 2015
Proceedings of the 1st International ACM Workshop On Social Media World Sensors (Sideways 2015)
2015
Improving Search and Navigation User Experience by Making Use of Social Data
Harnessing the Power of Social Media and Web Analytics, 2014
Robust Execution of Rover Plans via Action Modalities Reconfiguration
Proceedings of the 6th International Conference on Agents and Artificial Intelligence,
International Conference on Agents and Artificial Intelligence (ICAART 2014)
2014
Hackathon@IODD2014 e HackUniTO: esperienze sullʼuso di Open Geo Data e di crowdmapping
Conferenza Nazionale ASITA 2014,
Conferenza Nazionale ASITA
2014
Proc. of the 21st European Conference on Artificial Intelligence, ECAI 2014,
The 21st European Conference on Artificial Intelligence, ECAI 2014
2014
Typing Multi-Agent Systems via Commitments
Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014,
The 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014
2014
2014
Multiagent Planning as an Emerging Behavior in Agent Societies
2014
Android applications are inspired by Multi-Agent Systems
2014
Engineering commitment-based business protocols with 2CL methodology
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2014
A Commitment-based Infrastructure for Programming Socio-Technical Systems
ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2014
Reasoning about Social Relationships with Jason
Proc. of the 1st International Workshop on Multiagent Foundations of Social Computing, SC-AAMAS 2014,
The 1st International Workshop on Multiagent Foundations of Social Computing, SC-AAMAS 2014, held in conjuction with AAMAS 2014
2014
Typing Multi-Agent Systems via Commitments
Post-Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, Revised Selected and Invited Papers, 2014
Revising Description Logic Terminologies to Handle Exceptions: a First Step
CILC 2014 - 29o convegno italiano di logica computazionale,
CILC 2014 - 29o convegno italiano di logica computazionale
2014
Social Relationships for Designing Agent Interaction in JADE
Proc. of the 15th Workshop From Objects to Agents, WOA 2014,
15th Workshop From Objects to Agents, WOA 2014
2014
Plan repair driven by model-based agent diagnosis
INTELLIGENZA ARTIFICIALE, 2014
Cooperative Monitoring to Diagnose Multiagent Plans
THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014
2014
2014
Agents and Multi-Agent Systems: From Objects to Agents, Guest Editorial
SCS M&S MAGAZINE, 2014
The construction of models and roles in normative systems
AI Approaches to the complexity of legal systems: AICOL 2013 International workshop2013AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers, 2014
Compliance with Multiple Regulations
Lecture Notes in Computer ScienceConceptual Modeling,
Conceptual Modeling
2014
Learning from syntax generalizations for automatic semantic annotation
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2014
IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM),
International Conference on Advances in Social Networks Analysis and Mining (ASONAM)
2014
On the Input/Output behavior of argumentation frameworks
ARTIFICIAL INTELLIGENCE, 2014
Mining Meaning from Text by Harvesting Frequent and perse Semantic Itemsets
Proceedings of the 1st International Workshop on Interactions betweenData Mining and Natural Language Processing co-located with The EuropeanConference on Machine Learning and Principles and Practice of KnowledgeDiscovery in Databases, DMNLP@PKDD/ECML 2014, Nancy, France, September15, 2014.,
Interactions between Data Mining and Natural Language
2014
Action Failure Recovery via Model-Based Diagnosis and Conformant Planning
COMPUTATIONAL INTELLIGENCE, 2013
Sentiment Analysis in the Planet Art: a Case Study in the Social Semantic Web
New Challenges in Distributed Information Filtering and Retrieval, 2013
MeSoOnTV: A Media and Social-driven Ontology-based TV Knowledge Management System
Proceedings of the 24th ACM Conference on Hypertext and Social Media - HT '13,
The 24th ACM Conference on Hypertext and Social Media - HT'13
2013
Model-Based Approaches to Diagnosis of Multi-Agent Plans: A Survey
Advances in Computational Modeling Research: Theory, Developments and Applications, 2013
Tracking and analyzing TV content on the web through social and ontological knowledge
EuroITV '13 Proceedings of the 11th european conference on Interactive TV and video,
11th European Conference on Interactive TV and Video, EuroITV '13
2013
Introduction to the special issue on NorMAS 2009
JOURNAL OF LOGIC AND COMPUTATION, 2013
A socio-cognitive model of trust using argumentation theory
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2013
Adapting web services to maintain QoS even when faults occur
Proceedings of the IEEE 20th International Conference on Web Services,
IEEE 20th International Conference on Web Services
2013
Adapting Planetary Rover Plans via Action Modality Reconfiguration
Proceedings of the 7th Scheduling and Planning Applications woRKshop,
Scheduling and Planning Applications woRKshop (SPARK)
2013
Personalized emerging topic detection based on a term aging model
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2013
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2013
Diagnosing Dependent Action Delays in Temporal Multiagent Plans
Research and Development in Intelligent Systems XXX,
The XXX SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
2013
AI*IA 2013: Advances in Artificial Intelligence
LECTURE NOTES IN COMPUTER SCIENCE, 2013
Norms for Typing MAS Multi-Agent Systems
2013
Guest-editorial: 25 years of AI*IA
INTELLIGENZA ARTIFICIALE, 2013
LECTURE NOTES IN COMPUTER SCIENCE, 2013
Popularize Artificial Intelligence
CEUR WORKSHOP PROCEEDINGS, 2013
Proceedings of the 14th Workshop "From Objects to Agents", WOA 2013
CEUR WORKSHOP PROCEEDINGS, 2013
A Generalized Commitment Machine for 2CL Protocols and Its Implementation
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, 2013
2COMM: a commitment-based MAS architecture
Proc. of the 1st International Workshop on Engineering Multi-Agent Systems, EMAS 2013,
The 1st International Workshop on Engineering Multi-Agent Systems, EMAS 2013
2013
Some Thoughts about Commitment Protocols (Position Paper)
Declarative Agent Languages and Technologies X, 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, 2013
2COMM: A Commitment-Based MAS Architecture
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers, 2013
Norm dynamics : institutional facts, social rules and practice
Proceedings of SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013.,
SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013
2013
PRIMA 2013: Principles and Practice of Multi-Agent Systems
2013
Machine Learning and Knowledge Discovery in Databases (PKDD),
Machine Learning and Knowledge Discovery in Databases
2013
Lecture Notes in Computer ScienceTheory, Practice, and Applications of Rules on the Web,
RuleML
2013
2013
2013
CME: A Tool for Designing Business Models based on Commitment Patterns
Proceedings of the Workshop Popularize Artificial Intelligence, 2013
Emerging Stable Configurations in Cellular Automata
Proceedings of the Workshop Popularize Artificial Intelligence,
Workshop Popularize Artificial Intelligence
2013
COMPUTER STANDARDS & INTERFACES, 2013
Sentiment analysis via dependency parsing
COMPUTER STANDARDS & INTERFACES, 2013
ACL 2013 - 51st Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference,
51st Annual Meeting of the Association for Computational Linguistics, ACL 2013
2013
Di seguito alcuni prodotti del lavoro di ricerca del gruppo Social Computing che non sono pubblicazioni.
- Constraints among Commitments Language (2CL): an extension of Winikoff et al.'s enhanced commitment machine, which allows exploring all the possible executions of a business protocol, showing all the violations. The implementation is done in tuProlog and the software interprets a 2CL business protocol specification by means of a parser written in Java.
- 2COMM: an Agent & Artifact framework for defining social relationships, represented by social commitments, among a group of interacting parties. The framework provides adapters both for JADE and for JaCaMo and allows a seamless interaction between the agents from these two very different agent platforms.
- European Legal Taxonomy Syllabus, developed during the TMR research programme "Uniform Terminology for European Private Law" (2002-2006), The Syllabus presents a wide-access database on European consumer law with knowledge representational tools. The database covers EU terminology drawn out from the main EC provisions on consumer protection together with the transposition law within several jurisdictions (England, France, Germany, Spain, Italy). By providing a minimum of background information through short commentary notes by national legal scholars, it is furthermore possible to mirror the architecture of existing legal terms and concepts for every Member State considered, thus helping legal practitioners by providing an interpretative guide into European legal terms.
- Eunomos, an advanced legal document management system with terminology management.
- First Life, smart cities, communities, and social innovation
- PowerJava precompiler. PowerJava is an extension of the Java programming language that incorporates "roles" as a distinctive feature.
- PowerJade classes that allow incorporating into the Jade agent framework the notion of role introduced with PowerJava.