Vai al contenuto principale
Group picture

Social Computing (SoCom)

Staff

Picture

Activity

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

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 2015Livinglab per la costruzione partecipata di un social network di quartiere

Guido Boella

+ 39 011 670 6280

guido.boella@unito.it

Publications

 Pozzato, Gian Luca

Typicalities and probabilities of exceptions in nonmotonic Description Logics

 INTERNATIONAL JOURNAL OF APPROXIMATE REASONING,  2019

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

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

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

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

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

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

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

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

 ALGORITHMS,  2019

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

Process Coordination with Business Artifacts and Multiagent Technologies

 JOURNAL ON DATA SEMANTICS,  2019

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

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

 Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

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

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

Semi-automatic knowledge population in a legal document management system

 ARTIFICIAL INTELLIGENCE AND LAW,  2019

 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

 ARTIFICIAL INTELLIGENCE AND LAW,  2019

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

The Role of Common-Sense Knowledge in Assessing Semantic Association

 JOURNAL ON DATA SEMANTICS,  2019

 Di Caro L.; Ruggeri A.

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

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

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

 Torta, G; Micalizio, R; Sormano, S

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

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

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

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

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

 2019

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

MOCA: An ORM model for computational accountability

 INTELLIGENZA ARTIFICIALE,  2019

 Lieto Antonio, Pozzato Gian Luca, Perrone Federico

A Dynamic Knowledge Generation System for Cognitive Agents

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

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

 2019

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

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

 2019

 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

 IEEE ACCESS,  2019

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

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

 torta gianluca, micalizio roberto, sormano

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

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

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

 COGNITIVE SYSTEMS RESEARCH,  2019

 Lieto A.; Pozzato G.L.

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

 INTELLIGENZA ARTIFICIALE,  2019

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

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

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

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

 2019

 Pozzato G.L.; Soriano G.

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

 CEUR Workshop Proceedings, 

 34th Italian Conference on Computational Logic, CILC 2019

 2019

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

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

 CEUR Workshop Proceedings, 

 34th Italian Conference on Computational Logic, CILC 2019

 2019

 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

 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

 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

 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

 Matteo Baldoni, Cristina Baroglio, Roberto Micalizio

Accountability, Responsibility and Robustness in Agent Organizations

 Proceedings of the 34th Italian Conference on Computational Logic, 

 Italian Conference on Computational Logic 2019

 2019

 Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi

A Focus on Robustness with ARFIN organizations

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

 20th Workshop “From Objects to Agents”

 2019

 Baldoni Matteo, Giordano Laura, Satoh Ken

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

 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

 ICITIES 2019, 

 5th Italian Conference on ICT for Smart Cities And Communities

 2019

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

Mining annotators common knowledge for automatic text revision

 INTERNATIONAL JOURNAL OF METADATA, SEMANTICS AND ONTOLOGIES,  2019

 Leone Valentina; Di Caro Luigi

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

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

Relating Legal Entities via Open Information Extraction

 Communications in Computer and Information Science, 

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

 2019

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

Commitment-based Agent Interaction in JaCaMo

 FUNDAMENTA INFORMATICAE,  2018

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

Objective Coordination with Business Artifacts and Social Engagements

 Business Process Management Workshops,  2018

 Micalizio Roberto - Pozzato Gian Luca

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

 FUNDAMENTA INFORMATICAE,  2018

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

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

 ELEARNING AND SOFTWARE FOR EDUCATION, 

 The 14th International Scientific Conference eLearning and Software for Education

 2018

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

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

 ELEARNING AND SOFTWARE FOR EDUCATION,  2018

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

A model for structuring shared learning materials within a Virtual Community

 Proceedings della Multiconferenza EM&M ITALIA, 

 EMEMITALIA 2017

 2018

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

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

 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

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

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

 2018

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

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

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

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

 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

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

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

 2018

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

Type checking for protocol role enactments via commitments

 AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS,  2018

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

Computational accountability in MAS organizations with ADOPT

 APPLIED SCIENCES,  2018

 Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

The athos project: First steps towards computational accountability

 CEUR Workshop Proceedings,  2018

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

Intelligent Agents: Multi-Agent Systems

 Reference Module in Life Sciences,  2018

 Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

Computational accountability and responsibility in multiagent systems

 CEUR WORKSHOP PROCEEDINGS,  2018

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

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

 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

 IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES,  2018

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

Computational accountability in MAS organizations with ADOPT

 APPLIED SCIENCES,  2018

 Lieto, Antonio; Pozzato, Gian Luca*

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

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

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

 2018

 Pozzato, Gian Luca*

