Transcript AI*IA 2016 Program available in pdf

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 1
9
2
r
e
b
m
e
Nov
a
Genova - Liguri
2016
AI*IA Workshops
November 28th
Time
What
8.15 - 14.30
Registration
9.00 - 10.30
Workshops:
Where
Main room entrance
AAL
AIRO
AI*CH
MLDM.it
RCRA
URANIA
10.30 - 11.00
Coffee Break
11.00 - 12.30
Workshops:
Lobby
AAL
AIRO
AI*CH
MLDM.it
RCRA
URANIA
12.30 - 14.30
Lunch
Lobby
14.30 - 16.00
Workshops:
AAL
AIRO
AI*CH
MLDM.it
RCRA
URANIA
16.00 - 16.30
Coffee Break
16.30 - 18.00
Workshops:
Lobby
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.
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.
AI*IA Conference Program
November 29th - December 1st
Tuesday 29th
Time
What
Where
8.15 - 14.30
Registration
Main room entrance
8.50 - 9.00
Opening AI*IA
Doctoral Consortium Welcome
Salone Nobile
9.00 - 11.00
Doctoral Consortium
Presentations
Salone Nobile
9.30 - 11.00
MLDM.it
11.00 - 11.30
Coffee Break
11.30 - 12.45
MLDM.it
11.30 - 12.45
Doctoral Consortium
Social Session and
Award
Salone Nobile
12.45 - 14.15
Lunch
Lobby
14.15 - 14.30
Opening AI*IA XV
International
Conference
Salone Nobile
14.30 - 15.30
Invited Talk: Pietro
Leo, IBM
Salone Nobile
15.30 - 16.00
Paper Short
Presentations
(Session 1A)
Salone Nobile
16.00 - 16.30
Coffee Break
Lobby
Lobby
16.30 - 17.00
Paper Short
Presentations
(Session 1B)
Salone Nobile
17.00 - 18.30
Doctoral Consortium
Posters
Salone Nobile
17.00 - 18.30
Social Session 1A
17.00 - 18.30
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
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
Doctoral Consortium Presentation Program
9.00 - 9.10
Systems and Learning Algorithms for Probabilistic Logical
Knowledge Bases
Giuseppe Cota
9.10 - 9.20
A Study of Robustness in Abstract Argumentation Frameworks
Carlo Taticchi
9.20 - 9.30
Closed domain question answering for Cultural Heritage
Bernardo Cuteri
9.30 - 9.40
9.40 - 9.50
9.50 - 10.00
Designing an Ontology of Social Place
Alessia Calafiore
Semantic Enhancement of Volunteered Geographic Information
Laura Di Rocco
Semantic Wikis Versioning with BiFroST
Krzysztof Kutt
10.00 - 10.10
Automatic Partitions Extraction to Distribute the Runtime
Verification of a Global Specification
Angelo Ferrando
10.10 - 10.20
A Mechanism Design Approach for Energy Allocation
Paolo Giuliodori
10.20 - 10.30
Timeline-based Planning with Uncertainty: a Human-Robot
Collaboration Case Study
Alessandro Umbrico
10.30 - 10.40
Affective aspects as uncertain variables in decisional
processes
Marco Poliranno
10.40 - 10.50
Evaluation and Deployment of Models for Activity Recognition
Rita Pucci
10.50 - 11.00
Neural Abstractive Text Summarization
Gaetano Rossiello
Wednesday 30th
Time
What
Where
8.15 - 9.00
Registration
Main room entrance
9.00 - 10.00
Invited Talk: Giorgio
Metta, IIT
Salone Nobile
9.00 - 10.00
Doctoral Consortium
Posters
10.00 - 10.30
Paper Short
Presentations
(Session 2A)
10.00 - 10.30
Doctoral Consortium
Posters
10.30 - 11.00
Coffee Break
Lobby
11.00 - 11.30
Paper Short
Presentations
(Session 2B)
Salone Nobile
11.00 - 11.30
Doctoral Consortium
Posters
11.30 - 13.00
Social Session 2A
11.30 - 13.00
Social Session 2B
11.30 - 13.00
Doctoral Consortium
Posters
13.00 - 14.30
Lunch
Lobby
14.30 - 16.00
AI*IA NLP-SIG Panel
Salone Nobile
14.30 - 16.00
Doctoral Consortium
Posters
16.00 - 16.30
Coffee Break
Salone Nobile
Lobby
16.30 - 18.00
Prospettive di ricerca
in KR&R: Un panel in
ricordo di Marco
Cadoli
16.30 - 18.00
Doctoral Consortium
Posters
18.00 - 19.15
AI*IA Assembly
18.00 - 19.15
Doctoral Consortium
Posters
20.00 - 24.00
Conference Dinner
Salone Nobile
Salone Nobile
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
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
Thursday 1st
Time
What
Where
8.00 - 8.45
Registration
Main room entrance
8.45 - 9.45
Invited Talk: Dan Roth,
University of Illinois at Salone Nobile
Urbana-Champaign
9.45 - 10.15
Paper Short
Presentations
(Session 3A)
Salone Nobile
10.15 - 10.45
Coffee Break
Lobby
10.45 - 11.15
Paper Short
Presentations
(Session 3B)
Salone Nobile
11.15 - 12.30
Social Session 3A
Aula A8
11.15 - 12.30
Social Session 3B
Aula A9
12.30 - 12.45
AI*IA Awards: In
Memory of Leo Lesmo Salone Nobile
Award for Best Thesis
12.45 - 13.00
AI*IA Awards: In
Memory of Marco
Cadoli Award for Best
PhD Thesis
Salone Nobile
13.00 - 13.15
AI*IA Awards: In
Memory of Giovanni
Soda Award for AI*IA
2016 Best Paper
Salone Nobile
13.15 - 13.30
Closing
Salone Nobile
13.30 - 14.45
Lunch
Lobby
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 29th - December 1st
Pietro Leo, IBM Italy CTO Big Data
Analytics & Watson IBM Academy of
Technology
Tuesday 29th, 14.30 – 15.30, Salone Nobile
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 30th, 09.00 – 10.00, Salone Nobile
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 1st, 08:45 – 09:45, Salone Nobile
Dan Roth is the Founder Professor of Computer
Science at the University of Illinois at UrbanaChampaign. 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.
NLP - SIG Panel
November 30th, 14.30 - 16.00, 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 HumanComputer 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.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 16th and early 17th 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 th
e
Rolli pala
ces
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
& Biosphe
re
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
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
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