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