st th - December 1 Genova - Liguri

Size: px

Start display at page:

Download "st th - December 1 Genova - Liguri"

Duane Fox
5 years ago
Views:

1 AI*IA- Lig2uri0a, 1Ita6 ly Genova OF ONFERENCE C L A N IO T A RN th The 15 INTE IATION FOR ASSOC N IA L A IT E H T EN C E IG L L E T IN L ARTIFICIA st th - December r e b m e Nov a Genova - Liguri 2016

2 AI*IA Workshops November 28 th Time What Where Registration Main room entrance Workshops: AAL AIRO AI*CH MLDM.it RCRA URANIA Coffee Break Lobby Workshops: AAL AIRO AI*CH MLDM.it RCRA URANIA Lunch Lobby

3 Workshops: AAL AIRO AI*CH MLDM.it RCRA URANIA Coffee Break Lobby Workshops: AAL AIRO AI*CH MLDM.it RCRA URANIA AAL - Second Italian Workshop on Artificial Intelligence for Ambient Assisted Living Organizers: Stefania Bandini, Gabriella Cortellessa and Filippo Palumbo The second edition of the AI*AAL.it workshop aims to establish a stable forum collecting knowledge, experiences and trends showing how Artificial Intelligence (AI) could add value to the promotion of a new generation of innovative support systems in Ambient Assisted Living domains. AIRO - Third Italian Workshop on Artificial Intelligence and Robotics Organizers: Alberto Finzi, Alessandro Farinelli, and Fulvio Mastrogiovanni The goal of AIRO 2016 is to foster the discussion about the use of Artificial Intelligence methods to design intelligent robots. AIRO 2016 is part of an on-going effort to consolidate the Italian community working on various aspects of the intersection between AI and Robotics.

4 AI*CH - Tenth Italian Workshop on Artificial Intelligence for Cultural Heritage Organizers: Luciana Bordoni, Francesco Mele and Antonio Sorgente The workshop wants to create opportunities to discussion and debate about AI and CH area for promoting increasingly active collaboration between them. It will be a multidisciplinary meeting point where the aspects of AI will be analyzed to improve the valorisation, conservation and promotion of the cultural assets. MLDM.it - Fifth Italian Workshop on Machine Learning and Data Mining Organizers: Alessio Micheli, Claudio Gallicchio The MLDM.it workshop aims at bringing together researchers actively involved in the fields of machine learning, data mining, deep learning, pattern recognition, and knowledge discovery. RCRA - Twentythird RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Organizers: Stefano Bistarelli Andrea Formisano, and Marco Maratea Many problems in Artificial Intelligence show an exponential explosion of the search space. RCRA fosters the cross-fertilization of ideas stemming from different areas to face such challenging problems by proposing benchmarks and comparing models, approaches and algorithms from an experimental viewpoint. URANIA - First Italian Workshop on Deep Understanding and Reasoning: A challenge for Next-generation Intelligent Agents Organizers: Paola Mello, Michela Milano, and Federico Chesani The workshop aims to foster a discussion on the structure, design and implementation of intelligent, autonomous agents that starting from a (possibly multi-modal) problem description will deeply understand the problem, devise a suitable model and reasoning technique and find a solution without human intervention.

5 AI*IA Conference Program November 29 th - December 1 st Tuesday 29 th Time What Where Registration Main room entrance Opening AI*IA Doctoral Consortium - Welcome MLDM.it Doctoral Consortium Presentations Coffee Break Lobby MLDM.it Doctoral Consortium Social Session and Award Lunch Lobby Opening AI*IA XV International Conference Invited Talk: Pietro Leo, IBM Paper Short Presentations (Session 1A) Coffee Break Lobby

6 Paper Short Presentations (Session 1B) Doctoral Consortium Posters Social Session 1A Social Session 1B Paper Short Presentations (Session 1A) Understanding Characteristics of Evolved Instances for State-of-The-Art Inexact TSP Solvers with Maximum Performance Difference Jakob Bossek and Heike Trautmann Optimized Word-Size Time Series Representation Method Using a Genetic Algorithm with a Flexible Encoding Scheme Muhammad Marwan Muhammad Fuad A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains using the Modified Bernstein Form Federico Bergenti, Stefania Monica and Gianfranco Rossi Flat and Hierarchical Classifiers for Detecting Emotion in Twitter Giulio Angiani, Stefano Cagnoni, Natalia Chuzhikova, Paolo Fornac- ciari, Monica Mordonini and Michele Tomaiuolo Spam Filtering using Regularized Neural Networks with Rectified Linear Units Aliaksandr Barushka and Petr Hajek User Mood Tracking for Opinion Analysis on Twitter Giuseppe Castellucci, Danilo Croce, Diego De Cao and Roberto Basili Using Random Forests for the Estimation of Multiple Users Visual Focus of Attention from Head Pose Silvia Rossi, Enrico Leone and Mariacarla Staffa

