Skip to main content
SpringerLink
Log in

AI*IA 2019 – Advances in Artificial Intelligence

XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Mario Alviano

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gianluigi Greco

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Francesco Scarcello

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: AIxIA 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the XVIIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2019, held in Rende, Italy, in November 2019. 
The 41 full papers were carefully reviewed and selected from 67 submissions.  The papers have been organized in the following topical sections: Knowledge Representation for AI, AI and Computation, Machine Learning for AI, and AI and Humans.

Similar content being viewed by others

Keywords

Table of contents (41 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Knowledge Representation for AI

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Tight Integration of Rule-Based Tools in Game Development

      • Denise Angilica, Giovambattista Ianni, Francesco Pacenza
      Pages 3-17

    3. A Comparison of MCMC Sampling for Probabilistic Logic Programming

      • Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma
      Pages 18-29

    4. Augmenting Datalog\(^{\frac{+}{}}\) with Customizable Metalogic Features for Powerful Ontological Reasoning

      • Stefania Costantini, Andrea Formisano
      Pages 30-45

    5. Memory Management in Resource-Bounded Agents

      • Stefania Costantini, Valentina Pitoni
      Pages 46-58

    6. A Rule-Based System for Hardware Configuration and Programming of IoT Devices

      • Salvatore Gaglio, Leonardo Giuliana, Giuseppe Lo Re, Gloria Martorella, Antonio Montalto, Daniele Peri
      Pages 59-72

    7. First Approach to Semantics of Silence in Testimonies

      • Alfonso Garcés-Báez, Aurelio López-López
      Pages 73-86

    8. Hybrid Semantics-Aware Recommendations Exploiting Knowledge Graph Embeddings

      • Cataldo Musto, Pierpaolo Basile, Giovanni Semeraro
      Pages 87-100

    9. Strongly Equivalent Epistemic Answer Set Programs

      • Ezgi Iraz Su
      Pages 101-115

    10. From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics

      • Yaroslav Petrukhin, Michał Zawidzki
      Pages 116-131

  3. AI and Computation

    1. Front Matter

      Pages 133-133
      Download chapter PDF

    2. Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity

      • Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
      Pages 135-150

    3. Frequency Assignment in High Performance Computing Systems

      • Andrea Borghesi, Michela Milano, Luca Benini
      Pages 151-164

    4. PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics

      • Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
      Pages 165-179

    5. Partitioned Least Squares

      • Roberto Esposito, Mattia Cerrato, Marco Locatelli
      Pages 180-192

    6. Number of Minimal Hypergraph Transversals and Complexity of IFM with Infrequency: High in Theory, but Often Not so Much in Practice!

      • Domenico Saccà, Edoardo Serra
      Pages 193-209

    7. Handling Modifiers in Question Answering over Knowledge Graphs

      • Lucia Siciliani, Dennis Diefenbach, Pierre Maret, Pierpaolo Basile, Pasquale Lops
      Pages 210-222

    8. A Graphical Analysis of Integer Infeasibility in UTVPI Constraints

      • K. Subramani, Piotr Wojciechowski
      Pages 223-234

    9. Multi-agent Path Finding with Capacity Constraints

      • Pavel Surynek, T. K. Satish Kumar, Sven Koenig
      Pages 235-249
Back to top

Other volumes

  1. AI*IA 2019 – Advances in Artificial Intelligence

Editors and Affiliations

  • University of Calabria, Rende, Italy

    Mario Alviano, Gianluigi Greco, Francesco Scarcello

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation