yusuke1997/dblp-id-title huggingface dataset:
Nature inspired algorithms for solving the community detection problem
Collective intelligence approaches in interactive evolutionary multi-objective optimization
The Logic of Informational Independence and Finite Models
Counterfactuals and modus tollens in abductive arguments
How can logic best be applied to arguments?
An Introduction to Basic Arithmetic
On the complexity of Bounded Second-Order Unification and Stratified Context Unification
A quick guided tour to the modal logic S4.2
Some Classes Containing a Fork Algebra Equivalent Variety Involving Projections
On a Simple 3-valued Modal Language and a 3-valued Logic of ' not-fully-justified ' Belief
Multi-agent reinforcement learning based algorithm detection of malware-infected nodes in IoT networks
Semipositive LTL with an Uninterpreted Past Operator
A Language for Handling Hypothetical Updates and Inconsistency
Soft computing models to identify typical meteorological days
The logics of individual Medvedev frames
Editorial: Special issue HAIS20
Cybersecurity trends in cooperative, connected and automated mobility
Finite axiomatizability of logics of distributive lattices with negation
Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion
Analysing knowledge transfer in SHADE via complex network
On Fingerprinting of Public Malware Analysis Services
Cyclic proofs for the first-order µ-calculus
Justifying induction on modal μ-formulae
Editorial: Special Issue HAIS 2022
The logic of conditionals on outback trails
Novel adaptive approach for anomaly detection in nonlinear and time-varying industrial systems
The logic of orthomodular posets of finite height
Sign-based image criteria for social interaction visual question answering
A novel variable neighborhood descent algorithm for service restoration in radial electrical distribution networks
The generation of abductive explanations from inconsistent theories
Ontology expansion: appending with extracted sub-ontology
Logical and Philosophical Remarks on Quasi-Set Theory
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot
Writing out unifiers for formulas with coefficients in intuitionistic logic
Algorithmic correspondence for hybrid logic with binder
Collective agency, direct action and dynamic operators
26th Workshop on Logic, Language, Information and Computation(WoLLIC 2019)
A Non-Standard Injection Between Canonical Frames
A Structural Property on Modal Frames Characterizing Default Logic
On the Foundations of Corecursion
A novel methodology for clinical semantic annotations assessment
Supervised machine learning for the detection of troll profiles in twitter social network: application to a real case of cyberbullying
Source code obfuscation with genetic algorithms using LLVM code optimizations
Robust schedules for tardiness optimization in job shop with interval uncertainty
Mining correlated high-utility itemsets using various measures
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images
Complexity of finite-variable fragments of propositional modal logics of symmetric frames
On the Logic of Information Flow
Talking about Explicit Databases in Categorial Grammar
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
Linear logic model of state revisited
Gödel's second incompleteness theorem for Σ n -definable theories
Epistemic extensions of combined classical and intuitionistic propositional logic
On atomicity of free algebras in certain cylindric-like varieties
Aristotle's dilemma
Undecidable problems for propositional calculi with implication
Contenability and the Logic of Consequential Implication
Modal Foundations for Predicate Logic
The Weak Normalization of the Simply Typed lambda- s e -calculus
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4
Preservation of choice principles under realizability
Using the Internal Logic of a Topos to Model Search Spaces for Problems
A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4
Cut Might Cautiously
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
Important Issues in Foundational Formalisms
For a dynamical approach to human computation
Automatic proof generation in an axiomatic system for $$\mathsf{CPL}$$ by means of the method of Socratic proofs
Structure optimization of reservoir networks
Secure elliptic curves and their performance
Belnap's Four-Valued Logic and De Morgan Lattices
On equality and natural numbers in Cantor-Łukasiewicz set theory
Evolutionary Reinforcement Learning for Adaptively Detecting Database Intrusions
Boolean negation and non-conservativity III: the Ackermann constant
Relating Intuitionist Negation and Triviality
An alternative approach for quasi-truth
Extended semantics and inference for the Independent Choice Logic
On the logic that preserves degrees of truth associated to involutive Stone algebras
Similarity Convergence in Residuated Structures
Belief Revision Controlled by Meta-abduction
BL-rings
On some questions of L. Åqvist
Formalizing Belief Revision in Type Theory
Crossover operators for permutations equivalence between position and order-based crossover
Natural Deduction for "Generally"
Tableau Calculus for Local Cubic Modal Logic and it's Implementation
Logics Modulo Theories: a logical framework for multi-agent systems
Base-extension semantics for intuitionistic sentential logic
Non-deterministic algebraization of logics by swap structures1
Irrevocable Belief Revision and Epistemic Entrenchment
Some properties of maximal sets
Compositionality and Complexity in Multiple Negation
Why the Axiom of Choice Sometimes Fails
Saturatedness in Cylindric Algebraic Model Theory
Towards secure & green two-stage supply chain networks
On structural completeness versus almost structural completeness problem: A discriminator varieties case study
On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
Combination of fuzzy control and reinforcement learning for wind turbine pitch control
The weight of competence under a realistic loss function
ElectrApp: Deep learning framework to enhance cardiac arrhythmia detection
Representations of regular double Stone algebras: theory and applications
Design and implementation of parallel self-adaptive differential evolution for global optimization
Deontic logic (adapted) for normative conflicts
A Collective Extension of Relational Grammar
Reasoning about Knowledge and Belief: A Syntactical Treatment
Models for anodic and cathodic multimodalities
Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix
Completion and amalgamation of bounded distributive quasi lattices
A Useful Substructural Logic
On 'Most' and 'Representative': Filter Logic and Special Predicates
Blockchain self-update smart contract for supply chain traceability with data validation
A Relational Model for Temporal Logic
Applying highly space efficient blacklisting to mobile malware
Test Case Prioritization - ANT Algorithm With Faults Severity
Restriction in Program Algebra
Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects
Time series forecasting with model selection applied to anomaly detection in network traffic
Using the Spanish national identity card in social networks
${LFIs}$ and methods of classical recapture
Two proposals for group signature schemes based on number theory problems
Intuitionistic Sequent Calculi for Finitely Many-valued Logics
Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics
Fibring Modal First-Order Logics: Completeness Preservation
Modal Frame Characterization by Way of Auxiliary Modalities
Modal logic with non-deterministic semantics: Part I - Propositional case
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007
On Minimal Models
Quasi-subtractive varieties: Open filters, congruences and the commutator
Does collective rationality entail efficiency?
Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop
Using principal component analysis to improve earthquake magnitude prediction in Japan
Carnapian truthlikeness
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning
Propositional quantifiers in labelled natural deduction for normal modal logic
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0
Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993
Solving stochastic programming problems using modified differential evolution algorithms
The subformula property of natural deduction derivations and analytic cuts
Remarks about the unification type of several non-symmetric non-transitive modal logics
Syntactic characterizations of completeness using duals and operators
Collective trust and normative agents
A new principle in the interpretability logic of all reasonable arithmetical theories
Non-contingency in a paraconsistent setting
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link
A novel method for anomaly detection using beta Hebbian learning and principal component analysis
Exploratory techniques to analyse Ecuador's tourism industry
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations
On Cylindric Algebras Satisfying Merry-go-round Properties
On Extensions of Elementary Submodels by Forcing
Bayesian epistemic values: focus on surprise, measure probability!
Elementary-base cirquent calculus II: Choice quantifiers
Abduction in Semantic Space: Towards a Logic of Discovery
Order-Based Inference in Natural Logic
Labelled Proof Nets for the Syntax and Semantics of Natural Languages
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
Constructive aspects of Riemann's permutation theorem for series
BDI logic applied to a dialogical interpretation of human-machine cooperative dialogues
TagRanker: learning to recommend ranked tags
The Russell-Prawitz embedding and the atomization of universal instantiation
Insolvency prediction for assessing corporate financial health
Extensions in graph normal form
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I
The category of MV-pairs
Functoriality of the Schmidt construction
Entity alignment via summary and attribute embeddings
Generalised Tribonacci hybrid quaternions
Mobile executions of Slow DoS Attacks
Editorial: Relational approaches to knowledge representation and learning
Abduction with Dialogical and Trialogical Means
Abduction, conversational implicature and misleading in human dialogues
Interpolation property and homogeneous structures
Proposal and comparison of network anomaly detection based on long-memory statistical models
Extensions of paraconsistent weak Kleene logic
Special issue on logics and artificial intelligence
Influence of autoencoder latent space on classifying IoT CoAP attacks
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics
Self-extensional three-valued paraconsistent logics have no implication
Protecting the application layer in the public domain with machine learning methods
Yet another paradefinite logic: The role of conflation1
Neutrosophic 2-absorbing primary ideals on lattices
Underspecified Discourse Representation Structures and their Logic
Omniscience, sequential compactness, and the anti-Specker property
Hierarchical logical consequence
The higher dimensional propositional calculus
Sequent Calculi for Some Strict Implication Logics
Editorial: Special issue CISIS 2016
AGM-like paraconsistent belief change
Signalling in independence-friendly logic
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics
Algorithms for finding coalitions exploiting a new reciprocity condition
Temporal Approach to Causal Knowledge
Concurrent Inference through Dual Transformation
Cryptanalysis of a key refreshment scheme for multicast protocols by means of genetic algorithm
Representability in Default Logic
Comparing low and medium cost computer-based technologies suitable for cryptographic attacks
First-order unification in the PVS proof assistant
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
Optimal gain tuning of PI speed controller in induction motor drives using particle swarm optimization
Gentzen-type sequent calculus for modal logic S5
Editorial: Special Issue HAIS 2021
Intersection types for lambda-terms and combinators and their logics
Criteria of Identity and their Logical Form
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features
A Sufficient Condition for the Finite Model Property of Modal Logics above K4
Detection of transiting exoplanets and phase-folding their host star's light curves from K2 data with 1D-CNN
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network
Defeasible inheritance systems and reactive diagrams
Sequent calculus for 3-valued paraconsistent logic QMPT0
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)
Dialectical Argumentation for Reasoning about Chemical Carcinogenicity
Global and saturated probabilistic approximations based on generalized maximal consistent blocks
Ockham Algebras with Additional Operators
n-Dependency: dependency diversity in anatomised microdata tables
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference
Indecomposability of R and R\{0} in Constructive Reverse Mathematics
Enhancing the effectiveness of Web Application Firewalls by generic feature selection
Integrity Constraints Revisited
Universal vs. particular reasoning: a study with neuroimaging techniques
On second-order characterizability
Representability and Program Construction within Fork Algebras
Towards enhanced monitoring framework with smart predictions
QMML: Quantified Minimal Modal Logic and Its Applications
Mathematical pluralism
Two decision problems in Contact Logics
A bio-inspired robust controller for a refinery plant process
Skolemization in intermediate logics with the finite model property
HpsUL is not the logic of pseudo-uninorms and their residua
Clause tableaux for maximum and minimum satisfiability
Tarski's Undefinability Theorem and the Diagonal Lemma
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices
On neighbourhood product of some Horn axiomatizable logics
Substructural Logics in Natural Deduction
Optimized network for detecting burr-breakage in images of milling workpieces
Truth approximation via abductive belief change
Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?"
First-Order Tableaux with Sorts
Strong, universal and provably non-trivial set theory by means of adaptive logic
A first constructive look at the comparison of projections
Boundedly finite-to-one functions
A Computationally Grounded Logic of Visibility, Perception, and Knowledge
Tableaux for structural abduction
Abductive Reasoning and Linguistic Meaning
Editorial: Special Issue CISIS14-IGPL
Editorial: Special issue SOCO-CISIS 2017-IGPL
On the structure theory of Łukasiewicz near semirings
A combinatorial version of the Svenonius theorem on definability
An alternative view for incorporating more scaled differences to differential evolution
Intelligent models for movement detection and physical evolution of patients with hip surgery
Jónsson-style canonicity in distributive modal µ -calculus
On the Emergence of Reasons in Inductive Logic
An Indian logic-based argument representation formalism for knowledge-sharing
Tableaux for essence and contingency
Linear Explicit Substitutions
Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97)
Normal Gentzen Deductions in the Classical Case
First Order Meta Theories
On nonrepresentable G -polyadic algebras with representable cylindric reducts
The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant
An Inductive Theorem on the Correctness of General Recursive Programs
Different approaches for the detection of SSH anomalous connections
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
A logic for reasoning about responsibility
A Pseudo-Deterministic Noisy Extremal Optimization algorithm for the pairwise connectivity Critical Node Detection Problem
Solving a Two-stage Supply Chain Network Design Problem with Fixed Costs by a Hybrid Genetic Algorithm
Proof systems for BAT consequence relations
Adaptive logics: a parametric approach
Knowledge in action: logico-philosophical approach to linguistic evidentiality
Answer Sets and Qualitative Optimization
Weak arithmetical interpretations for the Logic of Proofs
Tabu search and genetic algorithm in rims production process assignment
The attack as strong negation, part I
On the Equational Theory of Representable Polyadic Equality Algebras
Gentzen sequent calculi for some intuitionistic modal logics
On the number of variables in undecidable superintuitionistic propositional calculi
A hybrid qualitative approach for relative movements
Automatic Learning of Proof Methods in Proof Planning
Revisiting separation: Algorithms and complexity
Transition Logic Revisited
Tracking and classification performances in the bio-inspired asymmetric and symmetric networks
The logic of distributive bilattices
Social and swarm aspects of co-authorship network
Tracking reasons with extensions of relevant logics
An innovative framework for supporting content-based authorship identification and analysis in social media networks
Extending the Hegselmann-Krause Model I
Incremental Information State Updates in an Obligation-Driven Dialogue Model
Replacing Modus Ponens With One-Premiss Rules
Abducing Abduction
A resolution calculus for MinSAT
Software implementation of the SNOW 3G Generator on iOS and Android platforms
Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
Probabilistic Entailment and a Non-Probabilistic Logic
A Proof-theoretic Treatment of Assignments
Editorial: Special issue on non-classical modal and predicate logics
Decomposition of multiple AGM contraction: possibility and impossibility results
Disjunctions and Specificity in Suppositional Defeasible Argumentation
Representing quantum structures as near semirings
A Fast Deterministic Algorithm for Formulas That Have Many Satisfying Assignments
Constructive version of Boolean algebra
Editorial: Special issue on non-classical mathematics
Modified LDA vector and feedback analysis for short query Information Retrieval systems
The Class of Neat Reducts is Not Elementary
Hybrid Firefly Model in Routing Heterogeneous Fleet of Vehicles in Logistics Distribution
Algebraic logic for the negation fragment of classical logic
Products, or How to Create Modal Logics of High Complexity
Another Neighbourhood Semantics for Intuitionistic Logic
Equivalence and quantifier rules for logic with imperfect information
Uncertainty estimation in the forecasting of the 222 Rn radiation level time series at the Canfranc Underground Laboratory
The logic languages of the TPTP world
On a super large fixed-point of common information in multi-agent signalling games
Tarski's theorem and liar-like paradoxes
An observer-based approach to the sorites paradox and the logic derived from that
Simple heuristics for enhancing GP learning
Relational dual tableau decision procedure for modal logic K
Partiality and Games: Propositional Logic
Weak Continuity Properties in Constructive Analysis
Symmetric operators on modal pseudocomplemented De Morgan algebras
An Analysis of Empirical Testing for Modal Decision Procedures
Natural deduction for the finite least fixed point logic with an infinitary rule
Modal Matters for Interpretability Logics
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers
On Indistinguishability and Prototypes
The Hybrid Logic of Linear Set Spaces
Complete Axiomatisations of Properties of Finite Sets
A complete logic for Database Abstract State Machines1
Performance assessment and analysis of DNS tunneling tools
Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" . Logic Journal of the IGPL, 16(6): 585-590(2008)
Black widow optimization for reducing the target uncertainties in localization wireless sensor networks
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions
Microservices architecture to enable an open platform for realizing zero defects in cyber-physical manufacturing
Deductive coherence and norm adoption
Changing legal systems: legal abrogations and annulments in Defeasible Logic
Lyndon's interpolation property for the logic of strict implication
Detecting false testimonies in reputation systems using self-organizing maps
Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application
Independence Results in Algebraic Logic
Hybrid logics with Sahlqvist axioms
J-MADeM, a market-based model for complex decision problems
Back and Forth Between Modal Logic and Classical Logic
Structures and Structural Realism
Profiling DNS tunneling attacks with PCA and mutual information
Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency
Editorial: Special Issue CISIS 2021
Intuitionistic propositional logic with Galois connections
Mathematical Fuzzy Control. A Survey of Some Recent Results
Proof Systems for 3-valued Logics Based on Gödel's Implication
On Evolving of Recursive Functions using lambda-abstraction and Higher-order Functions
Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic
Improving hotel room demand forecasting with a hybrid GA-SVR methodology based on skewed data transformation, feature selection and parsimony tuning
An application of a theorem of Rothmaler
Hybrid Categorial Logics
A Note on Logical Relations Between Semantics and Syntax
Ranking and unranking algorithms for loopless generation of t -ary trees
Cut-free Double Sequent Calculus for S5
Towards Structurally-Free Theorem Proving
A hybrid ranking ELECTRE algorithm and its applications in agricultural decision-making
Verification for ASP denotational semantics: A case study using the PVS theorem prover
Boosting the performance of hybrid Nature-Inspired algorithms: Application from the financial optimization domain
Generalized truth values.: A reply to Dubois
Equivalence among RC-type paraconsistent logics
Some 3-Dimensional Systems of Labelled Deduction
Secure traveling salesman problem with intelligent transport systems features
Equality-free Logic: The Method of Diagrams and Preservation Theorems
A Rapprochement between Deductive and Inductive Logic
FCA-based reasoning for privacy
Recovery operators, paraconsistency and duality
Study of infostealers using Graph Neural Networks
Distance Based Revision of Preferential Logics
Weak subintuitionistic logics
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II
Chang's L(stroke) * Logic
Morph Moulder: Teaching Software for HPSG and Description Logics
Forcing and satisfaction in Kripke models of intuitionistic arithmetic
Editorial: Neuro-symbolic Algorithms and Models for Bio-inspired Systems
Temporal Patterns and Modal Structure
The Stable Forking Conjecture in Homogeneous Model Theory
Classical Negation can be Expressed by One of its Halves
Decidability and complexity for ω-regular properties of stochastic systems
From the research on logics without tautologies (part 1)
On the Computational Intractabilityof Analytic Tableau Methods
Data streams classification using deep learning under different speeds and drifts
Paraconsistentization and many-valued logics
Situated Modeling of Epistemic Puzzles