Modern information systems, like Socio-Technical Systems (STS), are getting more and more complex, needing to cope with many stakeholders and with cross-organizational relationships: they require a transition from an individualistic to a societal perspective. Social computing studies the collaborative and interactive aspects of ICT-mediated behavior: social applications perform a social computation which is the sum of the independent contributions of autonomous and heterogeneous parties; they can naturally be formalized based on some notion of norm, in a way that resembles typical mechanisms of the human society.

Social computing finds direct application in social informatics, where social networks are studied, and in legal informatics, where society norms are tackled. It requires the development of new models and methodologies of software engineering and of business processes –that are at the core of system design and of enterprise management systems. To this end, it is necessary to rely on tools developed in computer science, such as knowledge discovery, natural language processing, ontology, multiagent systems, and logic. We study different aspects of Social Computing, that Figure 1 summarizes with respect to two axes: applicative domains and that of tools. The added value of our approach is its twofold interdisciplinarity: both tools level and domains level involve aspects from human and social sciences on a side, and computer science on the other. The added value of our approach is that it is interdisciplinary both at the level of tools and at the level of domains, involving aspects concerning human and social sciences on a side as well as computer science on the other.

The covered research themes involve the use of different tools. In alphabetic order:

• Role, Affordance, STS, Interaction Protocol, Commitment:Traditional approaches to software engineering do not fit the needs of STS for they do not capture the social aspects of computation, like social relationships. Social relationships connect interacting parties, have a normative value, can be verified based just on the parties observable behavior. MASs are a promising paradigm as they are made of autonomous,
  interacting agents. We claim that both agents and social relationships are first-class entities: social relationships are created by executing interaction protocols and provide expectations on the agents’ behavior; social relationships affect the decisions of the agents they involve. From a Software Engineering perspective, the advantage of relying on social relationships is the high decoupling and modularity that system components show.
• Accountability, Argumentation, Compliance, Conformance, Normative Reasoning:norms are fundamental in modeling social applications –even STS suggest to foresee a specific layer that contains the regulations that norm the system behavior. There is the need of reasoning mechanisms for eliciting information about the agents behavior, and thus about the society. In particular, agents reason about norms to understand which obligations, prohibitions, etc. constrain their behavior, they reason about their own behavior to understand (a priori or at run-time) if/how to conform to the norms, they argue with other agents to reach agreements about how to behave, and, in case of faults/failures, it is necessary to understand which agents are liable for the situation.
• Process Mining, Run-time Verification, Planning, Diagnosis: cross-organizational business processes and human-oriented workflows are intrinsically social. They implement negotiated agreements among interacting parties. As such, it is important to verify their conformity to the agreements. This can be done statically (conformance) or dynamically (run-time verification). It is also important to mine log data and the like to elicit undocumented processes (a standard in many realities), in order to verify their compliance/conformance to the norms. Instead, when it is necessary to adapt to particular context conditions, it is possible to build a business process on the fly by relying on planning techniques. Finally, diagnosis comes into play when there is the need to find one (or all) possible explanation(s) for the system behavior.
• Legal Open Data, Legal Ontology, Norm Extraction, Norm Classification: law should be freely and easily accessible. On-line databases and legal knowledge systems are becoming a richer and richer reality. It is important that law representation relies on shared ontologies, to foster understanding, and that it is open, thus simplifying its use and re-use. It is also fundamental to develop tools that allow extracting norm representations from legal text, and to automatically infer whether a norm is influential in a domain of interest.
• Daily Life Social System: these are systems that support citizens in their every day life. Their realization proposes many challenges, among which: integration of institutional data and social information about the daily life; enhancement of social awareness, self-govenrance, and self-organisation of local communities; realization of ontologies to represent social entities; reasoning mechanisms for multi-facets, multi-purpose and multi-topic knowledge management systems; data visualisation to improve accessibility to information.

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

Nomotika

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"

• 6 luglio 2015: mappare il cibo in città, confronti metodologici e laboratorio di cartografia applicata
• 11-12 giugno 2015: Livinglab per la costruzione partecipata di un social network di quartiere

Guido Boella

+ 39 011 670 6280

guido.boella@unito.it

Authors: Pozzato, Gian Luca

Typicalities and probabilities of exceptions in nonmotonic Description Logics

Published in: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, Year: 2019

Authors: Baldoni, Matteo; Baroglio, Cristina; Boissier, Olivier; Micalizio, Roberto; Tedeschi, Stefano

Engineering Business Process through Accountability and Agents

Published in: Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019, 

titoloEvento: The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019

Year: 2019

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Type Checking for Protocol Role Enactments via Commitments

Published in: Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, JAAMAS Track, AAMAS 2019, 

titoloEvento: The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019

Year: 2019

Authors: Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto; Tedeschi, Stefano

Implementing Business Processes in JaCaMo+ by Exploiting Accountability and Responsibility

Published in: Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, DEMO Track, AAMAS 2019, 

titoloEvento: The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019

Year: 2019

Authors: Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto; Tedeschi, Stefano

Programming Agents by Their Social Relationships: A Commitment-Based Approach

Published in: ALGORITHMS, Year: 2019

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Process Coordination with Business Artifacts and Multiagent Technologies

Published in: JOURNAL ON DATA SEMANTICS, Year: 2019

Authors: Baldoni, Matteo; Baroglio, Cristina; Boissier, Olivier; Micalizio, Roberto; Tedeschi, Stefano

Accountability and Agents for Engineering Business Processes

Published in: Proc. of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, 

titoloEvento: The 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019

Year: 2019

Authors: Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

Accountability, Responsibility and Robustness in Agent Organizations

Published in: Proc. of the 1st International Workshop on Responsible Artificial Intelligence Agents, RAIA 2019, 

titoloEvento: The 1st International Workshop on Responsible Artificial Intelligence Agents, RAIA 2019

Year: 2019

Authors: Boella G.; Di Caro L.; Leone V.

Semi-automatic knowledge population in a legal document management system

Published in: ARTIFICIAL INTELLIGENCE AND LAW, Year: 2019

Authors: Nanda R.; Siragusa G.; Di Caro L.; Boella G.; Grossio L.; Gerbaudo M.; Costamagna F.

