Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case: Label: en
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning: Label: en
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link: Label: en
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope: Label: en
Blockchain-based land registry platforms: a survey on their implementation and potential challenges: Label: en
Fake news detection platform—conceptual architecture and prototype: Label: en
Randomness study of the concatenation of generalized sequences: Label: en
Insider attack detection in database with deep metric neural network with Monte Carlo sampling: Label: en
A new approach for writer verification based on segments of handwritten graphemes: Label: en
On directional accuracy of some methods to forecast time series of cybersecurity aggregates: Label: en
Detection and nudge-intervention on sensitive information in social networks: Label: en
Ethereum-based decentralized car rental system: Label: en
Unsupervised network traffic anomaly detection with deep autoencoders: Label: en
SPECIAL ISSUE CISIS 2020-IGPL: Label: en
Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?": Label: en
Complexity of the interpretability logics ILW and ILP: Label: en
Logic of informal provability with truth values: Label: en
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers: Label: en
Remarks about the unification types of some locally tabular normal modal logics: Label: en
The relevance logic of Boolean groups: Label: en
On weak filters and ultrafilters: Set theory from (and for) knowledge representation: Label: en
Algorithmic correspondence for hybrid logic with binder: Label: en
Linear temporal justification logics with past and future time modalities: Label: en
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning: Label: en
Mining correlated high-utility itemsets using various measures: Label: en
Special issue: HAIS16-IGPL: Label: en
Corrigendum: The Keisler—Shelah theorem for QmbC through semantical atomization: Label: en
Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value: Label: en
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy: Label: en
Propositional quantifiers in labelled natural deduction for normal modal logic: Label: en
Superrational types: Label: en
The logic of linear propositions: Label: en
Monadic NM-algebras: Label: en
A logical framework for view updating in indefinite databases: Label: en
Editorial: Special issue CISIS 2016: Label: en
Secure elliptic curves and their performance: Label: en
Study of the malware SCIRS model with different incidence rates: Label: en
Cut and Weakening in Fuzzy Horn Logic: Label: en
Relational Databases with Ordered Relations: Label: en
Łukasiewicz Logic: From Proof Systems To Logic Programming: Label: en
Neural Network Learning as an Inverse Problem: Label: en
A Generalized Concept Lattice: Label: en
Mathematical Fuzzy Control. A Survey of Some Recent Results: Label: en
On Evolving of Recursive Functions using λ-abstraction and Higher-order Functions: Label: en
Fuzzy Closure Operators with Truth Stressers: Label: en
A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma: Label: en
Duality via Truth: Semantic frameworks for lattice-based logics: Label: en
On Some Varieties of MTL-algebras: Label: en
A non-arithmetical Gödel logic: Label: en
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages: Label: en