LEADER 06631nam 22007095 450 001 9910357851103321 005 20200629125821.0 010 $a3-030-35166-1 024 7 $a10.1007/978-3-030-35166-3 035 $a(CKB)4100000009844670 035 $a(DE-He213)978-3-030-35166-3 035 $a(MiAaPQ)EBC5979693 035 $a(PPN)248601814 035 $a(EXLCZ)994100000009844670 100 $a20191116d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAI*IA 2019 ? Advances in Artificial Intelligence $eXVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19?22, 2019, Proceedings /$fedited by Mario Alviano, Gianluigi Greco, Francesco Scarcello 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XIV, 606 p. 251 illus., 90 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v11946 311 $a3-030-35165-3 320 $aIncludes bibliographical references and index. 327 $aKnowledge 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. . 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v11946 606 $aArtificial intelligence 606 $aComputers 606 $aMathematical logic 606 $aApplication software 606 $aInformation storage and retrieval 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aMathematical logic. 615 0$aApplication software. 615 0$aInformation storage and retrieval. 615 14$aArtificial Intelligence. 615 24$aInformation Systems and Communication Service. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aInformation Storage and Retrieval. 676 $a006.3 676 $a006.3 702 $aAlviano$b Mario$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGreco$b Gianluigi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aScarcello$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910357851103321 996 $aIA 2019 ? Advances in Artificial Intelligence$92508009 997 $aUNINA