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-06-01 to 2025-06-01.)

Article	Citations
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	24
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	14
PBIL for optimizing inception module in convolutional neural networks	12
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	11
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	11
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	11
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	10
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	8
On the relationships between some meta-mathematical properties of arithmetical theories	7
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	7
Online, computable and punctual structure theory	7
Aristotle’s dilemma	6
Remarks on uniform interpolation property	5
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	5
A probabilistic temporal epistemic logic: Decidability	5
Hyperintensional models for non-congruential modal logics	5
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	5
An observer-based approach to the sorites paradox and the logic derived from that	5
A new approach for writer verification based on segments of handwritten graphemes	4
Restricted Rules of Inference and Paraconsistency	4
Semantical investigations on non-classical logics with recovery operators: negation	4
Explanatory frameworks in complex change and resilience system modelling	4
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	4
Non-contingency in a paraconsistent setting	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3

Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
Combining statistical dialog management and intent recognition for enhanced response selection	3
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	3
The third order Nickel Fibonacci numbers	3
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	3
The early history of formal diagonalization	3
Crisp Bi-Gödel modal logic and its paraconsistent expansion	3
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	3
Tabu search and genetic algorithm in rims production process assignment	3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
Editorial: Special issue in honour of John Newsome Crossley	3
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	2
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	2
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	2
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	2
Constructive aspects of Riemann’s permutation theorem for series	2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	2
Expressing knowledge as linked data by FOOL	2
John Crossley: A life intellectual	2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	2
On the bi-periodic (k,s)—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	2
Detection, exploitation and mitigation of memory errors	2
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	2
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	2
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	2
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	2
Towards a polarized semantics for assertion and denial	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
The application of artificial neural networks to forecast financial time series	2
Base-extension semantics for S5 modal logic	2
Restriction in Program Algebra	1
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	1
A robot-based surveillance system for recognising distress hand signal	1
Editorial: Special issue ISA 2023	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
The limitless first incompleteness theorem	1
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	1
Jónsson-style canonicity in distributive modal µ-calculus	1
The logic of conditionals on outback trails	1
Algebraic Properties of Paraorthomodular Posets	1
AGV fuzzy control optimized by genetic algorithms	1
Generic reasoning: A programmatic sketch	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
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
Logic of informal provability with truth values	1
Embedded feature selection for neural networks via learnable drop layer	1

Sample logic	1
Editorial: Special issue SOCO 2020	1
A support vector regression model for time series forecasting of the COMEX copper spot price	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
Quantum modal logic	1
Functoriality of the Schmidt construction	1
Exploiting multimodal biometrics for enhancing password security	1
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
Two semantic interpretations of probabilities in description logics of typicality	1
Modal semantics for reasoning with probability and uncertainty	1
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	1
Remarks about the unification types of some locally tabular normal modal logics	1
Decidability of quantum modal logic	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
Abduction and analogies in linguistic reconstruction inferences	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Inferential-connexive mixed logics	1
Computable operators on left–c.e. reals and their continuity properties	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
Randomness study of the concatenation of generalized sequences	1
Fragments of Quasi-Nelson: The Algebraizable Core	1
Finite axiomatizability of logics of distributive lattices with negation	1
Functional completeness and primitive positive decomposition of relations on finite domains	1
Unsupervised network traffic anomaly detection with deep autoencoders	1
Undecidability of admissibility in the product of two Alt logics	1