- Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
- Who Finds the Short Proof?
- Binary modal logic and unary modal logic
- Non-contingency in a Paraconsistent Setting
- Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder
- A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic1
- Logic, Co-ordination and the Envelope of our Beliefs
- On algebraic and topological semantics of the modal logic of common knowledge S4CI
- Amalgamation and Robinson property in universal algebraic logic
- An atom’s worth of anonymity
- The Spectra of Quasi-Boolean Algebras
- A Probabilistic Temporal Epistemic Logic: Strong Completeness
- Another Neighbourhood Semantics for Intuitionistic Logic
- The Logic Languages of the TPTP World
- Kolmogorov and Kuroda Translations Into Basic Predicate Logic
- How Did Avicenna Understand the Barcan Formulas?
- First-Order Logic of Change
- Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings
- Cyclic proofs for the first-order µ-calculus
- Logical Foundations: Personal Perspective
- Genuine paracomplete logics
- RGB images-driven recognition of grapevine varieties using a densely connected convolutional network
- On registration methods for SLAM with low resolution LiDAR sensor
- Insider attack detection in database with deep metric neural network with Monte Carlo sampling
- Fake News Detection Platform—Conceptual Architecture and Prototype
- Blockchain-Based Land Registry Platforms: A Survey on Their Implementation and Potential Challenges
- On Weak Filters and Ultrafilters: Set Theory From (and for) Knowledge Representation
- Algorithmic Correspondence for Hybrid Logic with Binder
- Linear Temporal Justification Logics with Past and Future Time Modalities
- The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms
- Logics of Ignorance and Being Wrong
- Algebraic Properties of Paraorthomodular Posets
- Type Theory with Opposite Types: A Paraconsistent Type Theory
- Sample logic
- Fragments of Quasi-Nelson: The Algebraizable Core
- Restricted Rules of Inference and Paraconsistency
- Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
- Computability and the Symmetric Difference Operator
- Undecidability of the Logic of Partial Quasiary Predicates
- Tarski’s Undefinability Theorem and the Diagonal Lemma
- ∞-Groupoid Generated by an Arbitrary Topological λ-Model
- Unification with parameters in the implication fragment of classical propositional logic
- Design of a New Distributed NoSQL Database with Distributed Hash Tables
- New Tableau Characterizations for Non-clausal MaxSAT Problem
- Employees balance and stability as key points in organizational performance
- Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images
- Proof Systems for 3-valued Logics Based on Gödel’s Implication
- On bivalent semantics and natural deduction for some infectious logics
- Editorial: Special issue HAIS19-IGPL
- Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency
- Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study
- Solving a Two-stage Supply Chain Network Design Problem with Fixed Costs by a Hybrid Genetic Algorithm
- Adaptive Orthogonal Characteristics of Bio-Inspired Neural Networks
- Dualities for Bounded Prelinear Hilbert Algebras
- On the Impact of Interpretability Methods in Active Image Augmentation Method
- Gödel justification logics and realization
- The logic of orthomodular posets of finite height
- Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach
- Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms
- Corrigendum for “Truth in a Logic of Formal Inconsistency: How classical can it get?”
- Improving wearable-based fall detection with unsupervised learning
- Generation of Synthetic Data with Conditional Generative Adversarial Networks
- One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process
- Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder
- Test Case Prioritization—ANT Algorithm With Faults Severity
- Extensions in graph normal form
- ‘Sometime a paradox’, now proof: Yablo is not first order
- Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories
- Uncertainty estimation in the forecasting of the 222Rn radiation level time series at the Canfranc Underground Laboratory
- The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion
- Distal learning of the incremental capacity curve of a LiFePO4 battery
- The Impact of Different System Call Representations on Intrusion Detection
- An infinitary axiomatization of dynamic topological logic
- Logics of (In)sane and (Un)reliable Beliefs
- Intelligent models for movement detection and physical evolution of patients with hip surgery
- Complexity of rule sets in mining incomplete data using characteristic sets and generalized maximal consistent blocks
- Patterns of frequent user interactions in blogosphere
- On learning context-aware rules to link RDF datasets
- Machine learning techniques for computer-based decision systems in the operating theatre: application to analgesia delivery
- Detection of forest fires outbreaks by dynamic fuzzy logic controller
- A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags
- Compensating atmospheric turbulence with CNNs for defocused pupil image wavefront sensors
- A hybrid fuzzy clustering approach for diagnosing primary headache disorder
- Hybrid Intelligent Model to Predict the Remifentanil Infusion Rate in Patients Under General Anesthesia
- Orthogonal Learning Firefly Algorithm
- Biometric recognition system performance measures for lossy compression on EEG signals
- Towards real-time DNA biometrics using GPU-accelerated processing
- Developments on PlagZap, the Fast and Free Textual Plagiarism Detection Solution for Universities
- Blockchain-based architecture for the control of logistics activities: Pharmaceutical utilities case study
- Lyndon’s interpolation property for the logic of strict implication
- Saturated models of first-order many-valued logics
- The Axiom of Choice and the Partition Principle from Dialectica Categories
- The Russell-Prawitz embedding and the atomization of universal instantiation
- A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic
- Extensions of paraconsistent weak Kleene logic
- An axiomatic approach to CG′3 logic
- Vector logic allows counterfactual virtualization by the square root of NOT
- When Curry met Abel
- Boolean negation and non-conservativity I: Relevant modal logics
- Boolean negation and non-conservativity II: The variable-sharing property
- Elementary-base cirquent calculus II: Choice quantifiers
- Boolean negation and non-conservativity III: the Ackermann constant
- Natural deduction and semantic models of justification logic in the proof assistant Coq
- The subformula property of natural deduction derivations and analytic cuts
- Conferences
- Why the Axiom of Choice Sometimes Fails
- The complexity of definability by open first-order formulas
- Interactive proof-search for equational reasoning
- Cn algebras with Moisil possibility operators
- Tableaux for essence and contingency
- A bottom-up algorithm for solving ♯2SAT
- On a Weak Conditional
- Abduction and diagrams
- A note on the system GRW with the intensional contraction rule
- Time-stamped claim logic
- Between sentential and model-based abductions: a dialogical approach
- Revisiting separation: algorithms and complexity
- BDI logic applied to a dialogical interpretation of human–machine cooperative dialogues
- The logic of imaginary scenarios
- Transepistemic abduction: reasoning across epistemic domains
- A Semantic Approach to Non-prioritized Belief Revision
- A hybrid ranking ELECTRE algorithm and its applications in agricultural decision-making
- On the application of compression-based metrics to identifying anomalous behaviour in web traffic
- Slope-to-optimal-solution-based evaluation of the hardness of travelling salesman problem instances
- Awareness of and awareness that: their combination and dynamics
- Special issue on logics and artificial intelligence
- Identification of Li-ion battery models through monotonic echo serial networks for coarse data
- Novel email spam detection method using sentiment analysis and personality recognition
- An HMM-based synthetic view generator to improve the efficiency of ensemble systems
- Anomaly detection based on one-class intelligent techniques over a control level plant
- Mining correlated high-utility itemsets using various measures
- A restricted second-order logic for non-deterministic poly-logarithmic time
- Lithium iron phosphate power cell fault detection system based on hybrid intelligent system
- Comparative Study of Imputation Algorithms Applied to the Prediction of Student Performance
- Economical connections between several European countries based on TSP data
- Deep packet inspection for intelligent intrusion detection in software-defined industrial networks: A proof of concept
- Minimal abductive solutions with explicit justification
- Using the Spanish national identity card in social networks
- A novel fuzzy metaheuristic approach in nurse rerostering problem
- Patent retrieval architecture based on document retrieval. Sketching out the Spanish patent landscape
- Argument evaluation in multi-agent justification logics
- Abductive reasoning: let’s Find Out some models
- A flexible logic-based approach to closeness using order of magnitude qualitative reasoning
- Knowledge in action: logico-philosophical approach to linguistic evidentiality
- Missing data imputation over academic records of electrical engineering students
- Abduction and comparative weighing of explanatory hypotheses: an argumentative approach
- Evolutionary Reinforcement Learning for Adaptively Detecting Database Intrusions
- Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs
- On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
- Non-removal strategy for outliers in predictive models: The PAELLA algorithm case
- Wind Power with Energy Storage Arbitrage in Day-ahead Market by a Stochastic MILP Approach
- On Fingerprinting of Public Malware Analysis Services
- Pragmatic logics for hypotheses and evidence
- The logical style painting classifier based on Horn clauses and explanations (ℓ-SHE)
- Governing ignorance through abduction
- Dually hemimorphic semi-Nelson algebras
- The perfect surprise: a new analysis in dynamic epistemic logic
- A resolution calculus for MinSAT
- Modal logic with non-deterministic semantics: Part I—Propositional case
- Clause tableaux for maximum and minimum satisfiability
- Relaxing non-interference requirements in parallel plans
- Corrigendum: The Keisler—Shelah theorem for QmbC through semantical atomization
- Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value
- A proof-search system for the logic of likelihood
- Tracking reasons with extensions of relevant logics
- A hyperintensional logical framework for deontic reasons
- Gentzen sequent calculi for some intuitionistic modal logics
- A modal extension of Jaśkowski’s discussive logic $textbf{D}_textbf{2}$
- Deontic modals and hyperintensionality
- From positive PDL to its non-classical extensions
- Proof theory for quantified monotone modal logics
- An intuitionistic logic for preference relations
- Sequent calculus for 3-valued paraconsistent logic QMPT0
- Semantics for first-order superposition logic
- Editors’ introduction: Special issue on non-classical modal and predicate logics
- Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy
- Propositional quantifiers in labelled natural deduction for normal modal logic
- 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)
- Superrational types
- The logic of linear propositions
- Monadic NM-algebras
- A logical framework for view updating in indefinite databases
- Preservation of choice principles under realizability
- Locally finite monoids in finitely based varieties
- Game-theoretic semantics for non-distributive logics
- Volume I: Recovery operators in logics of formal inconsistency
- Volume II: New advances in Logics of Formal Inconsistency
- Unification in first-order transitive modal logic
- Recovery operators, paraconsistency and duality
- Justification announcements in discrete time. Part II: Frame definability results
- From logics of formal inconsistency to logics of formal classicality
- Enthymematic classical recapture1
- Forcing and satisfaction in Kripke models of intuitionistic arithmetic
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- The computational content of atomic polymorphism
- A game theoretical semantics for a logic of formal inconsistency
- The Keisler–Shelah theorem for $mathsf{QmbC}$ through semantical atomization
- Non-involutive twist-structures
- Theories of truth based on four-valued infectious logics
- Truth in a Logic of Formal Inconsistency: How classical can it get?
- On the logic that preserves degrees of truth associated to involutive Stone algebras
- Non-deterministic algebraization of logics by swap structures1
- Society semantics for four-valued Łukasiewicz logic
- Fraïssé’s theorem for logics of formal inconsistency
- Normality operators and classical recapture in many-valued logic
- Introducing consistency in a dialogical framework for paraconsistent logic
- A note on logics of essence and accident
- Paraconsistency, self-extensionality, modality
- Subvaluationism and classical recapture
- ${LFIs}$ and methods of classical recapture
- Embracing intensionality: Paradoxicality and semi-truth operators in fixed point models
- Probabilistic logic of quantum observations
- Basic propositional logic and the weak excluded middle
- Some lattice-ordered algebras on which all congruences are principal
- Boosting the performance of hybrid Nature-Inspired algorithms: Application from the financial optimization domain
- Extended experimental study on PSO with partial population restart based on complex network analysis
- A hybrid case-based reasoning approach to detecting the optimal solution in nurse scheduling problem
- A flexible and dynamic mobile robot localization approach
- An alternative view for incorporating more scaled differences to differential evolution
- Representation of influence zones in commercial GISs for simulation of directional processes
- Analysing knowledge transfer in SHADE via complex network
- Analogues of Bull’s theorem for hybrid logic
- Evolution of financial network through non-linear coupling of time series
- On categorical equivalences of equality algebras and monadic equality algebras
- Comparing low and medium cost computer-based technologies suitable for cryptographic attacks
- Secure elliptic curves and their performance
- Detecting emotions through non-invasive wearables
- Craig’s trick and a non-sequential system for the Lambek calculus and its fragments
- Rapid tomographic reconstruction through GPU-based adaptive optics
- Study of the malware SCIRS model with different incidence rates
- Localizing finite-depth Kripke models
- Foreground object detection for video surveillance by fuzzy logic based estimation of pixel illumination states
- Modelling the hypnotic patient response in general anaesthesia using intelligent models
- On the simulated annealing adaptation for tasks transportation optimization
- Use of classifiers and recursive feature elimination to assess boar sperm viability
- Gaining deep knowledge of Android malware families through dimensionality reduction techniques
- Towards secure & green two-stage supply chain networks
- Using deep neural networks along with dimensionality reduction techniques to assist the diagnosis of neurodegenerative disorders
- A novel methodology for clinical semantic annotations assessment
- Protecting the application layer in the public domain with machine learning methods
- Yet another paradefinite logic: The role of conflation1
- Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix
- Two decision problems in Contact Logics
- Complexity of finite-variable fragments of propositional modal logics of symmetric frames
- Propositional intuitionistic multiple-conclusion calculus via proof graphs
- Projective unification in transitive modal logics
- Complexity of the interpretability logic IL
- Complexity and expressivity of propositional dynamic logics with finitely many variables
- A many-sorted variant of Japaridze’s polymodal provability logic
- 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
- Stone duality for lattice expansions
- From forcing to satisfaction in Kripke models of intuitionistic predicate logic
- Approaches of linear operators in the intuitionistic fuzzy 2-Banach spaces
- A quick guided tour to the modal logic S4.2
- A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
- On neighbourhood product of some Horn axiomatizable logics
- When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
- A Topological Duality for Tense $boldsymbol{LM_n}$-Algebras and Applications1
- Trees for E
- BL-rings
- Justification announcements in discrete time. Part I: Completeness results
- Gödel’s second incompleteness theorem for Σn-definable theories
- Compactness, colocatedness, measurability and ED
- Pattern-based calculi with finitary matching
- Some structural properties of quasi-degrees
- Propositional superposition logic
- Automatic proof generation in an axiomatic system for $mathsf{CPL}$ by means of the method of Socratic proofs
- Proof systems for BAT consequence relations
- Motion capture systems for jump analysis
- A hybrid intelligent system for the analysis of atmospheric pollution: a case study in two European regions
- Handwritten digit recognition using Neural Networks and dynamic zoning with stroke-based descriptors
- Nature inspired algorithms for solving the community detection problem
- Using principal component analysis to improve earthquake magnitude prediction in Japan
- Mouse dynamics correlates to student behaviour in computer-based exams
- A hybrid clustering and ranking method for best positioned logistics distribution centre in Balkan Peninsula
- Using Dalvik opcodes for malware detection on android
- A fine-grained parallel approach for the registration areas optimization
- A decomposition-based method for solving the clustered vehicle routing problem
- On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices
- A comparison of classification strategies in rule-based classifiers
- Editorial: Special Issue HAIS15-IGPL
- An ensemble algorithm for Kohonen self-organizing map with different sizes
- On the structure theory of Łukasiewicz near semirings
- Improving hotel room demand forecasting with a hybrid GA-SVR methodology based on skewed data transformation, feature selection and parsimony tuning
- Theory of M-system
- The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces
- Logical information theory: new logical foundations for information theory
- Modal dependence logics: axiomatizations and model-theoretic properties
- Decidability of interpretability logics IL M $_0$ and IL W $^*$
- Logically-consistent hypothesis testing and the hexagon of oppositions
- Descriptions in quantum mechanics
- Cut-elimination and deductive polarization in complementary classical logic
- Epistemic extensions of combined classical and intuitionistic propositional logic
- Relatively compatible operations in BCK-algebras and some related algebras
- Minimizing disjunctive normal forms of pure first-order logic
- Decision and optimization problems in the unreliable-circuit logic
- A separable axiomatization of the Gabbay–de Jongh logics