Over the past six decades, the computing systems field has experienced significant
transformations, profoundly impacting society with transformational developments, such as …

Social media is used to categorise products or services, but analysing vast comments is time-
consuming. Researchers use sentiment analysis via natural language processing …

Software engineering activities such as package migration, fixing error reports from static
analysis or testing, and adding type annotations or other specifications to a codebase …

Neuro-symbolic artificial intelligence refers to a field of research and applications that
combines machine learning methods based on artificial neural networks, such as deep …

In recent years, neural systems have demonstrated highly effective learning ability and
superior perception intelligence. However, they have been found to lack effective reasoning …

Theory of Mind (ToM) is the ability to reason about one's own and others' mental states. ToM
plays a critical role in the development of intelligence, language understanding, and …

This review provides a critique of David Ausubel's theory of meaningful learning and the use
of advance organizers in teaching. It takes into account the developments in cognition and …

Artificial neural networks (ANNs) have proven to be among the most important artificial
intelligence (AI) techniques in educational applications, providing adaptive educational …

Anomaly detection approaches for network intrusion detection learn to identify deviations
from normal behavior on a data-driven basis. However, current approaches strive to infer the …

A fundamental challenge in neuro-symbolic AI is to devise primitives that fuse the logical
and neural concepts. The Neural Theorem Prover has proposed the notion of soft-unification …