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

Article	Citations
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	27
Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics	16
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	15
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	15
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	14
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	12
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	12
PBIL for optimizing inception module in convolutional neural networks	11
Completeness of two fragments of a logic for conditional strategic reasoning	11
The logics of individual Medvedev frames	8
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	8
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
An observer-based approach to the sorites paradox and the logic derived from that	7
Online, computable and punctual structure theory	7
Aristotle’s dilemma	6
A probabilistic temporal epistemic logic: Decidability	6
Another remark on connexivity and set theory	6
Remarks on uniform interpolation property	5
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	5
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	5
Hyperintensional models for non-congruential modal logics	5
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks	4
Tabu search and genetic algorithm in rims production process assignment	4
Some explicit values of an alternative q -multiple zeta function at roots of unity	4

Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	4
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	4
The third order Nickel Fibonacci numbers	4
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	4
Non-contingency in a paraconsistent setting	4
A new approach for writer verification based on segments of handwritten graphemes	4
Explanatory frameworks in complex change and resilience system modelling	4
Semantical Investigations on Non-Classical Logics With Recovery Operators: Negation	4
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	3
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	3
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	3
Editorial: Special issue in honour of John Newsome Crossley	3
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	3
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0	3
An application on intuitionistic fuzzy weakly 2-absorbing ideals of lattices	3
Modified LDA vector and feedback analysis for short query Information Retrieval systems	3
The early history of formal diagonalization	3
Combining statistical dialog management and intent recognition for enhanced response selection	3
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	3
Constructive aspects of Riemann’s permutation theorem for series	3
Towards a polarized semantics for assertion and denial	3
Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion	3
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	3
On minimal pairs of quasi-degrees	3
On the bi-periodic (k,s)—Jacobsthal numbers via the Fibonacci–Hörner decomposition of matrix powers	3
The application of artificial neural networks to forecast financial time series	2
Editorial: Special Issue SOCO 2022	2
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
The cardinality of the partitions of a set in the absence of the Axiom of Choice	2
Base-extension semantics for S5 modal logic	2
Detection, exploitation and mitigation of memory errors	2
Analyzing time series to forecast hot rolled coil steel price in Spain by means of neural non-linear models	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	2
The limitless first incompleteness theorem	2
A support vector regression model for time series forecasting of the COMEX copper spot price	2
A new completeness proof at the propositional level for mbC and some of its extensions	2
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	2
Expressing knowledge as linked data by FOOL	2
John Crossley: A life intellectual	2
Inferential-connexive mixed logics	2
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	2
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	1
A comparative study of neural network architectures for software vulnerability forecasting	1
Constructing Θ-Ξ functions via multiplicative generators on a completely distributive lattice	1
Remarks about the unification types of some locally tabular normal modal logics	1
Binary modal logic and unary modal logic	1
Jónsson-style canonicity in distributive modal µ-calculus	1

Labelled proof systems for existential reasoning	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
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	1
Editorial: Special issue ISA 2023	1
Generic reasoning: A programmatic sketch	1
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	1
Undecidability of admissibility in the product of two Alt logics	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
Generalised Leonardo numbers	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	1
Embedded feature selection for neural networks via learnable drop layer	1
Editorial: Special issue SOCO 2020	1
Restriction in Program Algebra	1
A logical framework for data-driven reasoning	1
First-order logic of change	1
Randomness study of the concatenation of generalized sequences	1
From simple to complex: a sequential method for enhancing time series forecasting with deep learning	1
Quantum modal logic	1
How did Avicenna understand the Barcan formulas?	1
Abduction and analogies in linguistic reconstruction inferences	1
Modality across different logics	1
Finite axiomatizability of logics of distributive lattices with negation	1
Modal semantics for reasoning with probability and uncertainty	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
Functional completeness and primitive positive decomposition of relations on finite domains	1
Computable operators on left–c.e. reals and their continuity properties	1
Exploiting multimodal biometrics for enhancing password security	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
Unsupervised network traffic anomaly detection with deep autoencoders	1
Logic of informal provability with truth values	1
Predictive maintenance of vehicle fleets through hybrid deep learning-based ensemble methods for industrial IoT datasets	1
Decidability of quantum modal logic	1
Knowledge and ignorance in Belnap–Dunn logic	1
Detection and nudge-intervention on sensitive information in social networks	1
AGV fuzzy control optimized by genetic algorithms	1
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	1
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	1
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers	1
Functoriality of the Schmidt construction	1
A robot-based surveillance system for recognising distress hand signal	1
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	1
Logics and collaboration	1
The logic of conditionals on outback trails	1
Two semantic interpretations of probabilities in description logics of typicality	1