ACCEPTED PAPERS

A Kinetic Study of Opinion Dynamics in Multi-Agent Systems Stefania Monica and Federico Bergenti Approaching Qualitative Spatial Reasoning About Distances and Directions in Robotics Guglielmo Gemignani, Roberto Capobianco and Daniele Nardi

ASCoL: a Tool for Improving Automatic Planning Domain Model Acquisition Rabia Jilani, Andrew Crampton, Diane Kitchin and Mauro Vallati

Bootstrapping Large Scale Polarity Lexicons through Advanced Distributional Methods Giuseppe Castellucci, Danilo Croce and Roberto Basili

Efficient Power-aware Resource Constrained Scheduling and Execution for Planetary Rovers Daniel Diaz, Amedeo Cesta, Angelo Oddi, Riccardo Rasconi and Maria Dolores Rodriguez-Moreno

Enriching a Timeline-based Planner with Resource and Hierarchical Reasoning Alessandro Umbrico, Marta Cialdea Mayer and Andrea Orlandini

Abstract Solvers for Quantified Boolean Formulas and their Applications Remi Brochenin and Marco Maratea

Learning Accurate Cutset Networks by exploiting Decomposability Nicola Di Mauro, Antonio Vergari and Floriana Esposito

Integrating Logic and Constraint Reasoning in a Timeline-based Planner Riccardo De Benedictis and Amedeo Cesta

Advances in Multi-Engine ASP Solving Marco Maratea, Luca Pulina and Francesco Ricca

Using Semantic Models for Robust Natural Language Human Robot Interaction Emanuele Bastianelli, Danilo Croce, Roberto Basili and Daniele Nardi

Empowered Negative Specialization in Inductive Logic Programming Stefano Ferilli, Andrea Pazienza and Floriana Esposito

Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK Stefano Mariani and Andrea Omicini

A Logic-based approach to Named-Entity Disambiguation in the Web of Data Silvia Giannini, Simona Colucci, Francesco M Donini and Eugenio Di Sciascio

Cooperating with Trusted Parties Would Make Life Easier Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis and Subhasis Thakur

Common-Sense Knowledge for Natural Language Understanding: Experiments in Unsupervised and Supervised Settings Luigi Di Caro, Alice Ruggeri, Loredana Cupi and Guido Boella

Adaptive Hybrid Agents for Tactical Decisions in Pedestrian Simulation Luca Crociani, Andrea Piazzoni, Giuseppe Vizzari and Stefania Bandini

GENOMA: a GENeric Ontolgy Matching Architecture Maria Teresa Pazienza, Roberto Enea and Andrea Turbati

Open Data Integration Using SPARQL and SPIN: A Case Study for the Tourism Domain Antonino Lo Bue and Alberto Machì

Feature-based modeling in industry Emilio Sanfilippo and Stefano Borgo

Dynamical properties of artificially evolved Boolean network robots Andrea Roli, Marco Villani, Roberto Serra, Stefano Benedettini, Carlo Pinciroli and Mauro Birattari

An AI Application to Integrated Tourism Planning Francesca Alessandra Lisi and Floriana Esposito

An approach to Predicate Invention based on Statistical Relational Model Stefano Ferilli and Giuseppe Fatiguso

Verification-enhanced learning for safe human-robot interaction Shashank Pathak, Luca Pulina and Armando Tacchella

Empowering Agent Coordination with Social Engagement Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio

Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual Wikipedia Federico Scozzafava, Alessandro Raganato, Andrea Moro and Roberto Navigli

Swarm-based Controller for Traffic Lights Management Federico Caselli, Alessio Bonfietti and Michela Milano

Agent based simulation of incentive schemes on photovoltaic adoption Andrea Borghesi, Valerio Iachini and Michela Milano

COACHES Cooperative Autonomous Robots in Complex and Human Populated Environments Luca Iocchi, Esra Erdem, Laurent Jeanpierre, Abdel-Illah Mouaddib and Hichem Sahli

Using stochastic optimization to improve the detection of small checkerboards Hamid Hassannejad, Guido Matrella, Monica Mordonini and Stefano Cagnoni

Path Relinking for a constrained simulation-optimization team scheduling problem arising in hydroinformatics Maddalena Nonato and Andrea Peano

Collective Self-Awareness and Self-Expression for Efficient Network Exploration Michele Amoretti and Stefano Cagnoni

Defeasible Logic Programming in Satisfiability Modulo CHR Francesco Santini

Graph-Based Task Libraries for Robots: Generalization and Autocompletion Steven Klee, Guglielmo Gemignani, Daniele Nardi and Manuela Veloso

A Multi-Engine Theorem Prover for a Description Logic of Typicality Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato and Luca Violanti