Logic Journal of the Igpl

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
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
Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder	7
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	6
Fragments of Quasi-Nelson: The Algebraizable Core	6
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
Generation of Synthetic Data with Conditional Generative Adversarial Networks	5
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	5
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
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	4
On bivalent semantics and natural deduction for some infectious logics	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
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
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
A probabilistic temporal epistemic logic: Decidability	1
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot	1
Branching Time Axiomatized With the Use of Change Operators	1
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae	1
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach	1
What is mathematical logic? An Australian odyssey	1
Paraconsistentization and many-valued logics	1
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems	1
A support vector regression model for time series forecasting of the COMEX copper spot price	1
Source code obfuscation with genetic algorithms using LLVM code optimizations	1

Streaming big time series forecasting based on nearest similar patterns with application to energy consumption	1
AGV fuzzy control optimized by genetic algorithms	1
Non-contingency in a paraconsistent setting	1
Binary modal logic and unary modal logic	1
Unification with parameters in the implication fragment of classical propositional logic	1
Detection and nudge-intervention on sensitive information in social networks	1
On the relationships between some meta-mathematical properties of arithmetical theories	1
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices	1
An atom’s worth of anonymity	1
Logical reduction of relations: From relational databases to Peirce’s reduction thesis	1
Towards enhanced monitoring framework with smart predictions	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
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic	1
Distal learning of the incremental capacity curve of a LiFePO4 battery	1
Amalgamation and Robinson property in universal algebraic logic	1
Design and implementation of parallel self-adaptive differential evolution for global optimization	1
Adaptive Orthogonal Characteristics of Bio-Inspired Neural Networks	1
Contrariety re-encountered: nonstandard contraries and internal negation**	1
Algorithmic correspondence for hybrid logic with binder	1
PBIL for optimizing inception module in convolutional neural networks	1
Type Theory with Opposite Types: A Paraconsistent Type Theory	1
Unification types in Euclidean modal logics	1
A probabilistic temporal epistemic logic: Strong completeness	1
Tarski’s Undefinability Theorem and the Diagonal Lemma	1
Another neighbourhood semantics for intuitionistic logic	1
Data streams classification using deep learning under different speeds and drifts	1
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation	1
Complexity of the interpretability logics ILW and ILP	1
Algebraic logic for the negation fragment of classical logic	0
The logic of conditionals on outback trails	0
The application of artificial neural networks to forecast financial time series	0
Combinators as presheaves	0
The fixed points of belief and knowledge	0
Axiomatization of modal logic with counting	0
Abduction and analogies in linguistic reconstruction inferences	0
An infinitary axiomatization of dynamic topological logic	0
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system	0
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features	0
Symmetric and conflated intuitionistic logics	0
Modality across different logics	0
Extensions in graph normal form	0
Imagelytics suite: deep learning-powered image classification for bioassessment in desktop and web environments	0
Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?"	0
Generic reasoning: A programmatic sketch	0
Special Issue: SOCO–CISIS 2019-IGPL	0
Security in advanced metering infrastructures: Lightweight cryptography	0
Online, computable and punctual structure theory	0
Computability and the Symmetric Difference Operator	0
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation	0
Study of infostealers using Graph Neural Networks	0
Tabu search and genetic algorithm in rims production process assignment	0
TEDNet: Twin Encoder Decoder Neural Network for 2D Camera and LiDAR Road Detection	0
Editorial: Special Issue CISIS 2021	0
SPECIAL ISSUE CISIS 2020-IGPL	0
Optimized network for detecting burr-breakage in images of milling workpieces	0
How did Avicenna understand the Barcan formulas?	0
Logic, co-ordination and the envelope of our beliefs	0
‘Sometime a paradox’, now proof: Yablo is not first order	0
Predicting insurance claims through a variety of data mining techniques: facing lots of missing values and moderate class-imbalanced levels	0
Clustering techniques performance comparison for predicting the battery state of charge: A hybrid model approach	0
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network	0
The logic of medical discovery: the case of Jenner’s inquiry on variolae vaccinae	0
Algebraic structures formalizing the logic with unsharp implication and negation	0
Automatic detection of faults in industrial production of sandwich panels using Deep Learning techniques	0
The use of logic and argumentation in therapy of sex offenders	0
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots	0
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing	0
Combining statistical dialog management and intent recognition for enhanced response selection	0
Functional completeness and primitive positive decomposition of relations on finite domains	0
Inferential knowledge and epistemic dimensions	0
Predictive maintenance of vehicle fleets through hybrid deep learning-based ensemble methods for industrial IoT datasets	0
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs	0
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings	0
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices	0
Chlorophyll-α forecasting using LSTM, bidirectional LSTM and GRU networks in El Mar Menor (Spain)	0
Machine overstrain prediction for early detection and effective maintenance: A machine learning algorithm comparison	0
The early history of formal diagonalization	0
Modal semantics for reasoning with probability and uncertainty	0
First-order logic of change	0

