AI*IA 2015, Advances in artificial intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference of the Italian Association for Artificial Intelligence, A\*IA 2015, held in Ferrara, Italy, in September 2015. The 35 full papers presented were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on swarm intelligence and genetic algorithms; computer vision; multi-agents systems; knowledge representation and reasoning; machine learning; semantic Web; natural language; and scheduling, planning and robotics. Front Matter....Pages I-XIV Front Matter....Pages 1-1 Collective Self-Awareness and Self-Expression for Efficient Network Exploration....Pages 3-16 Swarm-Based Controller for Traffic Lights Management....Pages 17-30 Path Relinking for a Constrained Simulation-Optimization Team Scheduling Problem Arising in Hydroinformatics....Pages 31-44 Dynamical Properties of Artificially Evolved Boolean Network Robots....Pages 45-57 Adaptive Tactical Decisions in Pedestrian Simulation: A Hybrid Agent Approach....Pages 58-71 Front Matter....Pages 73-73 Using Stochastic Optimization to Improve the Detection of Small Checkerboards....Pages 75-86 Front Matter....Pages 87-87 Empowering Agent Coordination with Social Engagement....Pages 89-101 A Kinetic Study of Opinion Dynamics in Multi-agent Systems....Pages 102-115 Cooperating with Trusted Parties Would Make Life Easier....Pages 116-127 Agent Based Simulation of Incentive Mechanisms on Photovoltaic Adoption....Pages 128-135 Front Matter....Pages 136-148 Feature-Based Modelling and Information Systems for Engineering....Pages 149-149 A Multi-engine Theorem Prover for a Description Logic of Typicality....Pages 151-163 Advances in Multi-engine ASP Solving....Pages 164-178 Defeasible Logic Programming in Satisfiability Modulo CHR....Pages 179-190 Abstract Solvers for Quantified Boolean Formulas and their Applications....Pages 191-204 Front Matter....Pages 205-217 Learning Accurate Cutset Networks by Exploiting Decomposability....Pages 219-219 Common-Sense Knowledge for Natural Language Understanding: Experiments in Unsupervised and Supervised Settings....Pages 221-232 An AI Application to Integrated Tourism Planning....Pages 233-245 Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction....Pages 246-259 Front Matter....Pages 260-273 An Approach to Predicate Invention Based on Statistical Relational Model....Pages 219-219 Empowered Negative Specialization in Inductive Logic Programming....Pages 274-287 Front Matter....Pages 288-300 GENOMA: GENeric Ontology Matching Architecture....Pages 301-301 Open Data Integration Using SPARQL and SPIN: A Case Study for the Tourism Domain....Pages 303-315 Front Matter....Pages 316-326 Bootstrapping Large Scale Polarity Lexicons through Advanced Distributional Methods....Pages 327-327 Using Semantic Models for Robust Natural Language Human Robot Interaction....Pages 329-342 Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual Wikipedia....Pages 343-356 A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data....Pages 357-366 Front Matter....Pages 367-380 Efficient Power-Aware Resource Constrained Scheduling and Execution for Planetary Rovers....Pages 381-381 Graph-Based Task Libraries for Robots: Generalization and Autocompletion....Pages 383-396 Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic....Pages 397-409 Integrating Logic and Constraint Reasoning in a Timeline-Based Planner....Pages 410-423 ASCoL: A Tool for Improving Automatic Planning Domain Model Acquisition....Pages 424-437 Approaching Qualitative Spatial Reasoning About Distances and Directions in Robotics....Pages 438-451 COACHES Cooperative Autonomous Robots in Complex and Human Populated Environments....Pages 452-464 Back Matter....Pages 465-477 ....Pages 479-480