Unsupervised and supervised text similarity systems for automated identification of national implementing measures of European directives

Published in: ARTIFICIAL INTELLIGENCE AND LAW, Year: 2019

Authors: Ruggeri A.; Di Caro L.; Boella G.

The Role of Common-Sense Knowledge in Assessing Semantic Association

Published in: JOURNAL ON DATA SEMANTICS, Year: 2019

Authors: Di Caro L.; Ruggeri A.

Unveiling middle-level concepts through frequency trajectories and peaks analysis

Published in: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 

titoloEvento: The 34th ACM/SIGAPP Symposium On Applied Computing

Year: 2019

Authors: Ferrod R.; Schifanella C.; Di Caro L.; Cataldi M.

Disclosing citation meanings for augmented research retrieval and exploration

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 16th International Semantic Web Conference, ESWC 2019

Year: 2019

Authors: Torta, G; Micalizio, R; Sormano, S

Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans

Published in: Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019, 

titoloEvento: The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019

Year: 2019

Authors: Antonio Lieto, Gian Luca Pozzato, Federico Perrone, Eleonora Chiodino

Knowledge Capturing via Conceptual Reframing: A Dynamic Knowledge Generation System for Cognitive Agents

Published in: Proceedings of the 10th ACM International Conference on Knowledge Capture (K-CAP 2019), 

titoloEvento: K-CAP 2019 - 10th ACM International Conference on Knowledge Capture

Year: 2019

Authors: Baldoni M.; Baroglio C.; May K.M.; Micalizio R.; Tedeschi S.

MOCA: An ORM model for computational accountability

Published in: INTELLIGENZA ARTIFICIALE, Year: 2019

Authors: Lieto Antonio, Pozzato Gian Luca, Perrone Federico

A Dynamic Knowledge Generation System for Cognitive Agents

Published in: Proceedings of the IEEE 31st International Conference on Tools with Artificial Intelligence, ICTAI 2019, 

titoloEvento: IEEE 31st International Conference on Tools with Artificial Intelligence, ICTAI 2019

Year: 2019

Authors: Baldoni Matteo, Dastani, Mehdi, Liao Beishui, Sakurai Yuko, Zalila Wenkstern Rym

PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference

Year: 2019

Authors: Boella G.; Calafiore A.; Grassi E.; Rapp A.; Sanasi L.; Schifanella C.

FirstLife: Combining Social Networking and VGI to Create an Urban Coordination and Collaboration Platform

Published in: IEEE ACCESS, Year: 2019

Authors: Rapp A.; Cena F.; Mattutino C.; Boella G.; Schifanella C.; Keller R.; Brighenti S.

Designing an urban support for autism

Published in: Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2019, 

titoloEvento: 21st International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2019

Year: 2019

Authors: torta gianluca, micalizio roberto, sormano

Temporal Multiagent Plan Execution: Explaining What Happened

Published in: Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 

titoloEvento: EXplainable TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS)

Year: 2019

Authors: Lieto A.; Perrone F.; Pozzato G.L.; Chiodino E.

Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures

Published in: COGNITIVE SYSTEMS RESEARCH, Year: 2019

Authors: Lieto A.; Pozzato G.L.

Applying a description logic of typicality as a generative tool for concept combination in computational creativity

Published in: INTELLIGENZA ARTIFICIALE, Year: 2019

Authors: Dalmonte T.; Negri S.; Olivetti N.; Pozzato G.L.

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 18th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2019

Year: 2019

Authors: Pozzato G.L.; Soriano G.

PEAR: A tool for reasoning about scenarios and probabilities in description logics of typicality

Published in: CEUR Workshop Proceedings, 

titoloEvento: 34th Italian Conference on Computational Logic, CILC 2019

Year: 2019

Authors: Lieto A.; Perrone F.; Pozzato G.L.

GOCCIOLA: Generating new knowledge by combining concepts in description logics of typicality

Published in: CEUR Workshop Proceedings, 

titoloEvento: 34th Italian Conference on Computational Logic, CILC 2019

Year: 2019

Authors: Fadi Barbara, Guido Boella, Alex Cordero, Claudio Schifanella, Serena Ambrosini, Alberto Ferrini, Luca Lattore, Francesco Zucaro, Mario Pissardo, David Manfrin

BLINC: Inclusive Blockchain for Digital Citizenships

Published in: I-cities 2019, 5th Italian Conference on ICT for Smart Cities And Communities, 

titoloEvento: I-cities 2019, 5th Italian Conference on ICT for Smart Cities And Communities

Year: 2019

Authors: Federica Cena, Guido Boella, Alex Cordero, Alberto Guffanti, Amon Rapp, Claudio Schifanella, Serena Ambrosini, Paolo Gay, Cristina Tortia, Paolo Barge, Lorenzo Comba, A.Biglia

Blockchain and Artificial Intelligence for quality food protection and advanced consumer services

Published in: I-cities 2019, 5th Italian Conference on ICT for Smart Cities And Communities, 

titoloEvento: I-cities 2019, 5th Italian Conference on ICT for Smart Cities And Communities

Year: 2019

Authors: Matteo Baldoni, Cristina Baroglio, Roberto Micalizio

Accountability, Responsibility and Robustness in Agent Organizations

Published in: Proceedings of the 34th Italian Conference on Computational Logic, 

titoloEvento: Italian Conference on Computational Logic 2019

Year: 2019

Authors: Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi

A Focus on Robustness with ARFIN organizations

Published in: Proceedings of the 20th Workshop “From Objects to Agents”, 

titoloEvento: 20th Workshop “From Objects to Agents”

Year: 2019

Authors: Baldoni Matteo, Giordano Laura, Satoh Ken

Renvoi in Private International Law: A Formalization with Modal Contexts

Published in: Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference, 

titoloEvento: Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference

Year: 2019

Authors: Federica Cena, Amon Rapp, Claudio Mattutino, Claudio Schifanella, Luigi Sanasi, Guido Boella, Stefania Brighenti, Roberto Keller, Romina Castaldo, Maurizio Tirassa

Crowdmapping for inclusive smart city

Published in: ICITIES 2019, 

titoloEvento: 5th Italian Conference on ICT for Smart Cities And Communities

Year: 2019

