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

Article	Citations
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	23
Editorial: Special issue ISA 2023	11
Type Theory with Opposite Types: A Paraconsistent Type Theory	11
On algebraic and topological semantics of the modal logic of common knowledge S4CI	11
Axioms for a Logic of Consequential Counterfactuals	10
Sample logic	10
Special Issue: SOCO–CISIS 2019-IGPL	8
An atom’s worth of anonymity	8
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	7
Fake news detection platform—conceptual architecture and prototype	7
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	6
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	6
SPECIAL ISSUE CISIS 2020-IGPL	5
Editorial: Special issue HAIS20	5
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	5
The application of artificial neural networks to forecast financial time series	5
A non-stressful vision-based method for weighing live lambs	4
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	4
Adaptive structure seeking dialogues	4
Hyperarithmetical complexity of infinitary action logic with multiplexing	4
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	4
On the relationships between some meta-mathematical properties of arithmetical theories	3
Expressing knowledge as linked data by FOOL	3
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	3
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	3

Structural analysis of code-based algorithms of the NIST post-quantum call	3
The key universal quality of logical abductive inferences: Does optimization of eco-cognitive situatedness supersede other criteria like minimality, consistency, relevance and plausibility?	3
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing	3
Genuine paracomplete logics	3
Base-extension semantics for S5 modal logic	2
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	2
Abduction and analogies in linguistic reconstruction inferences	2
Estimation of distribution algorithms with solution subset selection for the next release problem	2
Decidability of quantum modal logic	2
Restriction in Program Algebra	2
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	2
Embedded feature selection for neural networks via learnable drop layer	2
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	2
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	2
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	2
Generalised Tribonacci hybrid quaternions	2
A game theoretic decision forest for feature selection and classification	2
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	2
Logic of informal provability with truth values	2
PBIL for optimizing inception module in convolutional neural networks	2
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	2
Do predictions destroy predictability? A study focusing on stock markets	2
What is mathematical logic? An Australian odyssey	2
Symmetric and conflated intuitionistic logics	2
Global and saturated probabilistic approximations based on generalized maximal consistent blocks	2
John Crossley: A life intellectual	2
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	1
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices	1
Report on the exact methods for finding minimum-sized DFA	1
Contrariety re-encountered: nonstandard contraries and internal negation**	1
Modal semantics for reasoning with probability and uncertainty	1
A characterization of crossed self-similarity on crossed modules in L-algebras	1
Remarks about the unification types of some locally tabular normal modal logics	1
Online, computable and punctual structure theory	1
Surrogate-based optimization of learning strategies for additively regularized topic models	1
Inferential-connexive mixed logics	1
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	1
The spectra of quasi-Boolean algebras	1
Behaviour of Machine Learning algorithms in the classification of energy consumption in school buildings	1
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Undecidability of admissibility in the product of two Alt logics	1
A robot-based surveillance system for recognising distress hand signal	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
Algebraic Properties of Paraorthomodular Posets	1
Involving cognitive science in model transformation for description logics	1
Aristotle’s dilemma	1
Branching Time Axiomatized With the Use of Change Operators	1
Editorial: Special issue SOCO 2020	1
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	1

Hyperintensional models for non-congruential modal logics	1
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	1
Base-extension semantics for modal logic	1
An ‘elementary’ perspective on reasoning about probability spaces	1
Some results for min matrices associated with Chebyshev polynomials	1
Cybersecurity trends in Cooperative, Connected and Automated Mobility	1
Algebraic structures formalizing the logic with unsharp implication and negation	1
The fixed points of belief and knowledge	1
Remarks on uniform interpolation property	1
Unification with parameters in the implication fragment of classical propositional logic	1
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope	1
Algebraic logic for the negation fragment of classical logic	1
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	1
Restricted Rules of Inference and Paraconsistency	1
Combination of fuzzy control and reinforcement learning for wind turbine pitch control	1
Proof-carrying parameters in certified symbolic execution	1
Semantical investigations on non-classical logics with recovery operators: negation	1
A probabilistic temporal epistemic logic: Decidability	1
Inferential knowledge and epistemic dimensions	1