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

Article	Citations
Symmetric and conflated intuitionistic logics	14
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	12
Type Theory with Opposite Types: A Paraconsistent Type Theory	11
On algebraic and topological semantics of the modal logic of common knowledge S4CI	11
Editorial: Special issue ISA 2023	11
A non-stressful vision-based method for weighing live lambs	10
Axioms for a Logic of Consequential Counterfactuals	10
PBIL for optimizing inception module in convolutional neural networks	9
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
Sample logic	7
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	6
Fake news detection platform—conceptual architecture and prototype	6
A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells	5
Editorial: Special issue HAIS20	5
A review and future trends of precision livestock over dairy and beef cow cattle with artificial intelligence	5
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	5
The application of artificial neural networks to forecast financial time series	5
SPECIAL ISSUE CISIS 2020-IGPL	4
Hyperarithmetical complexity of infinitary action logic with multiplexing	4
What is mathematical logic? An Australian odyssey	4
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	4
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	4
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	4

Estimation of distribution algorithms with solution subset selection for the next release problem	4
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	3
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	3
Abduction and analogies in linguistic reconstruction inferences	3
Genuine paracomplete logics	3
A game theoretic decision forest for feature selection and classification	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
Structural analysis of code-based algorithms of the NIST post-quantum call	3
Do predictions destroy predictability? A study focusing on stock markets	3
On the relationships between some meta-mathematical properties of arithmetical theories	2
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	2
Editorial: Special issue SOCO 2020	2
The fixed points of belief and knowledge	2
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	2
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	2
Embedded feature selection for neural networks via learnable drop layer	2
Expressing knowledge as linked data by FOOL	2
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	2
Base-extension semantics for modal logic	2
Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study	2
John Crossley: A life intellectual	2
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	2
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	2
Restriction in Program Algebra	2
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing	2
Online, computable and punctual structure theory	2
Global and saturated probabilistic approximations based on generalized maximal consistent blocks	2
Logic of informal provability with truth values	2
On bivalent semantics and natural deduction for some infectious logics	2
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	2
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images	1
Hyperintensional models for non-congruential modal logics	1
Inferential-connexive mixed logics	1
Modality across different logics	1
A characterization of crossed self-similarity on crossed modules in L-algebras	1
Editorial: Special issue SOCO-CISIS 2018-IGPL	1
Algebraic logic for the negation fragment of classical logic	1
The cardinality of the partitions of a set in the absence of the Axiom of Choice	1
Interrogative logic as underlying logic in scientific practices	1
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	1
Report on the exact methods for finding minimum-sized DFA	1
Unification with parameters in the implication fragment of classical propositional logic	1
Surrogate-based optimization of learning strategies for additively regularized topic models	1
Contrariety re-encountered: nonstandard contraries and internal negation**	1
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	1
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	1
Two semantic interpretations of probabilities in description logics of typicality	1
Modal semantics for reasoning with probability and uncertainty	1
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	1

Undecidability of admissibility in the product of two Alt logics	1
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	1
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	1
Restricted Rules of Inference and Paraconsistency	1
Some results for min matrices associated with Chebyshev polynomials	1
Branching Time Axiomatized With the Use of Change Operators	1
A composite framework for supporting user emotion detection based on intelligent taxonomy handling	1
Involving cognitive science in model transformation for description logics	1
Cybersecurity trends in Cooperative, Connected and Automated Mobility	1
A probabilistic temporal epistemic logic: Decidability	1
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	1
Generic reasoning: A programmatic sketch	1
Aristotle’s dilemma	1
Remarks about the unification types of some locally tabular normal modal logics	1
Algebraic structures formalizing the logic with unsharp implication and negation	1
Inferential knowledge and epistemic dimensions	1
Algebraic Properties of Paraorthomodular Posets	1
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices	1
Remarks on uniform interpolation property	1
A robot-based surveillance system for recognising distress hand signal	1
Behaviour of Machine Learning algorithms in the classification of energy consumption in school buildings	1