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

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 …

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 …

The growing number of applications of machine learning and data mining in many domains—
from agriculture to business, education, industrial manufacturing, and medicine—gave rise …

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 …

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 …

The sensor-based recognition of Activities of Daily Living (ADLs) in smart home
environments enables several applications in the areas of energy management, safety, well …

Explainable artificial intelligence (XAI) twin systems will be a fundamental enabler of zero-
touch network and service management (ZSM) for sixth-generation (6G) wireless networks …

Creating learning models that can exhibit sophisticated reasoning abilities is one of the
greatest challenges in deep learning research, and mathematics is rapidly becoming one of …