7 Paper Short Presentations (Session 1B) A Comparative Study of Inductive and Transductive Learning with Feedforward Neural Networks Anas Belahcen, Monica Bianchini and Franco Scarselli Structural Knowledge Extraction from Mobility Data Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani and Gabriele Pergola Predicting Process Behavior in WoMan Stefano Ferilli, Floriana Esposito, Domenico Redavid and Sergio Angelastro On-line Learning On Temporal Manifolds Marco Maggini and Alessandro Rossi Learning and Reasoning with Logic Tensor Networks Luciano Serafini and Artur d Avila Garcez An Analytic Study of Opinion Dynamics in Multi-Agent Systems with Additive Random Noise Stefania Monica and Federico Bergenti Combining Avoidance and Imitation to Improve Multi-Agent Pedestrian Simulation Luca Crociani, Giuseppe Vizzari and Stefania Bandini

8 Doctoral Consortium Presentation Program Systems and Learning Algorithms for Probabilistic Logical Knowledge Bases Giuseppe Cota A Study of Robustness in Abstract Argumentation Frameworks Carlo Taticchi Closed domain question answering for Cultural Heritage Bernardo Cuteri Designing an Ontology of Social Place Alessia Calafiore Semantic Enhancement of Volunteered Geographic Information Laura Di Rocco Semantic Wikis Versioning with BiFroST Krzysztof Kutt Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification Angelo Ferrando A Mechanism Design Approach for Energy Allocation Paolo Giuliodori Timeline-based Planning with Uncertainty: a Human-Robot Collaboration Case Study Alessandro Umbrico Affective aspects as uncertain variables in decisional processes Marco Poliranno Evaluation and Deployment of Models for Activity Recognition Rita Pucci Neural Abstractive Text Summarization Gaetano Rossiello

9 Wednesday 30 th Time What Where Registration Main room entrance Invited Talk: Giorgio Metta, IIT Doctoral Consortium Posters Paper Short Presentations (Session 2A) Doctoral Consortium Posters Coffee Break Lobby Paper Short Presentations (Session 2B) Doctoral Consortium Posters Social Session 2A Social Session 2B Doctoral Consortium Posters Lunch Lobby AI*IA NLP-SIG Panel Doctoral Consortium Posters Coffee Break Lobby

10 Prospettive di ricerca in KR&R: Un panel in ricordo di Marco Cadoli Doctoral Consortium Posters AI*IA Assembly Doctoral Consortium Posters Conference Dinner Paper Short Presentations (Session 2A) Answer Set Enumeration via Assumption Literals Mario Alviano and Carmine Dodaro On the Application of Answer Set Programming to the Conference Paper Assignment Problem Giovanni Amendola, Carmine Dodaro, Nicola Leone and Francesco Ricca Efficient Evolutionary Search of Relevant Structures in Complex Systems Laura Sani, Michele Amoretti, Emilio Vicari, Monica Mordonini, Ric- cardo Pecori, Andrea Roli, Marco Villani, Stefano Cagnoni and Roberto Serra I-DLV: the new Intelligent Grounder of DLV Francesco Calimeri, Davide Fuscà, Simona Perri and Jessica Zangari Boosting the Development of ASP-based Applications in Mobile and General Scenarios Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri and Simona Perri A Self-Adaptive Context-Aware Group Recommender System Reza Khoshkangini, Maria Silvia Pini and Francesca Rossi

11 Paper Short Presentations (Session 2B) Educational Concept Maps for Personalized Learning Path Generation Giovanni Adorni and Frosina Koceva Abducing Compliance of Incomplete Event Logs Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali and Sergio Tessaris Relationships and Events: Towards a General Theory of Reification and Truthmaking Nicola Guarino and Giancarlo Guizzardi A Model+Solver Approach to Concept Learning Francesca Alessandra Lisi Learning for Verification in Embedded Systems: A Case Study Ali Khalili, Massimo Narizzano and Armando Tacchella Learning in Physical Domains: Mating Safety Requirements and Costly Sampling Francesco Leofante and Armando Tacchella

