Advertisement

AI*IA 2015 Advances in Artificial Intelligence

XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

  • Marco Gavanelli
  • Evelina Lamma
  • Fabrizio Riguzzi
Conference proceedings AI*IA 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9336)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 9336)

Table of contents

  1. Front Matter
    Pages I-XIV
    PDF

  2. Swarm Intelligence and Genetic Algorithms

    1. Front Matter
      Pages 1-1
      PDF
    2. Collective Self-Awareness and Self-Expression for Efficient Network Exploration
      Michele Amoretti, Stefano Cagnoni
      Pages 3-16
    3. Swarm-Based Controller for Traffic Lights Management
      Federico Caselli, Alessio Bonfietti, Michela Milano
      Pages 17-30
    4. Path Relinking for a Constrained Simulation-Optimization Team Scheduling Problem Arising in Hydroinformatics
      Maddalena Nonato, Andrea Peano
      Pages 31-44
    5. Dynamical Properties of Artificially Evolved Boolean Network Robots
      Andrea Roli, Marco Villani, Roberto Serra, Stefano Benedettini, Carlo Pinciroli, Mauro Birattari
      Pages 45-57
    6. Adaptive Tactical Decisions in Pedestrian Simulation: A Hybrid Agent Approach
      Luca Crociani, Andrea Piazzoni, Giuseppe Vizzari, Stefania Bandini
      Pages 58-71

  3. Computer Vision

    1. Front Matter
      Pages 73-73
      PDF
    2. Using Stochastic Optimization to Improve the Detection of Small Checkerboards
      Hamid Hassannejad, Guido Matrella, Monica Mordonini, Stefano Cagnoni
      Pages 75-86

  4. Multi Agent Systems

    1. Front Matter
      Pages 87-87
      PDF
    2. Empowering Agent Coordination with Social Engagement
      Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio
      Pages 89-101
    3. Anticipatory Coordination in Socio-Technical Knowledge-Intensive Environments: Behavioural Implicit Communication in \({MoK}\)
      Stefano Mariani, Andrea Omicini
      Pages 102-115
    4. A Kinetic Study of Opinion Dynamics in Multi-agent Systems
      Stefania Monica, Federico Bergenti
      Pages 116-127
    5. Cooperating with Trusted Parties Would Make Life Easier
      Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Subhasis Thakur
      Pages 128-135
    6. Agent Based Simulation of Incentive Mechanisms on Photovoltaic Adoption
      Valerio Iachini, Andrea Borghesi, Michela Milano
      Pages 136-148

  5. Knowledge Representation and Reasoning

    1. Front Matter
      Pages 149-149
      PDF
    2. Feature-Based Modelling and Information Systems for Engineering
      Emilio M. Sanfilippo, Stefano Borgo
      Pages 151-163
    3. A Multi-engine Theorem Prover for a Description Logic of Typicality
      Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
      Pages 164-178
    4. Advances in Multi-engine ASP Solving
      Marco Maratea, Luca Pulina, Francesco Ricca
      Pages 179-190
    5. Defeasible Logic Programming in Satisfiability Modulo CHR
      Francesco Santini
      Pages 191-204
    6. Abstract Solvers for Quantified Boolean Formulas and their Applications
      Remi Brochenin, Marco Maratea
      Pages 205-217

  6. Machine Learning

    1. Front Matter
      Pages 219-219
      PDF
    2. Learning Accurate Cutset Networks by Exploiting Decomposability
      Nicola Di Mauro, Antonio Vergari, Floriana Esposito
      Pages 221-232
    3. Common-Sense Knowledge for Natural Language Understanding: Experiments in Unsupervised and Supervised Settings
      Luigi Di Caro, Alice Ruggeri, Loredana Cupi, Guido Boella
      Pages 233-245
    4. An AI Application to Integrated Tourism Planning
      Francesca Alessandra Lisi, Floriana Esposito
      Pages 246-259
    5. Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction
      Shashank Pathak, Luca Pulina, Armando Tacchella
      Pages 260-273
    6. An Approach to Predicate Invention Based on Statistical Relational Model
      Stefano Ferilli, Giuseppe Fatiguso
      Pages 274-287
    7. Empowered Negative Specialization in Inductive Logic Programming
      Stefano Ferilli, Andrea Pazienza, Floriana Esposito
      Pages 288-300

  7. Semantic Web

    1. Front Matter
      Pages 301-301
      PDF
    2. GENOMA: GENeric Ontology Matching Architecture
      Roberto Enea, Maria Teresa Pazienza, Andrea Turbati
      Pages 303-315
    3. Open Data Integration Using SPARQL and SPIN: A Case Study for the Tourism Domain
      Antonino Lo Bue, Alberto Machì
      Pages 316-326

  8. Natural Language

    1. Front Matter
      Pages 327-327
      PDF
    2. Bootstrapping Large Scale Polarity Lexicons through Advanced Distributional Methods
      Giuseppe Castellucci, Danilo Croce, Roberto Basili
      Pages 329-342
    3. Using Semantic Models for Robust Natural Language Human Robot Interaction
      Emanuele Bastianelli, Danilo Croce, Roberto Basili, Daniele Nardi
      Pages 343-356
    4. Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual Wikipedia
      Federico Scozzafava, Alessandro Raganato, Andrea Moro, Roberto Navigli
      Pages 357-366
    5. A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data
      Silvia Giannini, Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
      Pages 367-380

  9. Scheduling, Planning, and Robotics

    1. Front Matter
      Pages 381-381
      PDF
    2. Efficient Power-Aware Resource Constrained Scheduling and Execution for Planetary Rovers
      Daniel Díaz, Amedeo Cesta, Angelo Oddi, Riccardo Rasconi, Maria Dolores Rodriguez-Moreno
      Pages 383-396
    3. Graph-Based Task Libraries for Robots: Generalization and Autocompletion
      Steven D. Klee, Guglielmo Gemignani, Daniele Nardi, Manuela Veloso
      Pages 397-409
    4. Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic
      Alessandro Umbrico, Andrea Orlandini, Marta Cialdea Mayer
      Pages 410-423
    5. Integrating Logic and Constraint Reasoning in a Timeline-Based Planner
      Riccardo De Benedictis, Amedeo Cesta
      Pages 424-437
    6. ASCoL: A Tool for Improving Automatic Planning Domain Model Acquisition
      Rabia Jilani, Andrew Crampton, Diane Kitchin, Mauro Vallati
      Pages 438-451
    7. Approaching Qualitative Spatial Reasoning About Distances and Directions in Robotics
      Guglielmo Gemignani, Roberto Capobianco, Daniele Nardi
      Pages 452-464
    8. COACHES Cooperative Autonomous Robots in Complex and Human Populated Environments
      Luca Iocchi, M. T. Lázaro, Laurent Jeanpierre, Abdel-Illah Mouaddib, Esra Erdem, Hichem Sahli
      Pages 465-477
  10. Back Matter
    Pages 479-480
    PDF

About these proceedings

Introduction

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.


Keywords

computer vision genetic algorithms machine learning multi agent systems robotics artificial intelligence automated planning formal semantics game theory knowledge representation and reasoning natural language processing ontology engineering optimization planning scheduling semantic web social engagement swarm intelligence validation verification

Editors and affiliations

  • Marco Gavanelli
    • 1
  • Evelina Lamma
    • 2
  • Fabrizio Riguzzi
    • 3
  1. 1.Dipartimento di Ingegneria,Università di Ferrara,FerraraItaly
  2. 2.Dipartimento di IngegneriaUniversità di FerraraFerraraItaly
  3. 3.Dep di Matem e InformaticaUniversita di FerraraFerraraItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-24309-2
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-24308-5
  • Online ISBN 978-3-319-24309-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering