Advertisement

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)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
    6. Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali et al.
      Pages 208-222
    7. Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
      Pages 223-236
    8. Reza Khoshkangini, Maria Silvia Pini, Francesca Rossi
      Pages 250-265
    9. Francesca Alessandra Lisi
      Pages 266-279
  6. Machine Learning

    1. Front Matter
      Pages 281-281
    2. Monica Bianchini, Anas Belahcen, Franco Scarselli
      Pages 283-293
    3. Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani, Gabriele Pergola
      Pages 294-307
    4. Stefano Ferilli, Floriana Esposito, Domenico Redavid, Sergio Angelastro
      Pages 308-320
    5. Marco Maggini, Alessandro Rossi
      Pages 321-333
    6. Luciano Serafini, Artur S. d’Avila Garcez
      Pages 334-348
  7. Semantic Web and Description Logics

    1. Front Matter
      Pages 349-349
    2. Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese
      Pages 351-363
    3. Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
      Pages 364-376
    4. Alessandra De Paola, Pierluca Ferraro, Salvatore Gaglio, Giuseppe Lo Re
      Pages 377-391
    5. Laura Pandolfo, Luca Pulina, Giovanni Adorni
      Pages 406-417
  8. Natural Language Processing

    1. Front Matter
      Pages 433-433
    2. Antonio Lieto, Enrico Mensa, Daniele P. Radicioni
      Pages 435-449
    3. Simone Magnolini, Ngoc Phuoc An Vo, Octavian Popescu
      Pages 450-463
    4. Arianna Pipitone, Giuseppe Tirone, Roberto Pirrone
      Pages 464-476
    5. Andrea Vanzo, Danilo Croce, Giuseppe Castellucci, Roberto Basili, Daniele Nardi
      Pages 477-489
  9. Planning and Scheduling

    1. Front Matter
      Pages 491-491
    2. Thomas Bridi, Michele Lombardi, Andrea Bartolini, Luca Benini, Michela Milano
      Pages 493-507
    3. Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini
      Pages 508-522
  10. Formal Verification

    1. Front Matter
      Pages 523-523
    2. Ali Khalili, Massimo Narizzano, Armando Tacchella
      Pages 525-538
    3. Francesco Leofante, Armando Tacchella
      Pages 539-552
  11. Back Matter
    Pages 553-554

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
  • Buy this book on publisher's site