The key universal quality of logical abductive inferences: Does optimization of eco-cognitive situatedness supersede other criteria like minimality, consistency, relevance and plausibility?	0
A correspondence theorem for interpretability logic with respect to Verbrugge semantics	0
Cybersecurity trends in Cooperative, Connected and Automated Mobility	0
Editorial: Special issue HAIS 2018	0
Do predictions destroy predictability? A study focusing on stock markets	0
Correction to: Decidability of interpretability logics IL M0 and IL W*	0
Behaviour of Machine Learning algorithms in the classification of energy consumption in school buildings	0
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families	0
Axioms for a Logic of Consequential Counterfactuals	0
Interrogative logic as underlying logic in scientific practices	0
On elementary equivalence of real semigroups of preordered rings	0
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models	0
Exploiting multimodal biometrics for enhancing password security	0
Base-extension semantics for modal logic	0
A non-stressful vision-based method for weighing live lambs	0
From simple to complex: a sequential method for enhancing time series forecasting with deep learning	0
Filtering non-balanced data using an evolutionary approach	0
Editorial: Special issue SOCO 2020	0
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras	0
Editorial: Special issue HAIS20	0
PhrasIS: Phrase Inference and Similarity benchmark	0
LSTM vs CNN in real ship trajectory classification	0
John Crossley: A life intellectual	0
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4	0
Embedded feature selection for neural networks via learnable drop layer	0
Editorial: Special Issue HAIS 2021	0
Proof-carrying parameters in certified symbolic execution	0
Contact semilattices	0
Global and saturated probabilistic approximations based on generalized maximal consistent blocks	0
Płonka adjunction	0
The spectra of quasi-Boolean algebras	0
Semantical investigations on non-classical logics with recovery operators: negation	0
Exploratory techniques to analyse Ecuador's tourism industry	0
Restriction in Program Algebra	0
Optimizing wastewater treatment plants with advanced feature selection and sensor technologies	0
The determinant and a factorization of a Toeplitz matrix with some type of Horadam numbers entries	0
A novel memetic algorithm for solving the generalized traveling salesman problem	0
Editorial: Special issue ISA 2023	0
Editorial: Special issue HAIS19-IGPL	0
On intermediate justification logics	0
Report on the exact methods for finding minimum-sized DFA	0
An innovative framework for supporting content-based authorship identification and analysis in social media networks	0
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration	0
Editorial: Special issue in honour of John Newsome Crossley	0
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices	0
Blockchain self-update smart contract for supply chain traceability with data validation	0
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks	0
On directional accuracy of some methods to forecast time series of cybersecurity aggregates	0
Hyperintensional models for non-congruential modal logics	0
Solving a Two-stage Supply Chain Network Design Problem with Fixed Costs by a Hybrid Genetic Algorithm	0
Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19	0
Editorial	0
A robot-based surveillance system for recognising distress hand signal	0
Knowledge and ignorance in Belnap–Dunn logic	0
A game theoretic decision forest for feature selection and classification	0
Virtual active power sensor for eolic self-consumption installations based on wind-related variables	0
Involving cognitive science in model transformation for description logics	0
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts	0
A detailed analysis of the interpretability of Convolutional Neural Networks for text classification	0
Two semantic interpretations of probabilities in description logics of typicality	0
Sample logic	0
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd	0
Some results for min matrices associated with Chebyshev polynomials	0
Sahlqvist completeness theory for hybrid logic with downarrow binder	0
Estimation of distribution algorithms with solution subset selection for the next release problem	0
An ‘elementary’ perspective on reasoning about probability spaces	0
Logics and collaboration	0
Undecidability of admissibility in the product of two Alt logics	0
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers	0
Hyperarithmetical complexity of infinitary action logic with multiplexing	0
Editorial: Special issue SOCO 2021	0
Combination of fuzzy control and reinforcement learning for wind turbine pitch control	0
Logical foundations: Personal perspective	0
OUP accepted manuscript	0
A variable neighbourhood search for minimization of operation times through warehouse layout optimization	0
Past five years on strategies and applications in hybrid brain storm optimization algorithms: a review	0
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone	0
A comparative study of neural network architectures for software vulnerability forecasting	0
Influence of autoencoder latent space on classifying IoT CoAP attacks	0
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem	0
The finite sequences and the partitions whose members are finite of a set	0
Explanatory frameworks in complex change and resilience system modelling	0
Special issue: 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish)	0
Towards a polarized semantics for assertion and denial	0
On algebraic and topological semantics of the modal logic of common knowledge S4CI	0
Modified LDA vector and feedback analysis for short query Information Retrieval systems	0
Editorial: Special issue SOCO-CISIS 2018-IGPL	0
Recurrent variational autoencoder approach for remaining useful life estimation	0
Detection of transiting exoplanets and phase-folding their host star’s light curves from K2 data with 1D-CNN	0
Labelled proof systems for existential reasoning	0
Modal expansions of ririgs	0
Remarks on uniform interpolation property	0
Tracking and classification performances in the bio-inspired asymmetric and symmetric networks	0
Structural analysis of code-based algorithms of the NIST post-quantum call	0
Recollections of logicians, mathematicians and philosophers	0