AI*IA 2019 - Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings / edited by Mario Alviano, Gianluigi Greco, Francesco Scarcello.

Cham : Springer International Publishing : Imprint: Springer, 2019.
1 online resource (XIV, 606 pages) : 251 illustrations, 90 illustrations in color.
1st ed. 2019.
Computer Science (Springer-11645)
Lecture notes in computer science. Lecture notes in artificial intelligence 11946
Lecture Notes in Artificial Intelligence ; 11946
Contained In:
Springer eBooks

Location Notes Your Loan Policy


Artificial intelligence.
Logic, Symbolic and mathematical.
Application software.
Information storage and retrieval.
Local subjects:
Artificial Intelligence. (search)
Information Systems and Communication Service. (search)
Mathematical Logic and Formal Languages. (search)
Computer Appl. in Administrative Data Processing. (search)
Information Storage and Retrieval. (search)
System Details:
text file PDF
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.
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. .
Alviano, Mario, editor., Editor,
Greco, Gianluigi, editor., Editor,
Scarcello, Francesco, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/978-3-030-35166-3 doi
Access Restriction:
Restricted for use by site license.