OOIR: Observatory of International Research

Papers

(The TQCC of Logic Journal of the Igpl is 2. 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-04-01 to 2024-04-01.)

Article	Citations
Blockchain-based architecture for the control of logistics activities: Pharmaceutical utilities case study	18
Machine learning techniques for computer-based decision systems in the operating theatre: application to analgesia delivery	15
Hybrid Intelligent Model to Predict the Remifentanil Infusion Rate in Patients Under General Anesthesia	15
Abduction and diagrams	14
A hybrid fuzzy clustering approach for diagnosing primary headache disorder	12
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem	11
A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells	11
Intelligent model for active power prediction of a small wind turbine	10
Employees balance and stability as key points in organizational performance	8
One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process	8
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	8
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables	8
Intelligent models for movement detection and physical evolution of patients with hip surgery	8
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images	7
Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder	7
The logic of orthomodular posets of finite height	6
The logic languages of the TPTP world	5
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	5
Unsupervised network traffic anomaly detection with deep autoencoders	5
A hybrid machine learning system to impute and classify a component-based robot	5
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	5
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link	4
Entity alignment via summary and attribute embeddings	4
A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags	4
Generation of Synthetic Data with Conditional Generative Adversarial Networks	4

New Tableau Characterizations for Non-clausal MaxSAT Problem	4
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	4
Secure traveling salesman problem with intelligent transport systems features	4
Improving wearable-based fall detection with unsupervised learning	4
∞-Groupoid Generated by an Arbitrary Topological λ-Model	4
Test Case Prioritization—ANT Algorithm With Faults Severity	4
A composite framework for supporting user emotion detection based on intelligent taxonomy handling	4
Fragments of Quasi-Nelson: The Algebraizable Core	4
Complexity of rule sets in mining incomplete data using characteristic sets and generalized maximal consistent blocks	3
Network security situation awareness forecasting based on statistical approach and neural networks	3
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	3
Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study	3
Fake news detection platform—conceptual architecture and prototype	3
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories	3
Nelson’s logic ?	3
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	3
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	3
Boolean negation and non-conservativity I: Relevant modal logics	3
Cn algebras with Moisil possibility operators	3
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	3
On bivalent semantics and natural deduction for some infectious logics	3
Robust schedules for tardiness optimization in job shop with interval uncertainty	2
Free choice permission, legitimization and relating semantics	2
The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion	2
Surrogate-based optimization of learning strategies for additively regularized topic models	2
Towards real-time DNA biometrics using GPU-accelerated processing	2
Undecidability of the Logic of Partial Quasiary Predicates	2
Algorithmic correspondence for hybrid logic with binder	2
Crisp Bi-Gödel modal logic and its paraconsistent expansion	2
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach	2
Proof Systems for 3-valued Logics Based on Gödel’s Implication	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
Logic of informal provability with truth values	2
The Impact of Different System Call Representations on Intrusion Detection	2
The subformula property of natural deduction derivations and analytic cuts	2
Cyclic proofs for the first-order µ-calculus	2
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms	2
A probabilistic temporal epistemic logic: Strong completeness	2
Logics of (In)sane and (Un)reliable Beliefs	2
Uncertainty estimation in the forecasting of the 222Rn radiation level time series at the Canfranc Underground Laboratory	2
Restricted Rules of Inference and Paraconsistency	2
Boolean negation and non-conservativity III: the Ackermann constant	2
Who Finds the Short Proof?	2
Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency	2
A restricted second-order logic for non-deterministic poly-logarithmic time	2