Authors: Siragusa G.; Di Caro L.; Tosalli M.

Mining annotators common knowledge for automatic text revision

Published in: INTERNATIONAL JOURNAL OF METADATA, SEMANTICS AND ONTOLOGIES, Year: 2019

Authors: Leone Valentina; Di Caro Luigi

Frequent Use Cases Extraction from Legal Texts in the Data Protection Domain

Published in: Frontiers in Artificial Intelligence and Applications, 

titoloEvento: International Conference on Legal Knowledge and Information Systems (JURIX)

Year: 2019

Authors: Siragusa G.; Nanda R.; De Paiva V.; Di Caro L.

Relating Legal Entities via Open Information Extraction

Published in: Communications in Computer and Information Science, 

titoloEvento: 12th International Conference on Metadata and Semantics Research, MTSR 2018

Year: 2019

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Commitment-based Agent Interaction in JaCaMo

Published in: FUNDAMENTA INFORMATICAE, Year: 2018

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Objective Coordination with Business Artifacts and Social Engagements

Published in: Business Process Management Workshops, Year: 2018

Authors: Micalizio Roberto - Pozzato Gian Luca

Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach

Published in: FUNDAMENTA INFORMATICAE, Year: 2018

Authors: Michele FIORAVERA, Marina MARCHISIO, Luigi DI CARO, Sergio RABELLINO

Alignment of Content, Prerequisites and Educational Objectives: Towards Automated Mapping of Digital Learning Resources

Published in: ELEARNING AND SOFTWARE FOR EDUCATION, 

titoloEvento: The 14th International Scientific Conference eLearning and Software for Education

Year: 2018

Authors: Michele FIORAVERA, Marina MARCHISIO, Luigi DI CARO, Sergio RABELLINO

Alignment of Content, Prerequisites and Educational Objectives: Towards Automated Mapping of Digital Learning Resources

Published in: ELEARNING AND SOFTWARE FOR EDUCATION, Year: 2018

Authors: Luigi DI CARO, Michele FIORAVERA, Marina MARCHISIO, Sergio RABELLINO

A model for structuring shared learning materials within a Virtual Community

Published in: Proceedings della Multiconferenza EM&M ITALIA, 

titoloEvento: EMEMITALIA 2017

Year: 2018

Authors: Luigi Di Caro, Michele Fioravera, Marina Marchisio, Sergio Rabellino

Towards adaptive systems for automatic formative assessment in virtual learning communities

Published in: Proceedings of 2018 IEEE 42nd Annual Computer Software and Applications Conference, 

titoloEvento: 2018 42nd IEEE International Conference on Computer Software & Applications

Year: 2018

Authors: Barana, Alice; Di Caro, Luigi; Fioravera, Michele ; Floris, Francesco ; Marchisio, Marina; Rabellino, Sergio

Sharing system of learning resources for adaptive strategies of scholastic remedial intervention

Published in: Proceedings of the 4rd International Conference on Higher Education Advances (HEAd’18), 

titoloEvento: 4rd International Conference on Higher Education Advances (HEAd’18)

Year: 2018

Authors: Alice Barana, Luigi Di Caro, Michele Fioravera, Francesco Floris, Marina Marchisio, Sergio Rabellino

DEVELOPING COMPETENCE ASSESSMENT SYSTEMS IN ELEARNING COMMUNITIES

Published in: Exploring the Micro, Meso and Macro Navigating between dimensions in the digital learning landscape: EDEN 2018 CONFERENCE PROCEEDINGS, 

titoloEvento: EDEN 2018 ANNUAL Conference

Year: 2018

Authors: Alice Barana, Luigi Di Caro, Michele Fioravera, Marina Marchisio, Sergio Rabellino

Ontology Development for Competence Assessment in Virtual Communities of Practice

Published in: Artificial Intelligence in Education 19th International Conference, AIED 2018 London, UK, June 27–30, 2018 Proceedings,, 

titoloEvento: 19th International Conference, AIED 2018

Year: 2018

Authors: Livio Bioglio, Sara Capecchi, Federico Peiretti, Dennis Sayed, Antonella Torasso, Ruggero G. Pensa

Social4School: a Serious Game for Educating Children on Privacy Awareness in Online Social Networks

Published in: 2018 International School and Conference on Network Science (NetSci 2018), 

titoloEvento: 2018 International School and Conference on Network Science (NetSci 2018)

Year: 2018

Authors: Baldoni, Matteo*; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Type checking for protocol role enactments via commitments

Published in: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, Year: 2018

Authors: Baldoni, Matteo*; Baroglio, Cristina; May, Katherine M.; Micalizio, Roberto; Tedeschi, Stefano

Computational accountability in MAS organizations with ADOPT

Published in: APPLIED SCIENCES, Year: 2018

Authors: Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

The athos project: First steps towards computational accountability

Published in: CEUR Workshop Proceedings, Year: 2018

Authors: Garro, Alfredo; Mühlhäuser, Max; Tundis, Andrea; Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Torroni, Paolo

Intelligent Agents: Multi-Agent Systems

Published in: Reference Module in Life Sciences, Year: 2018

Authors: Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

Computational accountability and responsibility in multiagent systems

Published in: CEUR WORKSHOP PROCEEDINGS, Year: 2018

Authors: Rapp, Amon; Cena, Federica; Mattutino, Claudio; Calafiore, Alessia; Schifanella, Claudio; Grassi, Elena; Boella, Guido

Holistic User Models for Cognitive Disabilities

Published in: UMAP '18 Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization, 

titoloEvento: 26th Conference on User Modeling, Adaptation and Personalization (UMAP 2018)

Year: 2018

Authors: Bioglio, Livio; Capecchi, Sara; Peiretti, Federico; Sayed, Dennis; Torasso, Antonella; Pensa, Ruggero Gaetano

A Social Network Simulation Game to Raise Awareness of Privacy among School Children

Published in: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, Year: 2018

Authors: Baldoni, Matteo*; Baroglio, Cristina; May, Katherine M.; Micalizio, Roberto; Tedeschi, Stefano

Computational accountability in MAS organizations with ADOPT

Published in: APPLIED SCIENCES, Year: 2018

Authors: Lieto, Antonio; Pozzato, Gian Luca*

Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics

Published in: AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings, 

titoloEvento: 17th Conference of the Italian Association for Artificial Intelligence, AI*IA 2018

Year: 2018

Authors: Pozzato, Gian Luca*

On probabilities of exceptions in description logics of typicality

Published in: Proceedings of the 33rd Italian Conference on Computational Logic, 

titoloEvento: 33rd Italian Conference on Computational Logic, CILC 2018

Year: 2018

Authors: Lieto, Antonio; Pozzato, Gian Luca; Valese, Alberto

COCOS: A typicality based COncept COmbination System

Published in: Proceedings of the 33rd Italian Conference on Computational Logic, 

titoloEvento: 33rd Italian Conference on Computational Logic, CILC 2018

Year: 2018

Authors: Lieto, Antonio; Pozzato, Gian Luca*

A description logic of typicality for conceptual combination

Published in: Foundations of Intelligent Systems 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings, 

titoloEvento: 24th International Symposium on Methodologies for Intelligent Systems, ISMIS 2018

Year: 2018

Authors: CRISTINA BAROGLIO, OLIVIER BOISSIER, AXEL POLLERES

Special Issue: Computational Ethics and Accountability

Published in: ACM TRANSACTIONS ON INTERNET TECHNOLOGY, Year: 2018

Authors: Baldoni Matteo, Baroglio Cristina, Boissier Olivier, Hübner Jomi Fred, Micalizio Roberto

Norm-aware and Norm-oriented Programming

Published in: Handbook of Normative Multiagent Systems, Year: 2018

Authors: Baldoni Matteo, Baroglio Cristina, Boissier Olivier, May Katherine Marie, Micalizio Roberto, Tedeschi Stefano

Accountability and Responsibility in Agents Organizations

Published in: PRIMA 2018: Principles and Practice of Multi-Agent Systems, 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings, 

titoloEvento: International Conference on Principles and Practice of Multi-Agent Systems

Year: 2018

Authors: Baldoni Matteo, Baroglio Cristina, Copra Amit K., Günay Akin

Interaction Protocols

Published in: Handbook of Normative Multiagent Systems, Year: 2018

Authors: Baldoni Matteo, Baroglio Cristina, May Katherine Marie, Micalizio Roberto, Tedeschi Stefano

An Information Model for Computing Accountabilities

Published in: AI*IA 2018 – Advances in Artificial Intelligence, 

titoloEvento: International Conference of the Italian Association for Artificial Intelligence

Year: 2018

Authors: Baldoni Matteo, Baroglio Cristina, Micalizio Roberto

Goal Distribution in Business Process Models

Published in: AI*IA 2018 – Advances in Artificial Intelligence, 

titoloEvento: International Conference of the Italian Association for Artificial Intelligence

Year: 2018

Authors: Baldoni Matteo, Baroglio Cristina, Micalizio Roberto, Tedeschi Stefano

Accountability and Responsibility in Business Processes via Agent Technology

Published in: 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), 

titoloEvento: Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2018)

Year: 2018

Authors: Dignum Virginia, Baldoni Matteo, Baroglio Cristina, Caon Maurizio, Chatila Raja, Dennis Louise A., Génova Gonzalo, Haim Galit, Kließ Malte S., López-Sánchez Maite, Micalizio Roberto, Pavón Juan, Slavkovik Marija, Smakman Matthijs, van Steenbergen Marlies, Tedeschi Stefano, van der Torre Leon, Villata Serena, de Wildt Tristan

Ethics by Design: Necessity or Curse?

Published in: Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2018, 

titoloEvento: 2018 AAAI/ACM Conference on AI, Ethics, and Society (AIES '18)

Year: 2018

Authors: Griggio, V; Vitale, C; Todaro, M; Riganti, C; Kopecka, J; Salvetti, C; Bomben, R; Dal Bo, M; Rossi, D; Pozzato, G; Marchetti, M; Omede, P; Bonello, L; Kodipad, AA; Laurenti, L; Del Poeta, G; Mauro, FR; Bernardi, R; Gattei, V; Gaidano, G; Foa, R; Massaia, M; Boccadoro, M; Coscia, M

REGULATION OF HIF-1 alpha IN TP53 DISRUPTED CHRONIC LYMPHOCYTIC LEUKEMIA CELLS AND ITS POTENTIAL ROLE AS A THERAPEUTIC TARGET

Published in: HAEMATOLOGICA, 

titoloEvento: 15th Congress of the Italian-Society-of-Experimental-Hematology

Year: 2018

Authors: Luca Console, Diego Magro, Roberto Micalizio, Enrico Scala, Daniele Theseider Dupre, Gianluca Torta

35 Years of Pietro Torasso's work on diagnosis

Published in: INTELLIGENZA ARTIFICIALE, Year: 2018

Authors: Alessio Antonini, Guido Boella, Alessia Calafiore, Vincenzo Mario Bruno Giorgino

First-Life: From Maps to Social Networks and Back

Published in: Co-Designing Economies in Transition, Year: 2018

Authors: Torta, Gianluca; Micalizio, Roberto

SMT-based diagnosis of Multi-Agent Temporal Plans

Published in: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 

titoloEvento: 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018

Year: 2018

Authors: Guido Boella, Elena Grassi, Adriano Savoca, Luigi Sanasi, Claudio Schifanella, Louise Francis, Axel Kistner, Andreas Nitsche, Alexey Noskov, Ioannis Tsampoulatidis

WeGovNow: an integrated platform for social engagement in shaping future cities

Published in: I-cities 2018 4th Italian Conference on ICT for Smart Cities And Communities, 

titoloEvento: I-cities 2018 4th Italian Conference on ICT for Smart Cities And Communities

Year: 2018

Authors: Di Caro L., Fioravera M., Marchisio M., Rabellino S

A Model for Enriching Automatic Assessment Resources with Free-Text Annotations

Published in: Proceedings 15th International Conference CELDA 2018: Cognition and exploratory learning in digital age, 

titoloEvento: 15th International Conference CELDA 2018: Cognition and exploratory learning in digital age

Year: 2018

Authors: Stefano Balbo, Guido Boella, Alex Cordero, Diego Di Caro, Luca De Carne, Michele Mioli, Alessandro Sanino, Claudio Schifanella

Co-City: blockchain enabled urban commons

Published in: I-cities 2018 4th Italian Conference on ICT for Smart Cities And Communities, 

titoloEvento: I-cities 2018 4th Italian Conference on ICT for Smart Cities And Communities

Year: 2018

Authors: Rapp, Amon; Brighenti, Stefania; Cena, Federica; Boella, Guido; Antonini, Alessio; Calafiore, Alessia; Buccoliero, Stefania; Tirassa, Maurizio; Keller, Roberto; Castaldo, Romina

Interactive Urban Maps for People with Autism Spectrum Disorder

Published in: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems,, 

titoloEvento: 2017 ACM SIGCHI Conference on Human Factors in Computing Systems (CHI '17)

Year: 2017

Authors: Pozzato, Gian Luca

Reasoning About Plausible Scenarios in Description Logics of Typicality

Published in: INTELLIGENZA ARTIFICIALE, Year: 2017

Authors: Laura Giordano; Valentina Gliozzi; Alberto Pettorossi; Gian Luca Pozzato

Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014

Published in: FUNDAMENTA INFORMATICAE, Year: 2017

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Enriching Business Artifacts with Coordination

Published in: Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), 

titoloEvento: CAiSE Forum 2017, Conference on Advanced Information Systems Engineering (CAiSE)

Year: 2017

Authors: Muthuri, Robert; Boella, Guido; Hulstijn, Joris; Capecchi, Sara; Humphreys, LLIO BRYN

Compliance patterns: harnessing value modeling and legal interpretation to manage regulatory conversations

Published in: Proceedings of the 16th International Conference on Artificial Intelligence and Law, 

titoloEvento: 16th International Conference on Artificial Intelligence and Law

Year: 2017

Authors: Rapp, Amon; Cena, Federica; Tirassa, Maurizio; Boella, Guido; Calafiore, Alessia; Keller, Roberto

Tracking personal movements in urban environments: Personalized maps for people with autism spectrum disorder

Published in: 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, 

titoloEvento: 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and ACM International Symposium on Wearable Computers, UbiComp/ISWC 2017

Year: 2017

Authors: Cena, Federica; Rapp, Amon; Tirassa, Maurizio; Boella, Guido; Calafiore, Alessia; Keller, Roberto

Personalized Interactive Urban Maps for Autism: Enhancing accessibility to Urban environments for people with Autism Spectrum Disorder

Published in: 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, 

titoloEvento: 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and ACM International Symposium on Wearable Computers, UbiComp/ISWC 2017

Year: 2017

Authors: Rapp, Amon; Cena, Federica; Boella, Guido; Antonini, Alessio; Calafiore, Alessia; Buccoliero, Stefania; Tirassa, Maurizio;

Interactive Maps for Cognitive Disabilities

Published in: Proceedings of CHI 2017 Workshop HCIxDementia, 

titoloEvento: CHI 2017 Workshop HCIxDementia

Year: 2017

Authors: Pozzato, Gian Luca

Reasoning in description logics with typicalities and probabilities of exceptions

Published in: Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, 

titoloEvento: 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017

Year: 2017

Authors: Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca

Hypersequent calculi for lewis'€™ conditional logics with uniformity and reflexivity

Published in: Proceedings of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017, 

titoloEvento: 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017

Year: 2017

Authors: Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca; Vitalis, Quentin

VINTE: An implementation of internal calculi for lewis'€™ logics of counterfactual reasoning

Published in: Proceedings of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017, 

titoloEvento: 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017

Year: 2017

Authors: Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo

An efficient reasoner for description logics of typicality and rational closure

Published in: Proceedings of the 30th International Workshop on Description Logics, DL 2017, 

titoloEvento: 30th International Workshop on Description Logics, DL 2017

Year: 2017

Authors: Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo

RAT-OWL: Reasoning with rational closure in description logics of typicality

Published in: Proceedings of the Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017, 

titoloEvento: Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017

Year: 2017

Authors: Matteo, Baldoni; Cristina, Baroglio; Federico, Capuzzimati; Roberto, Micalizio

Endowing Business Artifacts with a Normative Coordination Layer

Published in: Proc. of 18th Workshop "From Objects To Agents", WOA 2017, 

titoloEvento: 18th Workshop "From Objects To Agents", WOA 2017

Year: 2017

Authors: Matteo, Baldoni; Cristina, Baroglio; May, Katherine M.; Roberto, Micalizio; Stefano, Tedeschi

ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo

Published in: PRIMA 2017: Principles and Practice of Multi-Agent Systems, 20th International Conference, 

titoloEvento: 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017

Year: 2017

Authors: Matteo, Baldoni; Cristina, Baroglio; May, katherine M.; Roberto, Micalizio; Stefano, Tedeschi

Supporting Organizational Accountability inside Multiagent Systems

Published in: AI*IA 2017: Advances in Artificial Intelligence, XVI International Conference of the Italian Association for Artificial Intelligence, 

titoloEvento: XVIth International Conference of the Italian Association for Artificial Intelligence

Year: 2017

Authors: Guido Boella, Alessia Calafiore, Egidio Dansero, Giacomo Pettenati

Dalla cartografia partecipativa al crowdmapping. Le VGI come strumento per la partecipazione e la cittadinanza attiva

Published in: SEMESTRALE DI STUDI E RICERCHE DI GEOGRAFIA, Year: 2017

Authors: Calafiore, Alessia; Boella, Guido; Borgo, Stefano; Guarino, Nicola

Urban artefacts and their social roles: Towards an ontology of social practices

Published in: Leibniz International Proceedings in Informatics, LIPIcs, 

titoloEvento: 13th International Conference on Spatial Information Theory, COSIT 2017

Year: 2017

Authors: Kolawole John, A., Di Caro, L., Robaldo, L., Boella, G.

Textual inference with tree-structured LSTM

Published in: BNAIC 2016: Artificial Intelligence, 

titoloEvento: 28th Benelux Conference on Artificial Intelligence

Year: 2017

Authors: Nanda, R., Siragusa, G., Di Caro, L., Theobald, Boella, Guido, Robaldo, L. Costamagna, F.

Concept recognition in European and national law

Published in: JURIX 2017: The 30th international conference on Legal Knowledge and Information Systems, 

titoloEvento: The 30th international conference on Legal Knowledge and Information Systems

Year: 2017

Authors: John, A., Di Caro, L., Robaldo, L., Boella Guido

Legalbot: A deep learning-based conversational agent in the legal domain

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017

Year: 2017

Authors: Siragusa, G., Leone, V., Di Caro L., Schifanella Claudio

Discovering relational phrases for qualia roles through open information extraction

Published in: Communications in Computer and Information Science, 

titoloEvento: 8th International Conference on Knowledge Engineering and Semantic Web, KESW 2017;

Year: 2017

Authors: Siragusa, G., Di Caro, L., Tosalli, M.

Automatic extraction of correction patterns from expert-revised corpora

Published in: Communications in Computer and Information Science, 

titoloEvento: 11th International Conference on Metadata and Semantic Research, MTSR 2017;

Year: 2017

Authors: Nanda, R., Konstantinov, H., Hristov, H., Di Caro, L., Tyankov, T., Costamagna, F., Boella Guido, Traykov, D., Humphreys, L., Robaldo, L.

A unifying similarity measure for automated identification of national implementations of european union directives

Published in: Proceedings of the International Conference on Artificial Intelligence and Law, 

titoloEvento: The 16th International Conference on Artificial Intelligence and Law

Year: 2017

Authors: Agnoloni, T., Bacci, L., Peruginelli, G., Van Opijnen, M., Van Den Oever, J., Palmirani, M., Cervone, L., Bujor, O., Arsuaga Lecuona, A., Boada García, A., Di Caro, L., Siragusa Giovanni

Linking European case law: BO-ECLI parser, an open framework for the automatic extraction of legal links

Published in: Frontiers in Artificial Intelligence and Applications, 

titoloEvento: Jurix

Year: 2017

Authors: Adebayo K., Di Caro Luigi, Boella Guido

Siamese network with soft attention for semantic text understanding

Published in: ACM International Conference Proceeding Series, 

titoloEvento: 13th International Conference on Semantic Systems, SEMANTiCS 2017

Year: 2017

Authors: N. Olivetti; G.L. Pozzato; R. Alenda

Nested Sequent Calculi for Normal Conditional Logics

Published in: JOURNAL OF LOGIC AND COMPUTATION, Year: 2016

Authors: Antonini, Alessio; Boella, Guido; Calafiore, Alessia; Cena, Federica; Lombardi, Ilaria; Salaroglio, Carlo; Sanasi, Luigi; Schifanella, Claudio; Soccini, Agata Marta

SEeS@W: Internet of Persons meets Internet of Things for Safety at Work

Published in: Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, 

titoloEvento: CSCW 2016

Year: 2016

Authors: Baldoni, Matteo; Baroglio, Cristina; Calvanese, Diego; Micalizio, Roberto; Montali, Marco

Data and Norm-aware Multiagent Systems for Software Modularization

Published in: Proc. of the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, 

titoloEvento: International Workshop on Engineering Multi-Agent Systems, EMAS 2016

Year: 2016

Authors: Baldoni, Matteo; Müller, Jörg P.; Nunes, Ingrid; Zalila-Wenkstern, Rym

Engineering Multi-Agent Systems, Proc. of 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016

Year: 2016

Authors: Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana; Capuzzimati, Federico

Engineering Commitment-based Business Protocols with the 2CL Methodology (Extended Abstract)

Published in: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 

titoloEvento: International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016

Year: 2016

Authors: Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko

Global escape in multiparty sessions

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2016

Authors: Micalizio, Roberto; Torta, Gianluca

Explaining interdependent action delays in multiagent plans execution

Published in: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, Year: 2016

Authors: Bettini, Lorenzo; Capecchi, Sara

VDML4RS: a tool for reputation systems modeling and design

Published in: SSE 2016 Proceedings of the 8th International Workshop on Social Software Engineering, 

titoloEvento: 8th International Workshop on Social Software Engineering

Year: 2016

Authors: Boella, Guido; Di Caro, Luigi; Humphreys, Llio; Robaldo, Livio; Rossi, Piercarlo; van der Torre, Leendert

Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law

Published in: ARTIFICIAL INTELLIGENCE AND LAW, Year: 2016

Authors: Cataldi, Mario; Di Caro, Luigi; Schifanella, Claudio

Ranking researchers through collaboration pattern analysis

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 15th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2016;

Year: 2016

Authors: Adebayo, John Kolawole; Di Caro, Luigi; Boella, Guido

A supervised keyphrase extraction system

Published in: ACM International Conference Proceeding Series, 

titoloEvento: 12th International Conference on Semantic Systems, SEMANTiCS 2016

Year: 2016

Authors: Di Caro, Luigi; Boella, Guido

Semantic similarity reasoning

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: International Workshop on Future and Emergent Trends in Language Technology

Year: 2016

Authors: Ajani, Gianmaria; Boella, Guido; Di Caro, Luigi; Robaldo, Livio; Humphreys, Llio; Praduroux, Sabrina; Rossi, Piercarlo; Violato, Andrea

The European Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology

Published in: APPLIED ONTOLOGY, Year: 2016

Authors: Matteo Baldoni; Cristina Baroglio; Floris Bex; Floriana Grasso; Nancy Green; Mohammad-Reza Namazi-Rad; Masayuki Numao; Merlin Teodosia Suarez

Principles and Practice of Multi-Agent Systems. International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers

Year: 2016

Authors: Matteo, Baldoni; Cristina, Baroglio; Diego, Calvanese; Roberto, Micalizio; Marco, Montali

Towards Data- and Norm-Aware Multiagent Systems

Published in: Engineering Multi-Agent Systems. 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers, Year: 2016

Authors: Baldoni, Matteo; Baroglio, Cristina; May, Katherine M.; Micalizio, Roberto; Tedeschi, Stefano

Computational Accountability

Published in: Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016, URANIA 2016, 

titoloEvento: Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, URANIA 2016

Year: 2016

Authors: Gian Luca Pozzato

Reasoning About Surprising Scenarios in Description Logics of Typicality

Published in: Advances in Artificial Intelligence: Proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, 

titoloEvento: 15th International Conference of the Italian Association for Artificial Intelligence

Year: 2016

Authors: Baldoni, Matteo; Chopra, Amit K.; Son, Tran Cao; Hirayama, Katsutoshi; Torroni, Paolo

PRIMA 2016: Principles and Practice of Multi-Agent Systems, 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Year: 2016

Authors: Baldoni, Matteo; Müller, Jörg P.; Nunes, Ingrid; Zalila-Wenkstern, Rym

Engineering Multi-Agent Systems. 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Year: 2016

Authors: Gian Luca Pozzato

ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality

Published in: Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), 

