XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19¿22, 2019, Proceedings Herausgegeben:Alviano, Mario; Greco, Gianluigi; Scarcello, Francesco
XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19¿22, 2019, Proceedings Herausgegeben:Alviano, Mario; Greco, Gianluigi; Scarcello, Francesco
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.
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 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 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.
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 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 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
