AI*IA 2019 - Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings

by Mario Alviano, Gianluigi Greco, Francesco Scarcello

Overview

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.

Product Details

ISBN-13:	9783030351656
Publisher:	Springer International Publishing
Publication date:	11/18/2019
Series:	Lecture Notes in Computer Science , #11946
Edition description:	1st ed. 2019
Pages:	606
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

Knowledge Representation for AI.- Tight Integration of Rule-Based Tools in Game Development.- A Comparison of MCMC Sampling for Probabilistic Logic Programming.- Augmenting Datalog+- with Customizable Metalogic Features for Powerful Ontological Reasoning.- Memory Management in Resource-Bounded Agents.- A Rule-based System for Hardware Configuration and Programming of IoT Devices.- First Approach to Semantics of Silence in Testimonies.- Hybrid Semantics-aware Recommendations Exploiting Knowledge Graph Embeddings.- Strongly Equivalent Epistemic Answer Set Programs.- From simplified Kripke-style semantics to simplified analytic tableaux for some normal modal logics.- AI and Computation.- Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity.- Frequency Assignment in High Performance Computing Systems.- PRONOM: proof-search and countermodel generation for Non-Normal Modal Logics.- Partitioned Least Squares.- Number of Minimal Hypergraph Transversals and Complexity of of IFM with Infrequency: high in theory, but often not so much in practice!.- Handling Modifiers in Question Answering over Knowledge Graphs.- A graphical analysis of integer infeasibility in UTVPI constraints.- Multi-Agent Path Finding with Capacity Constraints.- Evaluating Robustness of an Acting Framework Over Temporally Uncertain Domains.- On the Configuration of SAT Formulae.- Towards Effective Device-Aware Federated Learning.- Machine Learning for AI.- Performance-driven Handwriting Task Selection for Parkinson’s Disease Classication.- A non-negative factorization approach to node pooling in graph convolutional neural networks.- Winograd Convolution for DNNs: Beyond linear polynomials.- A Deep Hybrid Model for Recommendation Systems.- Kernel-based Generative Adversarial Networks for Weakly Supervised Learning.- Activity Prediction of Business Process Instances with Inception CNN Models.- Question Classification with Untrained Recurrent Embeddings.- Prediction of Decline in Activities of Daily Living Through Deep Artificial Neural Networks and Domain Adaptation.- Capturing Frame-like Object Descriptors in Human Augmented Mapping.- Verification and Repair of Neural Networks: a Progress Report on Convolutional Models.- Learning Activation Functions by means of Kernel Based Neural Networks.- Leveraging Multi-task Learning for Biomedical Named Entity Recognition.- Applying Self-Interaction Attention for Extracting Drug-Drug Interactions.- Learning abstract planning domains and mappings to real world perceptions.- Measuring the Polarization of Hate Speech Annotation.- AI and Humans.- Manipulating an Election in Social Networks through Edge Addition.- Shared-Autonomy Navigation for mobile robots driven by a door detection module.- Toward Automated Courseware Production for the ExPLoRAA Tutoring Environment.- Artificial Intelligence for dramatic performance.- Periodicity Detection of Emotional Communities in Microblogging.-Mapping Lexical Knowledge to Distributed Representations for Ontology Concept Invention.