titoloEvento: 31st Convegno Italiano di Logica Computazionale (CILC 2016)

Year: 2016

Authors: Micalizio, Roberto; Pozzato, Gian Luca

Typicality-based revision for handling exceptions in Description Logics

Published in: Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), 

titoloEvento: 31st Convegno Italiano di Logica Computazionale (CILC 2016)

Year: 2016

Authors: Micalizio, Roberto; Pozzato, Gian Luca

A Typicality-based Revision to Handle Exceptions in Description Logics

Published in: Frontiers in Artificial Intelligence and Applications, 

titoloEvento: 22nd European Conference on Artificial Intelligence ECAI 2016

Year: 2016

Authors: Marianna, Girlando; Bjoern, Lellmann; Nicola, Olivetti; Gian, Luca Pozzato

Standard Sequent Calculi for Lewis' Logics of Counterfactuals

Published in: Proceedings of JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence, 

titoloEvento: JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence

Year: 2016

Authors: Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca

Standard Sequent Calculi for Lewis' Logics of Counterfactuals

Published in: LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 

titoloEvento: JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence

Year: 2016

Authors: John, Adebayo Kolawole; Di Caro, Luigi; Boella, Guido

Text segmentation with topic modeling and entity coherence

Published in: Advances in Intelligent Systems and Computing, 