12 Time What Where Registration Main room entrance Thursday 1 st Invited Talk: Dan Roth, University of Illinois at Urbana-Champaign Paper Short Presentations (Session 3A) Coffee Break Lobby Paper Short Presentations (Session 3B) Social Session 3A Aula A Social Session 3B Aula A AI*IA Awards: In Memory of Leo Lesmo Award for Best Thesis AI*IA Awards: In Memory of Marco Cadoli Award for Best PhD Thesis AI*IA Awards: In Memory of Giovanni Soda Award for AI*IA 2016 Best Paper Closing Lunch Lobby

13 Paper Short Presentations (Session 3A) Probabilistic Logical Inference On the Web Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi and Riccardo Zese Probabilistic Hybrid Knowledge Bases under the Distribution Semantics Marco Alberti, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese Context-Awareness for Multi-Sensor Data Fusion in Smart Environments Alessandra De Paola, Pierluca Ferraro, Salvatore Gaglio and Giuseppe Lo Re Reasoning about Multiple Aspects in Rational Closure for DLs Valentina Ghiozzi A Framework for Automatic Population of Ontology-Based Digital Libraries Laura Pandolfo, Luca Pulina and Giovanni Adorni Reasoning About Surprising Scenarios in Description Logics of Typicality Gian Luca Pozzato Paper Short Presentations (Session 3B) A Resource-Driven Approach for Anchoring Linguistic Resources to Conceptual Spaces Antonio Lieto, Enrico Mensa and Daniele P. Radicioni Analysis of the Impact of Machine Translation Evaluation Metrics for Semantic Textual Similarity Simone Magnolini, Ngoc Phuoc An Vo and Octavian Popescu QuASIt: a Cognitive Inspired Approach to Question Answering for the Italian Language Arianna Pipitone, Giuseppe Tirone and Roberto Pirrone Spoken Language Understanding for Service Robotics in Italian Andrea Vanzo, Danilo Croce, Giuseppe Castellucci, Roberto Basili and Daniele Nardi DARDIS: Distributed And Randomized DIspatching and Scheduling Thomas Bridi, Michele Lombardi, Andrea Bartolini, Luca Benini and Michela Milano Steps in Assessing a Timeline-based Planner Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer and Andrea Orlandini On-Line Dynamic Station Redeployments in Bike-Sharing Systems Carlo Manna

Keynotes November 29 th - December 1 st Pietro Leo, IBM Italy CTO Big Data Analytics & Watson IBM Academy of Technology Tuesday 29 th, 14.30 15.

14 Keynotes November 29 th - December 1 st Pietro Leo, IBM Italy CTO Big Data Analytics & Watson IBM Academy of Technology Tuesday 29 th, , He is an IT solution MAKER that enjoyed to work for 22 years in the data analytics area. He currently works for IBM as Executive Architect and acting as the IBM Italy CTO for Big Data Analytics and Watson. He enjoys to be the key technical actor of the system of engagement IBM Italy is running in this area. Served as technical leader and data scientist in a number of analytics projects whose overall effort size can be content on over 150 years/man, working both at the national and international levels. At the same time he served also as scientific responsible in a number of applied research initiatives funded from European Union as well as from Italian Government on innovative areas collaborating with tens of research teams. Received more than a dozen of IBM special awards for high technical achievements including also the mention into the IBM Corporate Technical Award Book 2010 and 2013 editions that includes all top technical performers and scientists of IBM at worldwide level. Invited speaker in Industrial and Scientific Conferences as well as member of Scientific Committees of Scientific and Technical Conferences. He is author or co-author of about 70 scientific/ technical publications for Journals and/or presented during National and International Conferences, including two books edited by IBM Redbook organization.

Giorgio Metta, Professor, Director of the icub Facility Department, Istituto Italiano di Tecnologia (Italy) Wednesday 30 th, 09.00 10.

