AI*IA 2016 Advances in Artificial Intelligence

XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings

  • Giovanni Adorni
  • Stefano Cagnoni
  • Marco Gori
  • Marco Maratea
Conference proceedings AI*IA 2016
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10037)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Optimization and Evolutionary Algorithms

    1. Front Matter
      Pages 1-1
    2. Laura Sani, Michele Amoretti, Emilio Vicari, Monica Mordonini, Riccardo Pecori, Andrea Roli et al.
      Pages 35-48
  3. Classification, Pattern Recognition, and Computer Vision

    1. Front Matter
      Pages 49-49
    2. Giulio Angiani, Stefano Cagnoni, Natalia Chuzhikova, Paolo Fornacciari, Monica Mordonini, Michele Tomaiuolo
      Pages 51-64
    3. Giuseppe Castellucci, Danilo Croce, Diego De Cao, Roberto Basili
      Pages 76-88
  4. Multi-agent Systems

    1. Front Matter
      Pages 103-103
    2. Luca Crociani, Giuseppe Vizzari, Stefania Bandini
      Pages 118-132
  5. Knowledge Representation and Reasoning

    1. Front Matter
      Pages 133-133
    2. Giovanni Adorni, Frosina Koceva
      Pages 135-148
    3. Mario Alviano, Carmine Dodaro
      Pages 149-163
    4. Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca
      Pages 164-178
    5. Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
      Pages 192-207

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, held in Genova, Italy, in November/December 2016. 

The 39 full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on optimization and evolutionary algorithms; classification, pattern recognition, and computer vision; multi-agent systems; machine learning; semantic web and description logics; natural language processing; planning and scheduling; and formal verification.




Keywords

computer vision genetic algorithms natural language processing semantic Web swarm intelligence artificial intelligence combinatorial optimization constraint satisfaction embedded systems formal verification human robot interaction knowledge representation and reasoning logic programs machine learning multi-agent systems process mining question answering social media software development uncertainty

Editors and affiliations

  • Giovanni Adorni
    • 1
  • Stefano Cagnoni
    • 2
  • Marco Gori
    • 3
  • Marco Maratea
    • 4
  1. 1.University of Genoa GenovaItaly
  2. 2.University of Parma ParmaItaly
  3. 3.University of Siena SienaItaly
  4. 4.University of Genova GenovaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-49130-1
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-49129-5
  • Online ISBN 978-3-319-49130-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349