Results 111 to 120 of about 5,812 (235)

A Shallow Echo: Artificial Intelligence and the Semantic Flattening of the Qur'an

Learned Publishing, Volume 39, Issue 3, July 2026.
ABSTRACT Scriptural Arabic relies on highly intentional word choices, employing apparent synonyms and near‐synonyms that convey distinct semantic values based on their specific textual placement. Historically, computational translation has struggled to reproduce these precise textual boundaries. Addressing this issue, the present investigation assesses
Ekrema Shehab
wiley   +1 more source

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition [PDF]

Computer Science Journal of Moldova, 2019
Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments.
Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak, Tohrul Mamedov   +3 more
doaj  

A multi‐source fusion and dynamic verification framework for scientific knowledge graph construction: Methods, evaluation, and applications

AI Magazine, Volume 47, Issue 2, Summer 2026.
Abstract The exponential growth of scientific literature—over 2.5 million papers and 3.5 million patents annually—poses critical challenges for knowledge discovery. To address these, we propose SCIMKG (Scientific Knowledge Graph), a framework for constructing scientific knowledge graphs via multi‐source heterogeneous multi‐source.
Erxi Zhu, Yuan Hu
wiley   +1 more source

Cross‐Method Explanation Stability Under Prediction‐Preserving Perturbations in Explainable AI

Applied AI Letters, Volume 7, Issue 2, June 2026.
The cross‐method analysis showed common vulnerability patterns across gradient‐based and perturbation‐based explainers, whereas Grad‐CAM demonstrated a specific ability to be resilient. Further discussion revealed that, before prediction changes with increasing ε, explanation divergence could already have commenced, indicating that further explanation ...
Muhammad Hasnain, Tooba Gul, Muhammad Fawad Ahmed, Israr Ghani, Imran Ghani   +4 more
wiley   +1 more source

Enhancing Interpretability and Explainability of Protein Function Prediction ML Model Using Explainable AI

Engineering Reports, Volume 8, Issue 6, June 2026.
This systematic review traces the evolution of protein function prediction from experimental methods through homology‐based tools, ML and DL to XAI. While deep learning models achieve state‐of‐the‐art predictive accuracy, their black‐box nature limits biological insight and clinical trust.
Aastha Katiyar, Rashmi Yadav
wiley   +1 more source

Axiomatic semantics for Java ℓight in Isabelle/HOL

, 2000
. We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java ℓight. In particular, we present solutions to challenging features like exception handling, static initialization of classes and dynamic binding of ...
Technische Universität München, David Von Oheimb   +1 more
core  

Commutative product semantics [PDF]

, 2009
This article describes a structured axiomatic theory in which important practical phenomena of product semantics can be described and analyzed. The approach includes and extends the well-known semiotic notions of icon, symbol and index.
Feijs, L.M.G.
core   +1 more source

Quantum Information Processing in Human Cognition: Bridging Quantum Phenomena, Neural Dynamics, and Decision‐Making

Advanced Quantum Technologies, Volume 9, Issue 6, June 2026.
ABSTRACT Recent advances at the intersection of quantum physics, neuroscience, and cognitive science have renewed interest in whether quantum phenomena and quantum‐inspired formalisms can inform models of human cognition and decision‐making. While classical neural and computational models explain many aspects of perception and behavior, they face ...
Hamidreza Namazi, Arvindhan M, Helena Chytilova, Ondrej Krejcar   +3 more
wiley   +1 more source

Don't be Tricked by Iterative Masking

Computational Intelligence, Volume 42, Issue 3, June 2026.
ABSTRACT A common approach to quantifying neural text classifier interpretability is to calculate faithfulness metrics based on iteratively masking salient input tokens and measuring changes in the model prediction. We propose that this property is better described as “sensitivity to iterative masking,” and highlight pitfalls in using this measure for ...
Evan Crothers, Herna Viktor, Nathalie Japkowicz   +2 more
wiley   +1 more source

The semiotics of printed instructions (graphic signa)

, 2012
This thesis sets out to describe sign systems for communication using Axiomatic Functionalism as its theoretical framework. In doing so, the thesis also provides an important test to the claim of Axiomatic Functionalism that by using its premisses ...
Toumajian, Trak-Sarkis
core