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 2020-10-01 to 2024-10-01.)

Article	Citations
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem	14
Employees balance and stability as key points in organizational performance	12
Intelligent model for active power prediction of a small wind turbine	11
A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells	11
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	10
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables	10
Unsupervised network traffic anomaly detection with deep autoencoders	10
One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process	9
The logic languages of the TPTP world	9
Network security situation awareness forecasting based on statistical approach and neural networks	8
Entity alignment via summary and attribute embeddings	8
Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder	7
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images	7
A hybrid machine learning system to impute and classify a component-based robot	7
The logic of orthomodular posets of finite height	7
Fragments of Quasi-Nelson: The Algebraizable Core	6
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	6
Generation of Synthetic Data with Conditional Generative Adversarial Networks	5
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	5
New Tableau Characterizations for Non-clausal MaxSAT Problem	5
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	5
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	5
Algebraic Properties of Paraorthomodular Posets	5
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	4
On bivalent semantics and natural deduction for some infectious logics	4

Test Case Prioritization—ANT Algorithm With Faults Severity	4
Uncertainty estimation in the forecasting of the 222Rnradiation level time series at the Canfranc Underground Laboratory	4
Fake news detection platform—conceptual architecture and prototype	4
Improving wearable-based fall detection with unsupervised learning	4
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link	4
A composite framework for supporting user emotion detection based on intelligent taxonomy handling	4
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	4
∞-Groupoid Generated by an Arbitrary Topological λ-Model	4
Logics of Ignorance and Being Wrong	3
Restricted Rules of Inference and Paraconsistency	3
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	3
Who finds the short proof?	3
Cyclic proofs for the first-order µ-calculus	3
The cardinality of the partitions of a set in the absence of the Axiom of Choice	3
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories	3
A new approach for writer verification based on segments of handwritten graphemes	3
Logic of informal provability with truth values	3
Linear temporal justification logics with past and future time modalities	2
On registration methods for SLAM with low resolution LiDAR sensor	2
Free choice permission, legitimization and relating semantics	2
Design of a New Distributed NoSQL Database with Distributed Hash Tables	2
Remarks about the unification types of some locally tabular normal modal logics	2
Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study	2
The Impact of Different System Call Representations on Intrusion Detection	2
Undecidability of the Logic of Partial Quasiary Predicates	2
On the Impact of Interpretability Methods in Active Image Augmentation Method	2
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms	2
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach	2
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion	2
Proving properties of binary classification neural networks via Łukasiewicz logic	2
Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency	2
Crisp Bi-Gödel modal logic and its paraconsistent expansion	2
Robust schedules for tardiness optimization in job shop with interval uncertainty	2
Proof Systems for 3-valued Logics Based on Gödel’s Implication	2
A characterization of crossed self-similarity on crossed modules in L-algebras	2
Surrogate-based optimization of learning strategies for additively regularized topic models	2
Genuine paracomplete logics	2
Ethereum-based decentralized car rental system	2
Amalgamation and Robinson property in universal algebraic logic	1
Adaptive Orthogonal Characteristics of Bio-Inspired Neural Networks	1
Unification types in Euclidean modal logics	1
Algorithmic correspondence for hybrid logic with binder	1
A probabilistic temporal epistemic logic: Strong completeness	1
Another neighbourhood semantics for intuitionistic logic	1
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	1
A probabilistic temporal epistemic logic: Decidability	1
Branching Time Axiomatized With the Use of Change Operators	1
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	1

Tarski’s Undefinability Theorem and the Diagonal Lemma	1
What is mathematical logic? An Australian odyssey	1
Data streams classification using deep learning under different speeds and drifts	1
Complexity of the interpretability logics ILW and ILP	1
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	1
A support vector regression model for time series forecasting of the COMEX copper spot price	1
Streaming big time series forecasting based on nearest similar patterns with application to energy consumption	1
Non-contingency in a paraconsistent setting	1
Unification with parameters in the implication fragment of classical propositional logic	1
On the relationships between some meta-mathematical properties of arithmetical theories	1
Paraconsistentization and many-valued logics	1
An atom’s worth of anonymity	1
Source code obfuscation with genetic algorithms using LLVM code optimizations	1
AGV fuzzy control optimized by genetic algorithms	1
Binary modal logic and unary modal logic	1
Logical reduction of relations: From relational databases to Peirce’s reduction thesis	1
Detection and nudge-intervention on sensitive information in social networks	1
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	1
A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4	1
Gödel justification logics and realization	1
Distal learning of the incremental capacity curve of a LiFePO4 battery	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	1
Contrariety re-encountered: nonstandard contraries and internal negation**	1
PBIL for optimizing inception module in convolutional neural networks	1
Towards enhanced monitoring framework with smart predictions	1
Type Theory with Opposite Types: A Paraconsistent Type Theory	1
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	1