15 Giorgio Metta, Professor, Director of the icub Facility Department, Istituto Italiano di Tecnologia (Italy) Wednesday 30 th, , Giorgio Metta is Vice Scientific Director at the Istituto Italiano di Tecnologia (IIT) and Director of the icub Facility Department at the same institute. He coordinates the development of the icub robotic project. He holds an MSc cum laude (1994) and PhD (2000) in electronic engineering both from the University of Genova. From 2001 to 2002, he was postdoctoral associate at the MIT AI-Lab. He was previously with the University of Genova and since 2012 Professor of Cognitive Robotics at the University of Plymouth (UK). He is also deputy director of IIT delegate to the training of young researchers. He is member of the board of directors of eurobotics aisbl, the European reference organization for robotics research. Giorgio Metta research activities are in the fields of biologically motivated and humanoid robotics and, in particular, in developing humanoid robots that can adapt and learn from experience. Giorgio Metta is author of more than 250 scientific publications. He has been working as principal investigator and research scientist in about a dozen international as well as national funded projects.

Dan Roth, Professor at the University of Illinois at Urbana-Champaign Thursday 1 st, 08:45 09:45, Dan Roth is the Founder Professor of Computer Science at the University of Illinois at Urbana-

16 Dan Roth, Professor at the University of Illinois at Urbana-Champaign Thursday 1 st, 08:45 09:45, Dan Roth is the Founder Professor of Computer Science at the University of Illinois at Urbana- Champaign. He is a Professor in the Computer Science Department and the Beckman Institute and holds positions also in Statistics, Linguistics, ECE, and the ischool at Illinois. Roth is a Fellow of the American Association for the Advancement of Science (AAAS), the Association of Computing Machinery (ACM), the Association for the Advancement of Artificial Intelligence (AAAI), and the Association of Computational Linguistics (ACL), for his contributions to Machine Learning and to Natural Language Processing. He has published broadly in machine learning, natural language processing, knowledge representation and reasoning, and learning theory, and has developed advanced machine learning based tools for natural language applications that are being used widely by the research community and commercially. Roth is the Editor-in-Chief of the Journal of Artificial Intelligence Research (JAIR). He was the program chair of AAAI 11, ACL 03 and CoNLL 02. Prof. Roth received his B.A Summa cum laude in Mathematics from the Technion, Israel, and his Ph.D in Computer Science from Harvard University in 1995.

17 NLP - SIG Panel November 30 th, , Sala Nobile Natural Language Processing research plays a relevant role in current AI, as target of different scientific and industrial interests. Natural Language is at the cross-road of Learning, Knowledge Representation and Cognitive Modeling. Several recent AI achievements (such as the Deep Mind system by the Google team winning the AlphaGo challenge) have repeatedly shown their beneficial impact on complex inference tasks, with huge application perspectives in linguistic modelling, processing and inferences. However, Natural Language Understanding is still a rich research topic, whose cross-fertilization spans a number of independent areas such as Cognitive Robotics, Automated Planning as well as Human- Computer Interaction. For AI, Natural Languages are either the research focus of paradigms and applications but, at the same time, they act as cornerstones of automation, autonomy and learnability for most intelligent phenomena ranging from Vision, to Planning and Social Behaviors. A reflection about such diverse and promising interactions is an important target for current AI studies, fully in the core mission of AI*IA. The panel consists in a joint effort between AI*IA and the Italian Association on Computational Linguistics (AILC), promoted by the Special Interest Group on NLP of AI*IA.

Genova Tourism Information Genova is the capital of Liguria and the sixth largest city in Italy. The urban area called Genova Metropolitan City has an official population of 862,885. Over 1.

Genova has been nicknamed la Superba (the Proud one) due to its glorious past and impressive landmarks.

Genova has a fascinating historic center said to be the largest medieval quarter in Europe, with a wealth of churches, palaces, and museums.

18 Genova Tourism Information Genova is the capital of Liguria and the sixth largest city in Italy. The urban area called Genova Metropolitan City has an official population of 862,885. Over 1.5 million people live in the Genova Metropolitan Area. Genova is one of Europe s largest cities on the Mediterranean Sea and the largest seaport in Italy. Genova has been nicknamed la Superba (the Proud one) due to its glorious past and impressive landmarks. The city s rich cultural history in notably its art, music and cuisine allowed it to become the 2004 European Capital of Culture. It is the birthplace of Christopher Columbus and Niccolò Paganini. Genova has a fascinating historic center said to be the largest medieval quarter in Europe, with a wealth of churches, palaces, and museums. The Renaissance and Baroque Rolli Palaces are about 80 palaces built in the 16 th and early 17 th centuries during the so-called Siglo de oro de los Genoveses, when Genova was one of the economical world power. In 2006, Genova s Rolli Palaces were added to the list of UNESCO World Heritage Sites. De Ferrari Square One of the Rolli palaces The main features of central Genova include Piazza De Ferrari, around which are sited the Opera and the Palace of the Doges. There is also a house where Christopher Columbus is said to have been born. Other landmarks of the city include the Porto Antico, enriched by Genoese architect Renzo Piano with a large sphere made of metal and glass (Biosphere), installed in the port s waters, and the famous cemetery of Staglieno, renowned for its monuments and statues, in which the mortal remains of several known personalities rest, among them Giuseppe Mazzini, Fabrizio De André and Oscar Wilde s wife. The Aquarium of Genova is the largest aquarium in Italy and the second largest in Europe. Built for Genova Expo 92, it is an educational, scientific and cultural centre. Its mission is to educate and raise public awareness as regards conservation, management and responsible use of aquatic environments. It welcomes over 1.2 million visitors a year. Enjoy Genova! Acquario & Biosphere

