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

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