AI*IA 2019 – Advances in Artificial Intelligence

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

Häftad, Engelska, 2019

Av Mario Alviano, Gianluigi Greco, Francesco Scarcello

709 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2019-11-17
Mått155 x 235 x 34 mm
Vikt925 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor606
FörlagSpringer Nature Switzerland AG
ISBN9783030351656

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Systemvetenskap och AI inom Data och it
Hårdvara inom Data och it
Artificiell intelligens inom Data och it
Databaser inom Data och it

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 Conﬁguration 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 simpliﬁed Kripke-style semantics to simpliﬁed 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 Modiﬁers 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 Conﬁguration of SAT Formulae.- Towards Eﬀective 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 Classiﬁcation with Untrained Recurrent Embeddings.- Prediction of Decline in Activities of Daily Living Through Deep Artiﬁcial Neural Networks and Domain Adaptation.- Capturing Frame-like Object Descriptors in Human Augmented Mapping.- Veriﬁcation 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.- Artiﬁcial Intelligence for dramatic performance.- Periodicity Detection of Emotional Communities in Microblogging.-Mapping Lexical Knowledge to Distributed Representations for Ontology Concept Invention.