19 Organizers General Chair Giovanni Adorni, University of Genova Program Chairs Stefano Cagnoni, University of Parma Marco Gori, University of Siena Marco Maratea, University of Genova Workshop & Doctoral Consortium Chairs Viviana Mascardi, University of Genova Ilaria Torre, University of Genova Local Organisation Chairs Alessio Merlo, University of Genova Simone Torsani, University of Genova Local Organizing Committee Angelo Ferrando, University of Genova Frosina Koceva, University of Genova Laura Pandolfo, University of Genova

20 Programme Committee Matteo Baldoni, University of Torino Stefania Bandini, University of Milano-Bicocca Roberto Basili, University of Roma Tor Vergata Nicola Basilico, University of Milano Federico Bergenti, University of Parma Stefano Bistarelli, University of Perugia Luciana Bordoni, ENEA Francesco Buccafurri, University of Reggio Calabria Amedeo Cappelli, ISTI-CNR Luigia Carlucci Aiello, University of Roma La Sapienza Amedeo Cesta, CNR National Research Council of Italy Antonio Chella, University of Palermo Carlo Combi, University of Verona Gabriella Cortellessa, CNR National Research Council of Italy Stefania Costantini, University of L Aquila Giuseppe De Giacomo, University of Roma La Sapienza Nicola Di Mauro, University of Bari Francesco Donini, Tuscia University Agostino Dovier, University of Udine Floriana Esposito, University of Bari Stefano Ferilli, University of Bari Salvatore Gaglio, University of Palermo Patrick Gallinari, LIP6 University of Paris 6 Marco Gavanelli, University of Ferrara Georg Gottlob, Oxford University Nicola Guarino, ISTC-CNR Luca Iocchi, University of Roma La Sapienza Evelina Lamma, University of Ferrara Nicola Leone, University of Calabria Chendong Li, Dell Francesca Alessandra Lisi, University of Bari Sara Manzoni, University of Milano-Bicocca Paola Mello, University of Bologna Alessio Micheli, University of Pisa

21 Alfredo Milani, University of Perugia Michela Milano, University of Bologna Stefania Montani, University of Piemonte Orientale Alessandro Moschitti, University of Trento Angelo Oddi, ISTC-CNR Andrea Omicini, University of Bologna Maria Teresa Pazienza, University of Roma Tor Vergata Alberto Pettorossi, Università di Roma Tor Vergata Roberto Pirrone, University of Palermo Piero Poccianti, Consorzio Operativo MPS Gian Luca Pozzato, University of Torino Luca Pulina, University of Sassari Daniele P. Radicioni, University of Torino Francesco Ricca, University of Calabria Fabrizio Riguzzi, University of Ferrara Andrea Roli, University of Bologna Salvatore Ruggieri, University of Pisa Fabio Sartori, University of Milano Bicocca Ken Satoh, National Institute of Informatics, Sokendai Andrea Schaerf, University of Udine Floriano Scioscia, Politecnico of Bari Giovanni Semeraro, University of Bari Roberto Serra, University of Modena and Reggio Emilia Giovanni Squillero, Politecnico di Torino Pietro Torasso, University of Torino Leonardo Vanneschi, Universidade Nova, Lisbona Eloisa Vargiu, Barcelona Digital Technology Center Marco Villani, University of Modena and Reggio Emilia Giuseppe Vizzari, University of Milano Bicocca

Stefano Bistarelli, Andrea Formisano, Marco Maratea (Eds.)

Stefano Bistarelli, Andrea Formisano, Marco Maratea (Eds.) RCRA 2016 Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial