OOIR: Observatory of International Research

Papers

(The TQCC of Logic Journal of the Igpl is 1. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-08-01 to 2025-08-01.)

Article	Citations
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	25
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	16
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	14
On the relationships between some meta-mathematical properties of arithmetical theories	13
PBIL for optimizing inception module in convolutional neural networks	12
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	12
Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics	11
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	11
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	8
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	7
Online, computable and punctual structure theory	7
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	7
A probabilistic temporal epistemic logic: Decidability	6
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	5
Hyperintensional models for non-congruential modal logics	5
Remarks on uniform interpolation property	5
Aristotle’s dilemma	4
A new approach for writer verification based on segments of handwritten graphemes	4
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	4
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	4
An observer-based approach to the sorites paradox and the logic derived from that	4
Non-contingency in a paraconsistent setting	4
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	4
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	4
Tabu search and genetic algorithm in rims production process assignment	4

Editorial: Special issue in honour of John Newsome Crossley	3
Explanatory frameworks in complex change and resilience system modelling	3
The early history of formal diagonalization	3
Crisp Bi-Gödel modal logic and its paraconsistent expansion	3
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	3
The third order Nickel Fibonacci numbers	3
Semantical investigations on non-classical logics with recovery operators: negation	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	3
On the bi-periodic (k,s)—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	3
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	3
Combining statistical dialog management and intent recognition for enhanced response selection	3
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	2
Detection, exploitation and mitigation of memory errors	2
Base-extension semantics for S5 modal logic	2
The cardinality of the partitions of a set in the absence of the Axiom of Choice	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2
Constructive aspects of Riemann’s permutation theorem for series	2
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	2
The application of artificial neural networks to forecast financial time series	2
Inferential-connexive mixed logics	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	2
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	2
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	2
Towards a polarized semantics for assertion and denial	2
The limitless first incompleteness theorem	2
Expressing knowledge as linked data by FOOL	2
John Crossley: A life intellectual	2
A new completeness proof at the propositional level for mbC and some of its extensions	2
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	1
Decidability of quantum modal logic	1
Functoriality of the Schmidt construction	1
Embedded feature selection for neural networks via learnable drop layer	1
On the number of different variables required to define the n-density or the bounded n-width of Kripke frames with some consequences for Sahlqvist formulae	1
Generalised Leonardo numbers	1
The determinants and the inverses of the $\left ( \frac{2a }{k^{2}+2},a,a\right ) $-$L_{k}$-Toeplitz and the $(2,k^{2}+2,k^{2}+2)$-$ F_{k} $-Toeplitz matrices	1
How did Avicenna understand the Barcan formulas?	1
A support vector regression model for time series forecasting of the COMEX copper spot price	1
Logics and collaboration	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
Modal semantics for reasoning with probability and uncertainty	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	1
Undecidability of admissibility in the product of two Alt logics	1
Remarks about the unification types of some locally tabular normal modal logics	1

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
A robot-based surveillance system for recognising distress hand signal	1
Finite axiomatizability of logics of distributive lattices with negation	1
Labelled proof systems for existential reasoning	1
Editorial: Special issue ISA 2023	1
Modality across different logics	1
Jónsson-style canonicity in distributive modal µ-calculus	1
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
Functional completeness and primitive positive decomposition of relations on finite domains	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
Logic of informal provability with truth values	1
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	1
Restriction in Program Algebra	1
Exploiting multimodal biometrics for enhancing password security	1
Unsupervised network traffic anomaly detection with deep autoencoders	1
Computable operators on left–c.e. reals and their continuity properties	1
Randomness study of the concatenation of generalized sequences	1
Abduction and analogies in linguistic reconstruction inferences	1
AGV fuzzy control optimized by genetic algorithms	1
Generic reasoning: A programmatic sketch	1
Quantum modal logic	1
Two semantic interpretations of probabilities in description logics of typicality	1
The logic of conditionals on outback trails	1
From simple to complex: a sequential method for enhancing time series forecasting with deep learning	1
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	1
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
Editorial: Special issue SOCO 2020	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1