AIxIA 2021 – Advances in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Task Allocation for Multi-robot Task and Motion Planning: A Case for Object Picking in Cluttered Workspaces
3. Altmetric Badge
   Chapter 2 A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning
4. Altmetric Badge
   Chapter 3 Enhancing Telepresence Robots with AI: Combining Services to Personalize and React
5. Altmetric Badge
   Chapter 4 Tafl-ES: Exploring Evolution Strategies for Asymmetrical Board Games
6. Altmetric Badge
   Chapter 5 Combining DCOP and MILP for Complex Local Optimization Problems
7. Altmetric Badge
   Chapter 6 Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches
8. Altmetric Badge
   Chapter 7 Modular Logic Argumentation in Arg- tu Prolog
9. Altmetric Badge
   Chapter 8 Burden of Persuasion in Meta-argumentation
10. Altmetric Badge
    Chapter 9 Reasoning About Smart Contracts Encoded in LTL
11. Altmetric Badge
    Chapter 10 A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints
12. Altmetric Badge
    Chapter 11 Option Discovery for Autonomous Generation of Symbolic Knowledge
13. Altmetric Badge
    Chapter 12 A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL
14. Altmetric Badge
    Chapter 13 Exploiting Textual Similarity Techniques in Harmonization of Laws
15. Altmetric Badge
    Chapter 14 Easy Semantification of Bioassays
16. Altmetric Badge
    Chapter 15 Pruned Graph Neural Network for Short Story Ordering
17. Altmetric Badge
    Chapter 16 Multi-task and Generative Adversarial Learning for Robust and Sustainable Text Classification
18. Altmetric Badge
    Chapter 17 Punctuation Restoration in Spoken Italian Transcripts with Transformers
19. Altmetric Badge
    Chapter 18 On the Impact of Social Media Recommendations on Opinion Consensus
20. Altmetric Badge
    Chapter 19 Misogynous MEME Recognition: A Preliminary Study
21. Altmetric Badge
    Chapter 20 A Relevance-Based CNN Trimming Method for Low-Resources Embedded Vision
22. Altmetric Badge
    Chapter 21 Vision-Based Holistic Scene Understanding for Context-Aware Human-Robot Interaction
23. Altmetric Badge
    Chapter 22 Human Detection in Drone Images Using YOLO for Search-and-Rescue Operations
24. Altmetric Badge
    Chapter 23 ArabCeleb: Speaker Recognition in Arabic
25. Altmetric Badge
    Chapter 24 Static, Dynamic and Acceleration Features for CNN-Based Speech Emotion Recognition
26. Altmetric Badge
    Chapter 25 EEG-Based BCIs for Elderly Rehabilitation Enhancement Exploiting Artificial Data
27. Altmetric Badge
    Chapter 26 Supporting Trustworthy Artificial Intelligence via Bayesian Argumentation
28. Altmetric Badge
    Chapter 27 Logic Constraints to Feature Importance
29. Altmetric Badge
    Chapter 28 Clustering-Based Interpretation of Deep ReLU Network
30. Altmetric Badge
    Chapter 29 Exploration-Intensive Distractors: Two Environment Proposals and a Benchmarking
31. Altmetric Badge
    Chapter 30 Neural QBAFs: Explaining Neural Networks Under LRP-Based Argumentation Frameworks
32. Altmetric Badge
    Chapter 31 Domino Saliency Metrics: Improving Existing Channel Saliency Metrics with Structural Information
33. Altmetric Badge
    Chapter 32 Learned Sorted Table Search and Static Indexes in Small Model Space
34. Altmetric Badge
    Chapter 33 Siamese Networks with Transfer Learning for Change Detection in Sentinel-2 Images
35. Altmetric Badge
    Chapter 34 Adversarial Machine Learning in e-Health: Attacking a Smart Prescription System
36. Altmetric Badge
    Chapter 35 Deep Learning of Recurrence Texture in Physiological Signals
37. Altmetric Badge
    Chapter 36 Highlighting the Importance of Reducing Research Bias and Carbon Emissions in CNNs
38. Altmetric Badge
    Chapter 37 Generating Local Textual Explanations for CNNs: A Semantic Approach Based on Knowledge Graphs
39. Altmetric Badge
    Chapter 38 Detection Accuracy for Evaluating Compositional Explanations of Units
40. Altmetric Badge
    Chapter 39 Knowledge-Based Neural Pre-training for Intelligent Document Management
41. Altmetric Badge
    Chapter 40 Improving Machine Translation of Arabic Dialects Through Multi-task Learning
42. Altmetric Badge
    Chapter 41 Continuous Defect Prediction in CI/CD Pipelines: A Machine Learning-Based Framework
43. Altmetric Badge
    Chapter 42 Robust Optimization Models For Local Flexibility Characterization of Virtual Power Plants
44. Altmetric Badge
    Chapter 43 Explainable Artificial Intelligence for Technology Policy Making Using Attribution Networks
45. Altmetric Badge
    Chapter 44 A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI
46. Altmetric Badge
    Chapter 45 Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking
47. Altmetric Badge
    Chapter 46 An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic
48. Altmetric Badge
    Chapter 47 Solving the Dial-a-Ride Problem Using an Adapted Genetic Algorithm
49. Altmetric Badge
    Chapter 48 Unstructured Data in Predictive Process Monitoring: Lexicographic and Semantic Mapping to ICD-9-CM Codes for the Home Hospitalization Service