AI*IA 2013: Advances in Artificial Intelligence

Lecture Notes in Artificial Intelligence

8249

Subseries of Lecture Notes in Computer Science

LNAI Series Editors

Randy Goebel

University of Alberta, Edmonton, Canada

Yuzuru Tanaka

Hokkaido University, Sapporo, Japan

Wolfgang Wahlster

DFKI and Saarland University, Saarbrücken, Germany

LNAI Founding Series Editor

Joerg Siekmann

Matteo Baldoni Cristina Baroglio

Guido Boella Roberto Micalizio (Eds.)

AI*IA 2013:

Advances in

Artificial Intelligence

XIIIth International Conference

of the Italian Association for Artificial Intelligence

Turin, Italy, December 4-6, 2013

Proceedings

Volume Editors Matteo Baldoni Cristina Baroglio Guido Boella Roberto Micalizio

Università degli Studi di Torino Dipartimento di Informatica via Pessinetto 12

10149 Torino, Italy

E-mail:{baldoni, baroglio, guido, micalizio}@di.unito.it

ISSN 0302-9743 e-ISSN 1611-3349

ISBN 978-3-319-03523-9 e-ISBN 978-3-319-03524-6 DOI 10.1007/978-3-319-03524-6

Springer Cham Heidelberg New York Dordrecht London Library of Congress Control Number: 2013952452

CR Subject Classification (1998): I.2, F.1, F.4.1, I.2.6, H.2.8, I.5, H.3-5 LNCS Sublibrary: SL 7 – Artificial Intelligence

© Springer International Publishing Switzerland 2013

This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law.

The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.

While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein.

Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India

Printed on acid-free paper

This volume is dedicated to Leonardo Lesmo, colleague, friend, mentor to so many of us.

Preface

AI*IA 2013 was the thirteenth in a series of international conferences on Ad-vances in Artificial Intelligence, held bi-annually in Italy by the Italian Associ-ation for Artificial Intelligence (AI*IA). The first edition of the conference was held in Trento in 1989, then in Palermo 1991, Turin 1993, Florence 1995, Rome 1997, Bologna 1999, Bari 2001, Pisa 2003, Milan 2005, Rome 2007, Reggio Emilia 2009, Palermo 2011.

The 2013 edition of the conference was special as it celebrated the 25th anniversary of AI*IA, founded in February 1988. Turin was honored to host again this event in this very special year and so to host also the celebrations. For this important occasion, the conference format was re-designed so as to better accomplish the mission of a conference, i.e. creating a meeting place that favors the exchange of ideas.

A special day was also organized on December, 4th, 2013. The former and cur-rent presidents of the association (Luigia Carlucci Aiello, Oliviero Stock, Pietro Torasso, Roberto Serra, Marco Gori, Marco Schaerf, and Paola Mello), provoked by the journalist and scientific popularizer Andrea Vico, enlivened a panel dis-cussion on their respective chairing stints, the challenges, the priorities, and the achieved results as well as current directions and the future of Artificial Intelli-gence in Italy.

In the late afternoon, the movie Blade Runner was projected at Cinema Massimo with the aim of attracting a broad public towards Artificial Intelli-gence research, by relying on an artistic rather than a technical language. Many times research in Artificial Intelligence gave precious cues to cinema productions looking for visions about the future. Blade Runner is an iconic example and for this reason it can, better than other movies, convey an interest towards AI. The projection was complemented by a discussion about the intersections of research and artistic productions, lead by prof. Lorenza Saitta, from the University of Piemonte Orientale Amedeo Avogadro, and prof. Roy Menarini, from the Uni-versity of Udine. This special event was organized by Alessandro Mazzei and Vincenzo Lombardo with the help of the Department of Humanities, and of the Cinema Museum of Turin.

