Accepted Papers

Learning for Verification in Embedded Systems: A Case Study
Ali Khalili, Massimo Narizzano and Armando Tacchella

Using Random Forests for the Estimation of Multiple Users’ Visual Focus of Attention from Head Pose
Silvia Rossi, Enrico Leone and Mariacarla Staffa

Structural Knowledge Extraction from Mobility Data
Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani and Gabriele Pergola

A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains using the Modified Bernstein Form
Federico Bergenti, Stefania Monica and Gianfranco Rossi

An Analytic Study of Opinion Dynamics in Multi-Agent Systems with Additive Random Noise
Stefania Monica and Federico Bergenti

Probabilistic Logical Inference On the Web
Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi and Riccardo Zese

On-Line Dynamic Station Redeployments in Bike-Sharing Systems
Carlo Manna

Context-Awareness for Multi-Sensor Data Fusion in Smart Environments
Alessandra De Paola, Pierluca Ferraro, Salvatore Gaglio and Giuseppe Lo Re

Boosting the Development of ASP-based Applications in Mobile and General Scenarios
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri and Simona Perri

Probabilistic Hybrid Knowledge Bases under the Distribution Semantics
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese

Reasoning about multiple aspects in rational closure for DLs
Valentina Gliozzi

Abducing Compliance of Incomplete Event Logs
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali and Sergio Tessaris

Spam Filtering using Regularized Neural Networks with Rectified Linear Units
Aliaksandr Barushka and Petr Hajek

Learning in physical domains: mating safety requirements and costly sampling
Francesco Leofante and Armando Tacchella

On-line Learning On Temporal Manifolds
Marco Maggini and Alessandro Rossi

A comparative study of inductive and transductive learning with neural networks
Anas Belahcen, Monica Bianchini and Franco Scarselli

Relationships and Events: Towards a General Theory of Reification and Truthmaking
Nicola Guarino and Giancarlo Guizzardi

I-DLV: the new Intelligent Grounder of DLV
Francesco Calimeri, Davide Fuscà, Simona Perri and Jessica Zangari

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

QuASIt: a Cognitive Inspired Approach to Question Answering System for the Italian Language
Arianna Pipitone, Giuseppe Tirone and Roberto Pirrone

Analysis of the Impact of Machine Translation Evaluation Metrics for Semantic Textual Similarity
Simone Magnolini, Ngoc Phuoc An Vo and Octavian Popescu

Reasoning About Surprising Scenarios in Description Logics of Typicality
Gian Luca Pozzato

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

Flat and Hierarchical Classifiers for Emotion Detection in Twitter
Giulio Angiani, Stefano Cagnoni, Natalia Chuzhikova, Paolo Fornacciari, Monica Mordonini and Michele Tomaiuolo

Predicting Process Behavior in WoMan
Stefano Ferilli, Floriana Esposito, Domenico Redavid and Sergio Angelastro

A Self-Adaptive Context-Aware Group Recommender System
Reza Khoshkangini, Maria Silvia Pini and Francesca Rossi

A Model+Solver Approach to Concept Learning
Francesca Alessandra Lisi

Combining Avoidance and Imitation to Improve Multi-Agent Pedestrian Simulation
Luca Crociani, Giuseppe Vizzari and Stefania Bandini

A Resource-Driven Approach for Anchoring Linguistic Resources to Conceptual Spaces
Antonio Lieto, Enrico Mensa and Daniele P. Radicioni

User Mood Tracking for Opinion Analysis on Twitter
Giuseppe Castellucci, Danilo Croce, Diego De Cao and Roberto Basili

A Framework for Automatic Population of Ontology-Based Digital Libraries
Laura Pandolfo, Luca Pulina and Giovanni Adorni

Efficient Evolutionary Search of Relevant Structures in Complex Systems
Laura Sani, Michele Amoretti, Emilio Vicari, Monica Mordonini, Riccardo Pecori, Andrea Roli, Marco Villani, Stefano Cagnoni and Roberto Serra

Educational Concept Maps for Personalized Learning Path Generation
Giovanni Adorni and Frosina Koceva

Spoken Language Understanding for Service Robotics in Italian
Andrea Vanzo, Danilo Croce, Giuseppe Castellucci, Roberto Basili and Daniele Nardi

Optimized Word-Size Time Series Representation Method Using a Genetic Algorithm with a Flexible Encoding Scheme
Muhammad Marwan Muhammad Fuad

Understanding Characteristics of Evolved Instances for State-of-The-Art Inexact TSP Solvers with Maximum Performance Difference
Jakob Bossek and Heike Trautmann

Learning and Reasoning with Logic Tensor Networks
Luciano Serafini and Artur d’Avila Garcez