titoloEvento: 16th International Conference on Hybrid Intelligent Systems, HIS 2016

Year: 2016

Authors: Nanda, Rohan; Di Caro, Luigi; Boella, Guido

A text similarity approach for automated transposition detection of European Union directives

Published in: Frontiers in Artificial Intelligence and Applications, 

titoloEvento: 29th International Conference on Legal Knowledge and Information Systems, JURIX 2016

Year: 2016

Authors: Adebayo, Kolawole John; Boella, Guido; Di Caro, Luigi

Neural reasoning for legal text understanding

Published in: Frontiers in Artificial Intelligence and Applications, 

titoloEvento: 29th International Conference on Legal Knowledge and Information Systems, JURIX 2016

Year: 2016

Authors: Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola

Information flow safety in multiparty sessions

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Year: 2016

Authors: De Filippi, Francesca; Coscia, Cristina; Boella, Guido; Antonini, Alessio; Calafiore, Alessia; Cantini, Anna; Guido, Roberta; Salaroglio, Carlo; Sanasi, Luigi; Schifanella, Claudio

MiraMap: A We-Government Tool for Smart Peripheries in Smart Cities

Published in: IEEE ACCESS, Year: 2016

Authors: Lupi, L; Antonini, A; Boella, G; Schifanella, C; Sanasi, L

Back to public: rethinking the public dimension of institutional and private initiatives on an urban data platform

Published in: Proceedings of the 2016 IEEE International Smart Cities Conference (ISC2), 

titoloEvento: IEEE International Smart Cities Conference (ISC2)

Year: 2016

Authors: Antonini, Alessio; Boella, Guido; Calafiore, Alessia; Salaroglio, Carlo; Sanasi, Luigi; Schifanella, Claudio

First life, the neighborhood social network: A collaborative environment for citizen

Published in: Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW, 

titoloEvento: 19th ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2016

Year: 2016

Authors: Antonini, Alessio; Boella, Guido; Lupi, Lucia; Schifanella, Claudio

Civic social network: A challenge for co-production of contents about common urban entities

Published in: Communications in Computer and Information Science, 

titoloEvento: 8th International Conference on Collaboration Technologies and Social Computing, CollabTech 2016

Year: 2016

Authors: Di Caro, Luigi; Cataldi, Mario; Schifanella, Claudio

Proceedings of the 2nd International Workshop on Social Media World Sensors (SIdEWayS 2016)

Published in: CEUR WORKSHOP PROCEEDINGS, Year: 2016

Authors: Calafiore, Alessia; Rapp, Amon

Gamifying the City: Pervasive Game Elements in the Urban Environment

Published in: 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), 

titoloEvento: Workshop on Fictional Game Elements 2016 co-located with The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY 2016)

Year: 2016

Authors: Enrico Scala; Roberto Micalizio; Pietro Torasso

Robust plan execution via reconfiguration and replanning

Published in: AI COMMUNICATIONS, Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico

Programming JADE and Jason agents based on social relationships using a uniform approach

Published in: Proc. of the Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, 

titoloEvento: The Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015

Year: 2015

Authors: Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca

Semantic characterization of Rational Closure: from Propositional Logic to Description Logics

Published in: ARTIFICIAL INTELLIGENCE, Year: 2015

Authors: Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics

Published in: Proceedings of the 28th International Workshop on Description Logics (DL2015), 

titoloEvento: 28th International Workshop on Description Logics (DL2015)

Year: 2015

Authors: Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca

A Multi-Engine Theorem Prover for a Description Logic of Typicality

Published in: AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings., 

titoloEvento: 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)

Year: 2015

Authors: Olivetti, Nicola; Pozzato, Gian Luca

A natural sequent calculus for Lewis logic of counterfactuals

Published in: Proceedings of the 30th Italian Conference on Computational Logic, 

titoloEvento: 30° Convegno Italiano di Logica Computazionale

Year: 2015

Authors: Pozzato, Gian Luca

Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match

Published in: Proceedings of the 30th Italian Conference on Computational Logic, 

titoloEvento: 30° Convegno Italiano di Logica Computazionale

Year: 2015

Authors: Matteo, Baldoni; Cristina, Baroglio; Federico, Capuzzimati; Roberto, Micalizio

Empowering Agent Coordination with Social Engagement

