This article aims to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. It was presented at the 36th International Conference on Logic Programming (ICLP).

Article discusses how despite the advantages of online education, it lacks face-to-face settings, which makes it very difficult to analyze the students’ level of interaction, understanding, and confusion. This study proposes a novel engineering approach that uses probability-based features (PBF) for increasing the efficacy of machine learning models.

Article on deep-learning framework for edge intelligence EDL-EI (event-driven deep learning for edge intelligence). To verify the proposed framework, the authors include a case study of air-quality scenarios based for the most polluted cities in South Korea and China.

This article uses a stratified SEIR epidemic model to evaluate the impact of Umrah, a global Muslim pilgrimage to Mecca, on the spread of the COVID-19 pandemic during the month of Ramadan, the peak of the Umrah season. The analyses provide insights into the effects of global mass gatherings on the progression of the COVID-19 pandemic locally and globally.

Article that introduces Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. The authors' proof-of-concept Natlog implementation is tightly embedded in the Python-based deep-learning ecosystem with focus on content-driven indexing of ground term datasets. As an overriding of the authors symbolic indexing algorithm, the same function can be delegated to a neural network, serving ground facts to Natlog's resolution engine. The open-source implementation is available as a Python package at t https://pypi.org/project/natlog/.

Article states that vaccines, though reliable preventative measures for diseases, also raise public concerns; public apprehension and doubts challenge the acceptance of new vaccines including the COVID-19 vaccines. This study is the first attempt to review the role of AI approaches in COVID-19 vaccination-related sentiment analysis.