On probabilities of exceptions in description logics of typicality

 Proceedings of the 33rd Italian Conference on Computational Logic, 

 33rd Italian Conference on Computational Logic, CILC 2018

 2018

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

COCOS: A typicality based COncept COmbination System

 Proceedings of the 33rd Italian Conference on Computational Logic, 

 33rd Italian Conference on Computational Logic, CILC 2018

 2018

 Lieto, Antonio; Pozzato, Gian Luca*

A description logic of typicality for conceptual combination

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

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

 2018

 CRISTINA BAROGLIO, OLIVIER BOISSIER, AXEL POLLERES

Special Issue: Computational Ethics and Accountability

 ACM TRANSACTIONS ON INTERNET TECHNOLOGY,  2018

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

Norm-aware and Norm-oriented Programming

 Handbook of Normative Multiagent Systems,  2018

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

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

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

Interaction Protocols

 Handbook of Normative Multiagent Systems,  2018

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

An Information Model for Computing Accountabilities

 AI*IA 2018 – Advances in Artificial Intelligence, 

 International Conference of the Italian Association for Artificial Intelligence

 2018

 Baldoni Matteo, Baroglio Cristina, Micalizio Roberto

Goal Distribution in Business Process Models

 AI*IA 2018 – Advances in Artificial Intelligence, 

 International Conference of the Italian Association for Artificial Intelligence

 2018

 Baldoni Matteo, Baroglio Cristina, Micalizio Roberto, Tedeschi Stefano

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

 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?

 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

 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

 HAEMATOLOGICA, 

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

 2018

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

35 Years of Pietro Torasso's work on diagnosis

 INTELLIGENZA ARTIFICIALE,  2018

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

First-Life: From Maps to Social Networks and Back

 Co-Designing Economies in Transition,  2018

 Torta, Gianluca; Micalizio, Roberto

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

 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

 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

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

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

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

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

 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

 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

 Pozzato, Gian Luca

Reasoning About Plausible Scenarios in Description Logics of Typicality

 INTELLIGENZA ARTIFICIALE,  2017

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

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

 FUNDAMENTA INFORMATICAE,  2017

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

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

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

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

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

 16th International Conference on Artificial Intelligence and Law

 2017

 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

 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

 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

 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

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

Interactive Maps for Cognitive Disabilities

 Proceedings of CHI 2017 Workshop HCIxDementia, 

 CHI 2017 Workshop HCIxDementia

 2017

 Pozzato, Gian Luca

Reasoning in description logics with typicalities and probabilities of exceptions

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

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

 2017

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

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

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

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

 2017

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

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

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

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

 2017

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

An efficient reasoner for description logics of typicality and rational closure

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

 30th International Workshop on Description Logics, DL 2017

 2017

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

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

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

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

 2017

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

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

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

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

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

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

 Guido Boella, Alessia Calafiore, Egidio Dansero, Giacomo Pettenati

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

 SEMESTRALE DI STUDI E RICERCHE DI GEOGRAFIA,  2017

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

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

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

Textual inference with tree-structured LSTM

 BNAIC 2016: Artificial Intelligence, 

 28th Benelux Conference on Artificial Intelligence

 2017

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

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

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

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

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

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

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

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

 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

 Proceedings of the International Conference on Artificial Intelligence and Law, 

 The 16th International Conference on Artificial Intelligence and Law

 2017

 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

 Frontiers in Artificial Intelligence and Applications, 

 Jurix

 2017

 Adebayo K., Di Caro Luigi, Boella Guido

Siamese network with soft attention for semantic text understanding

 ACM International Conference Proceeding Series, 

 13th International Conference on Semantic Systems, SEMANTiCS 2017

 2017

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

Nested Sequent Calculi for Normal Conditional Logics

 JOURNAL OF LOGIC AND COMPUTATION,  2016

 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

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

 CSCW 2016

 2016

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

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

 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

 2016

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

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

 Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko

Global escape in multiparty sessions

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016

 Micalizio, Roberto; Torta, Gianluca

Explaining interdependent action delays in multiagent plans execution

 AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS,  2016

 Bettini, Lorenzo; Capecchi, Sara

VDML4RS: a tool for reputation systems modeling and design

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

 8th International Workshop on Social Software Engineering

 2016

 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

 ARTIFICIAL INTELLIGENCE AND LAW,  2016

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

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

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