In order to foster discussion and to facilitate idea exchange, community cre-ation, and collaborcre-ation, the conference became, in its 2013 edition, a “social” conference. In the time between acceptance and presentation, each paper had its own public web space and a forum, where authors moderated discussions on the topics of their research. Presentations at the conference, thus, had a deeper impact: by attending the conference, researchers had the chance to tighten the relationships their papers started on the web, by means of vis-`a-vis discussions. On this occasion, they had the chance to profit from reserved tables, where they met a motivated and interested audience, composed of other researchers,

stake-VIII Preface

holders from the industrial world, and students. Attendees had the possibility to book directly with authors time slots for discussion, through the web, or to roam from table to table at the conference, browsing through discussions.

AI*IA 2013 received 86 submissions from 23 countries. Each submission was reviewed by at least 3 Program Committee members. The Committee decided to accept 45 papers. They are grouped in this volume in eight areas: knowledge representation and reasoning, machine learning, natural language processing, planning, distributed artificial intelligence: robotics and multi-agent systems, recommender systems and semantic web, temporal reasoning and reasoning un-der uncertainty, artificial intelligence applications. AI*IA 2013 was honored to host also two invited speakers: prof. Giuseppe Attardi, from the University of Pisa, and prof. Rafael H. Bordini, from the Pontificia Universidade Cat´olica do Rio Grande do Sul.

We would like to thank all the authors for their participation and the members of the Program Committee for their excellent work during the reviewing phase. Moreover, we would like to thank all the members of the Steering Committee of AI*IA for their advice, a special thanks to Fabrizio Riguzzi, and Sara Manzoni also for their support in the organization. Finally, we are very grateful to prof. Paola Mello for her personal involvement and constant encouragement all along the months which led to AI*IA 2013.

This event was sponsored by AI*IA, by the Department of Computer Science of the University of Torino, and by the Artificial Intelligence Journal, and it obtained the “patrocinio” by Regione Piemonte. The submission, revision, and proceeding preparation phases were supported by EasyChair.

September 2013 Matteo Baldoni

Cristina Baroglio Guido Boella Roberto Micalizio

Organization

Program and Organizer Chairs

Matteo Baldoni University of Torino, Italy Cristina Baroglio University of Torino, Italy Guido Boella University of Torino, Italy

Organizing Committee

Matteo Baldoni University of Torino, Italy Cristina Baroglio University of Torino, Italy Guido Boella University of Torino, Italy Federico Capuzzimati University of Torino, Italy Vincenzo Lombardo University of Torino, Italy Alessandro Mazzei University of Torino, Italy Roberto Micalizio University of Torino, Italy

Program Committee

Giuliano Armano University of Cagliari, Italy Matteo Baldoni University of Torino, Italy Cristina Baroglio University of Torino, Italy

Roberto Basili University of Roma Tor Vergata, Italy Federico Bergenti University of Parma, Italy

Stefano Bistarelli University of Perugia, Italy Guido Boella University of Torino, Italy Luciana Bordoni ENEA, Italy

Marco Botta University of Torino, Italy Stefano Cagnoni University of Parma, Italy

Diego Calvanese Free University of Bozen-Bolzano, Italy Antonio Camurri University of Genova, Italy

Amedeo Cappelli ISTI-CNR, Italy

Luigia Carlucci Aiello University of Roma “Sapienza”, Italy

Amedeo Cesta CNR, Italy

Antonio Chella University of Palermo, Italy Luca Console University of Torino, Italy Rosaria Conte ICST-CNR, Italy

Gabriella Cortellessa ISTC-CNR, Italy

Mehdi Dastani Utrecht University, The Netherlands Giuseppe De Giacomo University of Roma “Sapienza”, Italy

X Organization

Francesco M. Donini University of Tuscia, Italy Floriana Esposito University of Bari, Italy Patrick Gallinari University of Paris 6, France Mauro Gaspari University of Bologna, Italy Nicola Gatti Politecnico di Milano, Italy Alfonso Emilio Gerevini University of Brescia, Italy

Laura Giordano University of Piemonte Orientale, Italy Marco Gori University of Siena, Italy

Nicola Guarino CNR, Italy

Evelina Lamma University of Ferrara, Italy Nicola Leone University of Calabria, Italy Leonardo Lesmo University of Torino, Italy Bernardo Magnini FBK, Italy

Donato Malerba University of Bari, Italy Alberto Martelli University of Torino, Italy Paola Mello University of Bologna, Italy Emanuele Menegatti University of Padova, Italy

Stefania Montani University of Piemonte Orientale, Italy Alessandro Moschitti University of Trento, Italy

Daniele Nardi University of Roma “Sapienza”, Italy Angelo Oddi ISTC-CNR, Italy

Andrea Omicini University of Bologna, Italy Roberto Pirrone University of Palermo, Italy

Piero Poccianti Consorzio Operativo Gruppo MPS, Italy Daniele P. Radicioni University of Torino, Italy

Fabrizio Riguzzi University of Ferrara, Italy Andrea Roli University of Bologna, Italy Francesca Rossi University of Padova, Italy Fabio Sartori University of Milano, Italy

Marco Schaerf University of Roma “Sapienza”, Italy Giovanni Semeraro University of Bari, Italy

Rosario Sorbello University of Palermo, Italy Oliviero Stock FBK, Italy

Armando Tacchella University of Genova, Italy Pietro Torasso University of Torino, Italy Eloisa Vargiu Barcelona Digital, Spain

Marco Villani University of Modena and Reggio Emilia, Italy Giuseppe Vizzari University of Milano-Bicocca, Italy

Additional Reviewers

Organization XI

Biba, Marenglen Bloisi, Domenico Bonanni, Taigo Maria Botoeva, Elena Bragaglia, Stefano Callaway, Charles Cannella, Vincenzo Chesani, Federico Codetta Raiteri, Daniele Colucci, Simona D’Amato, Claudia Damiano, Rossana De Gemmis, Marco Di Mauro, Nicola Esposito, Roberto Fanizzi, Nicola Gavanelli, Marco Gemignani, Guglielmo Gena, Cristina Gentilini, Raffaella Ghidoni, Stefano Giovannetti, Emiliano Giuliani, Alessandro Gori, Marco Grasso, Giovanni Greco, Gianluigi Guerini, Marco Iaquinta, Leo Levorato, Riccardo Lieto, Antonio Lops, Pasquale Manna, Marco Mazzei, Alessandro Mesejo, Pablo Michieletto, Stefano Mordonini, Monica Musto, Cataldo Narducci, Fedelucio Nashed, Youssef S. G. Not, Elena Orlandini, Andrea Patrizi, Fabio Patti, Viviana Peano, Andrea Pensa, Ruggero G. Perri, Simona

Pini, Maria Silvia Pipitone, Arianna Previtali, Fabio Rossi, Fabio Saitta, Lorenza Santini, Francesco Santoso, Ario Scala, Enrico Schifanella, Claudio Serina, Ivan Simkus, Mantas Tamponi, Emanuele Testerink, Bas Theseider Dupr´e, Daniele Torroni, Paolo Ugolotti, Roberto van der Torre, Leon Vassos, Stavros

Venable, Kristen Brent Vieu, Laure

Zancanaro, Massimo Zanzotto, Fabio Massimo

Sponsoring Institutions

AI*IA 2013 was partially finded by the Artificial Intelligence Journal, by the Computer Science Department of the University of Turin, and by the Italian Association for Artificial Intelligence. AI*IA 2013 received the “patrocinio” of Regione Piemonte.

Table of Contents

Knowledge Representation and Reasoning

Comparing Alternative Solutions for Unfounded Set Propagation in

ASP . . . . 1

Mario Alviano, Carmine Dodaro, and Francesco Ricca

Mind in Degrees: The Quantitative Dimension of Mental Attitudes . . . . . 13

Cristiano Castelfranchi

Towards an Ontology-Based Framework to Generate Diagnostic

Decision Support Systems . . . . 25

Giuseppe Cicala, Marco Oreggia, and Armando Tacchella

Automated Reasoning in Metabolic Networks with Inhibition . . . . 37

Robert Demolombe, Luis Fari˜nas del Cerro, and Naji Obeid

Multicriteria Decision Making Based on Qualitative Assessments and

Relational Belief . . . . 48

Amel Ennaceur, Zied Elouedi, and Eric Lefevre

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics . . . . 60

Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, and Gian Luca Pozzato

Automated Selection of Grounding Algorithm in Answer Set

Programming . . . . 73

Marco Maratea, Luca Pulina, and Francesco Ricca

Entity-from-Relationship Modelling . . . . 85

Claudio Masolo and Alessandro Artale

Machine Learning

Supervised Learning and Distributional Semantic Models for

Super-Sense Tagging . . . . 97

Pierpaolo Basile, Annalina Caputo, and Giovanni Semeraro

A Heuristic Approach to Handling Sequential Information in

Incremental ILP . . . . 109

Stefano Ferilli and Floriana Esposito

How Mature Is the Field of Machine Learning? . . . . 121

XIV Table of Contents

Enhance User-Level Sentiment Analysis on Microblogs with Approval

Relations . . . . 133

Federico Alberto Pozzi, Daniele Maccagnola, Elisabetta Fersini, and Enza Messina

Abstraction in Markov Networks . . . . 145

Lorenza Saitta

Improving the Structuring Capabilities of Statistics–Based Local

Learners . . . . 157

Slobodan Vukanovi´c, Robert Haschke, and Helge Ritter

Kernel-Based Discriminative Re-ranking for Spoken Command

Understanding in HRI . . . . 169

Roberto Basili, Emanuele Bastianelli, Giuseppe Castellucci, Daniele Nardi, and Vittorio Perera

Natural Language Processing

A Natural Language Account for Argumentation Schemes . . . . 181

Elena Cabrio, Sara Tonelli, and Serena Villata

Deep Natural Language Processing for Italian Sign Language

Translation . . . . 193

Alessandro Mazzei, Leonardo Lesmo, Cristina Battaglino, Mara Vendrame, and Monica Bucciarelli

A Virtual Player for “Who Wants to Be a Millionaire?” based on

Question Answering . . . . 205

Piero Molino, Pierpaolo Basile, Ciro Santoro, Pasquale Lops, Marco de Gemmis, and Giovanni Semeraro

The Construction of the Relative Distance Fuzzy Values Based on the

Questionnaire Experiment . . . . 217

Jedrzej Osi´nski

Process Fragment Recognition in Clinical Documents . . . . 227

Camilo Thorne, Elena Cardillo, Claudio Eccher, Marco Montali, and Diego Calvanese

Planning

Offline and Online Plan Library Maintenance in Case-Based

Planning . . . . 239

Alfonso E. Gerevini, Anna Roub´ıˇckov´a, Alessandro Saetti, and Ivan Serina

Table of Contents XV

Integrating Knowledge Engineering for Planning with Validation and

Verification Tools . . . . 251

Andrea Orlandini, Giulio Bernardi, Amedeo Cesta, and Alberto Finzi

Numeric Kernel for Reasoning about Plans Involving Numeric

Fluents . . . . 263

Enrico Scala

Underestimation vs. Overestimation in SAT-Based Planning . . . . 276

Mauro Vallati, Luk´aˇs Chrpa, and Andrew Crampton

Distributed AI: Robotics and MAS

Social Interactions in Crowds of Pedestrians: An Adaptive Model for

Group Cohesion . . . . 288

Stefania Bandini, Luca Crociani, and Giuseppe Vizzari

On the Expressiveness of Attribute Global Types: The Formalization

of a Real Multiagent System Protocol . . . . 300

Viviana Mascardi, Daniela Briola, and Davide Ancona

A Distributed Agent-Based Approach for Supporting Group Formation

in P2P e-Learning . . . . 312

Fabrizio Messina, Giuseppe Pappalardo, Domenico Rosaci, Corrado Santoro, and Giuseppe M.L. Sarn´e

Identification of Dynamical Structures in Artificial Brains: An Analysis

of Boolean Network Controlled Robots . . . . 324

Andrea Roli, Marco Villani, Roberto Serra, Lorenzo Garattoni, Carlo Pinciroli, and Mauro Birattari

Recommender Systems and Semantic Web

Semantic Annotation of Scholarly Documents and Citations . . . . 336

Paolo Ciancarini, Angelo Di Iorio, Andrea Giovanni Nuzzolese, Silvio Peroni, and Fabio Vitali

Common Subsumbers in RDF . . . . 348

Simona Colucci, Francesco M. Donini, and Eugenio Di Sciascio

Personality-Based Active Learning for Collaborative Filtering

Recommender Systems . . . . 360

Mehdi Elahi, Matthias Braunhofer, Francesco Ricci, and Marko Tkalcic

Selection and Ranking of Activities in the Social Web . . . . 372

Ilaria Lombardi, Silvia Likavec, Claudia Picardi, and Elisa Chiabrando

XVI Table of Contents

Granular Semantic User Similarity in the Presence of Sparse Data . . . . 385

Francesco Osborne, Silvia Likavec, and Federica Cena

Computing Instantiated Explanations in OWL DL . . . . 397

Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese

Using Agents for Generating Personalized Recommendations of

Multimedia Contents . . . . 409

Domenico Rosaci and Giuseppe M.L. Sarn´e

Temporal Reasoning and Reasoning under

Uncertainty

Outlier Detection with Arbitrary Probability Functions . . . . 421

Fabrizio Angiulli and Fabio Fassetti

Enhancing Regression Models with Spatio-temporal Indicator

Additions . . . . 433

Annalisa Appice, Sonja Pravilovic, Donato Malerba, and Antonietta Lanza

A Reduction-Based Approach for Solving Disjunctive Temporal

Problems with Preferences . . . . 445

Jean-R´emi Bourguet, Marco Maratea, and Luca Pulina

An Intelligent Technique for Forecasting Spatially Correlated Time

Series . . . . 457

Sonja Pravilovic, Annalisa Appice, and Donato Malerba

AI Applications

Reasoning-Based Techniques for Dealing with Incomplete Business

Process Execution Traces . . . . 469

Piergiorgio Bertoli, Chiara Di Francescomarino, Mauro Dragoni, and Chiara Ghidini

CDoT: Optimizing MAP Queries on Trees . . . . 481

Roberto Esposito, Daniele P. Radicioni, and Alessia Visconti

Gesture Recognition for Improved User Experience in a Smart

Environment . . . . 493

Salvatore Gaglio, Giuseppe Lo Re, Marco Morana, and Marco Ortolani

An Efficient Algorithm for Rank Distance Consensus . . . . 505

Table of Contents XVII

Automatic Braille to Black Conversion . . . . 517

Filippo Stanco, Matteo Buffa, and Giovanni Maria Farinella

A Hybrid Neuro–Wavelet Predictor for QoS Control and Stability . . . . 527

Christian Napoli, Giuseppe Pappalardo, and Emiliano Tramontana