Published in: AI*IA 2015 Advances in Artificial Intelligence, Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Chopra, Amit K.; Singh, Munindar P.

Composing and Verifying Commitment-Based Multiagent Protocols

Published in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 

titoloEvento: Twenty-Fourth International Joint Conference on Artificial Intelligence

Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico

Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach

Published in: 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, Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Exploiting Social Commitments in Programming Agent Interaction

Published in: PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings, Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Leveraging commitments and goals in agent interaction

Published in: Proc. of XXX Italian Conference on Computational Logic, CILC 2015, 

titoloEvento: XXX Italian Conference on Computational Logic, CILC 2015

Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Programming with Commitments and Goals in JaCaMo+ (Extended Abstract)

Published in: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, 

titoloEvento: International Conference on Autonomous Agents and Multiagent Systems 2015

Year: 2015

Authors: Capuzzimati, Federico; Violato, Andrea; Baldoni, Matteo; Boella, Guido

Business Process Management for Legal Domains: Supporting Execution and Management of Preliminary Injunctions

Published in: Legal Knowledge and Information System - JURIX 2015: The Twenty-Eighth Annual Conference, 

titoloEvento: JURIX 2015: The Twenty-Eighth Annual Conference

Year: 2015

Authors: Scala, Enrico; Micalizio, Roberto; Torasso, Pietro

ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution

Published in: Agents and Artificial Intelligence, Year: 2015

Authors: Perotti, A., d'Avila Garcez, A. S. Boella G.

Neural-Symbolic Monitoring and Adaptation

Published in: Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN 2015), 

titoloEvento: IEEE International Joint Conference on Neural Networks (IJCNN 2015)

Year: 2015

Authors: Olivetti, Nicola; Pozzato, Gian Luca

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Published in: INTELLIGENZA ARTIFICIALE, Year: 2015

Authors: Micalizio, Roberto; Torta, Gianluca

A Scheduling Tool for Conditionally Independent Temporal Preferences

Published in: proceedings of ICTAI 2015, 

titoloEvento: International Conference on Tools with Artificial Intelligence

Year: 2015

Authors: Micalizio, Roberto; Torta, Gianluca

Scheduling with Structured Preferences

Published in: Research and Development in Intelligent Systems XXXII, 

titoloEvento: SGAI International Conference on Artificial Intelligence

Year: 2015

Authors: Baldoni, Matteo; Baresi, Luciano; Dastani, Mehdi

Engineering Multi-Agent Systems, Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Year: 2015

Authors: Baldoni, Matteo; Baresi, Luciano; Dastani, Mehdi

Proc. of 3rd International Workshop on Engineering Multi-Agent Systems, EMAS 2015

Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

Social Continual Planning in Open Multiagent Systems: a First Study

Published in: PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings, Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto

Social Computing with JaCaMo+2COMM4JASON

Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Chopra, Amit K.; Singh, Munindar P.

Social Contexts and Social Pragmatics (Extended Abstract)

Published in: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, 

titoloEvento: International Conference on Autonomous Agents and Multiagent Systems 2015

Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

Social Continual Planning in Open Multiagent Systems

Published in: Proceedings of the 6th Italian Workshop on Planning and Scheduling, IPS 2015, 

titoloEvento: Italian Workshop on Planning and Scheduling 2015, IPS 2015

Year: 2015

Authors: Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana

Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach (Extended Abstract)

Published in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 

titoloEvento: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015

Year: 2015

Authors: Capecchi, Sara; Giraudo, Mauro; Negro, Claudia; Pisano, Paola

Schooladvise: Designing a Reputation System for Educational Services through Service Design and Business Modeling

Published in: Proceedings - 12th IEEE International Conference on E-Business Engineering, ICEBE 2015, 

titoloEvento: 12th IEEE International Conference on E-Business Engineering, ICEBE 2015

Year: 2015

Authors: Di Caro, Luigi; Cataldi, Mario; Lamolle, Myriam; Schifanella, Claudio

It is not what but who you know: A time-sensitive collaboration impact measure of researchers in surrounding communities

Published in: WWW 2015 Companion - Proceedings of the 24th International Conference on World Wide Web, 

titoloEvento: 24th International Conference on World Wide Web, WWW 2015

Year: 2015

Authors: Humphreys, Llio; Santos, C.; Di Caro, Luigi; Boella, Guido; Van Der Torre, Leon; Robaldo, Livio

Mapping recitals to normative provisions in EU legislation to assist legal interpretation

Published in: Frontiers in Artificial Intelligence and Applications, 

titoloEvento: 28th Annual International Conference on Legal Knowledge and Information Systems, JURIX 2015

Year: 2015

Authors: Di Caro, Luigi; Ruggeri, Alice; Cupi, Loredana; Boella, Guido

Common-sense knowledge for natural language understanding: Experiments in unsupervised and supervised settings

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 14th International Conference of the Italian Association for Artificial Intelligence, 2015

Year: 2015

Authors: Boella, Guido; Di Caro, Luigi; Graziadei, Michele; Cupi, Loredana; Salaroglio, Carlo Emilio; Humphreys, Llio; Konstantinov, Hristo; Marko, H; Robaldo, Livio; Ruffini, Claudio; Simov, Kirill; Violato, Andrea; Stroetmann, Veli

Linking legal open data: Breaking the accessibility and language barrier in European legislation and case law

Published in: International Conference on Artificial Intelligence and Law, 

titoloEvento: 15th International Conference on Artificial Intelligence and Law, ICAIL 2015

Year: 2015

Authors: Cataldi, Mario; Di Caro, Luigi; Schifanella, Claudio

Twitter as a personalizable information service

Published in: Multimedia Data Mining and Analytics: Disruptive Innovation, Year: 2015

Authors: Olivetti, Nicola; Pozzato, Gian Luca

A standard and internal calculus for Lewis counterfactual logics

Published in: AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 

titoloEvento: Proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2015)

Year: 2015

Authors: Di Caro, Luigi; Cataldi, Mario; Schifanella, Claudio

Proceedings of the 1st International ACM Workshop On Social Media World Sensors (Sideways 2015)

Year: 2015

Hereafter is a list of products by the Social Computinggroup, that are not publications:

• 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 defining 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.