A supervised keyphrase extraction system

 ACM International Conference Proceeding Series, 

 12th International Conference on Semantic Systems, SEMANTiCS 2016

 2016

 Di Caro, Luigi; Boella, Guido

Semantic similarity reasoning

 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

 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

 APPLIED ONTOLOGY,  2016

 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

 2016

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

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

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

Computational Accountability

 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

 Gian Luca Pozzato

Reasoning About Surprising Scenarios in Description Logics of Typicality

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

 15th International Conference of the Italian Association for Artificial Intelligence

 2016

 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

 2016

 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

 2016

 Gian Luca Pozzato

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

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

 31st Convegno Italiano di Logica Computazionale (CILC 2016)

 2016

 Micalizio, Roberto; Pozzato, Gian Luca

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

 Micalizio, Roberto; Pozzato, Gian Luca

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

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

Standard Sequent Calculi for Lewis' Logics of Counterfactuals

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

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

 2016

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

Standard Sequent Calculi for Lewis' Logics of Counterfactuals

 LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 

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

 2016

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

Text segmentation with topic modeling and entity coherence

 Advances in Intelligent Systems and Computing, 

 16th International Conference on Hybrid Intelligent Systems, HIS 2016

 2016

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

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

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

Neural reasoning for legal text understanding

 Frontiers in Artificial Intelligence and Applications, 

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

 2016

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

Information flow safety in multiparty sessions

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016

 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

 IEEE ACCESS,  2016

 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

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

 IEEE International Smart Cities Conference (ISC2)

 2016

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

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

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

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

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

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

 CEUR WORKSHOP PROCEEDINGS,  2016

 Calafiore, Alessia; Rapp, Amon

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

 Enrico Scala; Roberto Micalizio; Pietro Torasso

Robust plan execution via reconfiguration and replanning

 AI COMMUNICATIONS,  2015

 Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico

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

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

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

 ARTIFICIAL INTELLIGENCE,  2015

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

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

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

 28th International Workshop on Description Logics (DL2015)

 2015

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

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

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

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

 2015

 Olivetti, Nicola; Pozzato, Gian Luca

A natural sequent calculus for Lewis logic of counterfactuals

 Proceedings of the 30th Italian Conference on Computational Logic, 

 30° Convegno Italiano di Logica Computazionale

 2015

 Pozzato, Gian Luca

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

 Proceedings of the 30th Italian Conference on Computational Logic, 

 30° Convegno Italiano di Logica Computazionale

 2015

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

Empowering Agent Coordination with Social Engagement

 AI*IA 2015 Advances in Artificial Intelligence,  2015

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

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

 Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico

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

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

Exploiting Social Commitments in Programming Agent Interaction

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

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

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

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

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

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

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

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

 JURIX 2015: The Twenty-Eighth Annual Conference

 2015

 Scala, Enrico; Micalizio, Roberto; Torasso, Pietro

ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution

 Agents and Artificial Intelligence,  2015

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

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

 Olivetti, Nicola; Pozzato, Gian Luca

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

 INTELLIGENZA ARTIFICIALE,  2015

 Micalizio, Roberto; Torta, Gianluca

A Scheduling Tool for Conditionally Independent Temporal Preferences

 proceedings of ICTAI 2015, 

 International Conference on Tools with Artificial Intelligence

 2015

 Micalizio, Roberto; Torta, Gianluca

Scheduling with Structured Preferences

 Research and Development in Intelligent Systems XXXII, 

 SGAI International Conference on Artificial Intelligence

 2015

 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

 2015

 Baldoni, Matteo; Baresi, Luciano; Dastani, Mehdi

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

 2015

 Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

Social Continual Planning in Open Multiagent Systems: a First Study

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

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

Social Computing with JaCaMo+2COMM4JASON

 2015

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

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

 Baldoni, Matteo; Baroglio, Cristina; Micalizio, Roberto

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

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

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

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

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

 2015

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

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

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

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

 2015

 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

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

 24th International Conference on World Wide Web, WWW 2015

 2015

 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

 Frontiers in Artificial Intelligence and Applications, 

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

 2015

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

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

 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

 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

 International Conference on Artificial Intelligence and Law, 

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

 2015

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

Twitter as a personalizable information service

 Multimedia Data Mining and Analytics: Disruptive Innovation,  2015

 Olivetti, Nicola; Pozzato, Gian Luca

A standard and internal calculus for Lewis counterfactual logics

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

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

 2015

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

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

 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.

Last update: 17/04/2021 09:45
Location: https://www.cs.unito.it/robots.html
Non cliccare qui!