AI*IA 2019 – Advances in Artificial Intelligence

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

AvMario Alviano,Gianluigi Greco

Häftad, Engelska, 2019

Del 11946 i serien Lecture Notes in Computer Science

534 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2019-11-17
Mått:155 x 235 x 34 mm
Vikt:925 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:606
Förlag:Springer Nature Switzerland AG
ISBN:9783030351656

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT
Hårdvara inom Data och IT

Innehållsförteckning

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.