AI*IA 2019 - advances in artificial intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019 : proceedings

著者

書誌事項

AI*IA 2019 - advances in artificial intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019 : proceedings

Mario Alviano, Gianluigi Greco, Francesco Scarcello (eds.)

(Lecture notes in computer science, 11946 . Lecture notes in artificial intelligence . LNCS sublibrary ; SL 7 . Artificial intelligence)

Springer, c2019

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

ページトップへ