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 Temporal Planner with Resources and a Hierarchy-based Heuristic
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