This book constitutes the proceedings of the 40th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2020, which was supposed to be held in Cambridge, UK, in December 2020.

Technical Papers.- Exposing Students to New Terminologies While Collecting Browsing Search Data.- Neural Nets and Knowledge Management.- Symbolic Explanation Module for Fuzzy Cognitive Map-based Reasoning Models.- Overlap Training to Mitigate Inconsistencies Caused by Image Tiling in CNNs.- The Use of Max-Sat for Optimal Choice of Automated Theory Repairs.- Machine Learning.- Mining Interpretable Rules for Sentiment and Semantic Relation Analysis using Tsetlin Machines.- Personalised Meta-Learning for Human Activity Recognition with Few-data.- CostNet: An End-to-End Framework for Goal-Directed Reinforcement Learning.- A Novel Multi-Step Finite-State Automaton for Arbitrarily Deterministic Tsetlin Machine Learning.- Accelerating the Training of an LP-SVR over Large Datasets.- Short Technical Stream Papers.- Learning Categories with Spiking Nets and Spike Timing Dependent Plasticity.- Developing Ensemble Methods for Detecting Anomalies in Water Level Data.- Detecting Node Behaviour Changes in Subgraphs.- ReLEx: Regularisation for Linear Extrapolation in Neural Networks with Rectified Linear Units.- Application Papers.- Partial-ACO Mutation Strategies to Scale-up Fleet Optimisation and Improve Air Quality.- Industrial Applications.- A Metaheuristic Search Technique for Solving the Warehouse Stock Management Problem and the Routing Problem in a Real Company.- Investigating the Use of Machine Learning for South African Edible Garnish Yield Prediction.- Semantic Technologies Towards Accountable Artificial Intelligence: A Poultry Chain Management Use Case.- Short-term Forecasting Methodology for Energy Demand in Residential Buildings and the Impact of the COVID-19 Pandemic on Forecasts.- Weather Downtime Prediction in a South African Port Environment.- Advances in Applied AI.- Software Fault Localisation via Probabilistic Modelling.- Candidates Reduction and Enhanced Sub-Sequence-Based Dynamic Time Warping: A Hybrid Approach.- Ensemble-Based Relationship Discovery in Relational Databases.- Intention-Aware Model to Support Agent Deliberation in a Large-Scale  Dynamic Multi-Agent Application.- Medical and Legal Applications.- Combining Bandits and Lexical Analysis for Document Retrieval in a Juridical Corpora.- In-Bed Human Pose Classification Using Sparse Inertial Signals.- Maintaining Curated Document Databases Using a Learning to Rank Model: The ORRCA Experience.- What Are We Depressed About When We Talk About COVID-19: Mental Health Analysis on Tweets Using Natural Language Processing.- Short Application Stream Papers.- Using Sentence Embedding For Cross-Language Plagiarism Detection.- Leveraging Anomaly Detection for Proactive Application Monitoring.- Using Active Learning to Understand the Videoconference Experience: A Case Study.- An Application of EDA and GA for Permutation Based Spare Part Allocation Problem.- Do You Remember Me? Betty the Conversational Agent.