yusuke1997/dblp-id-title huggingface dataset:
Hybridizing two-stage meta-heuristic optimization model with weighted least squares support vector machine for optimal shape of double-arch dams
Fitness landscapes analysis and adaptive algorithms design for traffic lights optimization on SIALAC benchmark
Understanding the problem space in single-objective numerical optimization using exploratory landscape analysis
Modified rough VIKOR based design concept evaluation method compatible with objective design and subjective preference factors
Investigating surrogate-based hybrid acquisition processes. Application to Covid-19 contact mitigation
Soft-computing based diagnostic tool for analyzing demyelination in magnetic resonance images
Fake news detection: A survey of graph neural network methods
Evolutionary neural architecture search based on pre-trained surrogate model
A novel approximate method of computing extended Nash equilibria
Traceable content protection based on chaos and neural networks
A gamified teaching-learning based optimization algorithm for a three-echelon supply chain scheduling problem in a two-stage assembly flow shop environment
Performance based analysis between k-Means and Fuzzy C-Means clustering algorithms for connection oriented telecommunication data
Predictive reinforcement learning in non-stationary environments using weighted mixture policy
Bayesian revision of the individual pair-wise comparison matrices under consensus in AHP-GDM
Text mining with emergent self organizing maps and multi-dimensional scaling: A comparative study on domestic violence
Multi-objective adaptive clonal selection algorithm for solving optimal power flow considering multi-type FACTS devices and load uncertainty
Analysis of vulnerability assessment results based on CAOS
Outlier aware differential evolution for multimodal optimization problems
The Ising genetic algorithm with Gibbs distribution sampling: Application to FIR filter design
Stock trend prediction based on dynamic hypergraph spatio-temporal network
The evolutionary development of roughness prediction models
Hierarchical attention for aspect extraction using LSTM in fine-grained sentiment analysis and evaluation
An offshore photovoltaic risk assessment framework based on probabilistic linguistic multi-criteria decision-making method and consensus-maximizing group information aggregation model
Beyond training horizons: A physics-informed U-Net transformer for time-dependent CO₂ storage simulation in environmental applications
Selecting critical clinical features for heart diseases diagnosis with a real-coded genetic algorithm
A fuzzy-driven genetic algorithm for sequence segmentation applied to genomic sequences
An integrated interval BWM-Markov group decision-making method for third-party reverse logistics providers
Optimizing supply chain network for perishable products using improved bacteria foraging algorithm
A dynamic multiple populations particle swarm optimization algorithm based on decomposition and prediction
COVID-19 outbreak: An ensemble pre-trained deep learning model for detecting informative tweets
A single image deraining algorithm guided by text generation based on depth information conditions
A balanced solution of a fuzzy soft set based decision making problem in medical science
Detection of myocardial infarction in 12 lead ECG using support vector machine
A hyper-heuristic algorithm based on genetic and greedy strategy for university course scheduling problem
Bollinger bands approach on boosting ABC algorithm and its variants
A neural network based on back-propagation and cooperative co-evolution
Application of particle swarm optimization for optimal setting of Phase Shifting Transformers to minimize unscheduled active power flows
Estimation of surface tension of methyl esters biodiesels using computational intelligence technique
Local Latin hypercube refinement for multi-objective design uncertainty optimization
Improving the reliability of test functions generators
A deep neural network based classifier for brain tumor diagnosis
Hypergraph convolutional neural networks for clinical diagnosis of monkeypox infections using skin virological images
Finishing mill strip gage setup and control by interval type-1 non-singleton type-2 fuzzy logic systems
A data-driven understanding of COVID-19 dynamics using sequential genetic algorithm based probabilistic cellular automata
Solving the bi-objective personnel assignment problem using particle swarm optimization
Large-scale group decision-making for prioritizing engineering characteristics in quality function deployment under comparative linguistic environment
Communication-efficient decentralized elastic-net broad learning system based on quantized and censored communications
Automatic recognition of oral vowels in tone language: Experiments with fuzzy logic and neural network models
Iteration-based parameter identification and its applications about distributed parameter systems
A robust rank aggregation method for malicious disturbance based on objective credit
Adaptive molecular docking method based on information entropy genetic algorithm
A data augmentation method for human action recognition using dense joint motion images
A variable neighborhood search approach for the resource-constrained multi-project collaborative scheduling problem
A hybrid method for estimating the process change point using support vector machine and fuzzy statistical clustering
Application of generalized hopfield neural network for the steady state analysis of self-excited induction generators
Modality and Expressibility
The Zhou Ordinal of Labelled Markov Processes over separable Spaces
Relevance Logics and Relation Algebras
Benacerraf's Dilemma and Informal Mathematics
Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics
Foundations of Unlimited Category Theory: What Remains to be Done
Valentini's Cut-Elimination for Provability Logic resolved
Reference digraphs of non-Self-Referential Paradoxes
The Genetic versus the Axiomatic method: Responding to Feferman 1977
Semantics for Pure Theories of Connexive Implication
Equivalences for Truth Predicates
A Simplified Proof of the epsilon theorems
Antirealism and Constructivism: Brouwer's Weak Counterexamples
Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC $\mathbf {MMTL}\boldsymbol {\forall }$
Dynamic Negation and Negative Information
The Logic of Hyperlogic. Part a: Foundations
What is a Restrictive Theory?
The Logic of Resources and Capabilities
Intensionality and Paradoxes in Ramsey's 'the Foundations of Mathematics'
Canonical Formulas for Wk4
Canonicity in Power and Modal Logics of finite Achronal Width
Transitive Primal Infon Logic-ERRATUM
Varieties of de Morgan Monoids: Covers of atoms
Carnap on extremal Axioms, "Completeness of the Models, " and Categoricity
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory
On Quantification and Extensionality
Naive Truth and Restricted Quantification: Saving Truth a whole lot Better
Rereading Tarski on Logical Consequence
Classically Archetypal Rules
Two Level Credibility-Limited Revisions
Towards the Inevitability of non-Classical Probability
Questions in two-dimensional Logic
A Note on two theorems by Adams and McGee
Neighborhood Semantics for Intentional operators
Modal Structuralism and Reflection
A Genuinely Untyped Explanation of Common Belief and Knowledge
Tractarian Logicism: Operations, numbers, Induction
Harmonising Harmony
Solovay-Type theorems for circular Definitions
Relative-sameness counterpart Theory
Modes of convergence to the Truth: Steps toward a Better Epistemology of Induction
Kolmogorov Conditionalizers can be Dutch Booked (if and only if they are Evidentially uncertain)
The Arithmetic of the even and the odd
Standard Bayes Logic is not Finitely Axiomatizable
Is Causal Reasoning Harder than Probabilistic Reasoning?
Compositionality, Computability, and Complexity
On the Termination of Russell's Description Elimination Algorithm
Hereditarily Structurally Complete positive Logics
The Identity of Argument-Places
Restrictiveness Relative to Notions of Interpretation
What Russell Should have said to Burali-Forti
Normalisation for Negative Free Logics without and with Definite Descriptions
Knowledge, Justification, and Adequate Reasons
Self-Reference in Arithmetic I
A Sahlqvist Theorem for Substructural Logic
On Flattening Elimination Rules
Consistency and the Theory of Truth
Necessary and sufficient conditions for domination Results for Proper Scoring Rules
The Relevance of Premises to Conclusions of Core Proofs
Generalized Algebra-Valued Models of Set Theory
Reducing Compositional to Disquotational Truth
Logics above S4 and the Lebesgue Measure Algebra
Unification in superintuitionistic Predicate Logics and its Applications
Propositional Contingentism
Comments on Martin's and Welch's Comments
Truth without contra(di)Ction
Obligation, Free Choice, and the Logic of Weakest Permissions
Transmission of Verification
A Machine-Assisted Proof of Gödel's Incompleteness theorems for the Theory of Hereditarily Finite Sets
Decidable Fragments of the Quantified Argument Calculus
A Dutch Book Theorem and converse Dutch Book Theorem for Kolmogorov Conditionalization
Logics for Propositional Determinacy and Independence
Intuitionistic Epistemic Logic
Interpretation, Logic and Philosophy: Jean Nicod's Geometry in the sensible World
Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs
Positive Fragments of Relevance Logic and Algebras of Binary Relations
Transitive Primal Infon Logic
A note on the Sequent Calculi
Three Different Formalisations of Einstein's Relativity Principle
Some (non)tautologies of łukasiewicz and Product Logic
Two Syllogisms in the Mozi: Chinese Logic and Language
Relevant Consequence Relations: an Invitation
Subformula and separation Properties in Natural Deduction via Small Kripke Models
The Nonarithmeticity of the Predicate Logic of strictly Primitive Recursive Realizability
Conciliatory Reasoning, Self-Defeat, and Abstract Argumentation
Defining Knowledge in Terms of Belief: the Modal Logic Perspective
Privative Negation in the Port Royal Logic
'a Remarkable Artifice': Laplace, Poisson and Mathematical purity
Pluralism in Logic
Proof-Theoretic Semantic Values for Logical operators
Generalized Partial Meet and Kernel contractions
First-order Friendliness
Indicative Conditionals, Restricted Quantification, and Naive Truth
Support for Geometric Pooling
The Ubiquity of conservative Translations
Reassurance for the Logic of Paradox
A Strong Reflection Principle
Incoherence and Inconsistency
Rnmatrices for Modal Logics
Belief Revision, Probabilism, and Logic Choice
Identity and Indiscernibility
Set-Theoretic Bicontextualism
In Good Company? On Hume's Principle and the Assignment of numbers to Infinite Concepts
Hilbert, duality, and the Geometrical roots of Model Theory
Model Theory of Measure Spaces and Probability Logic
Tractarian First-order Logic: Identity and the n-operator
Truth, Logical Validity and Determinateness: a Commentary on field's Saving Truth from Paradox
On Definability in Multimodal Logic
Abstraction Principles and the Size of Reality
Modular Sequent Calculi for interpretability Logics
The Theory of spectrum Exchangeability
On the Syntax of Logic and Set Theory
A note on the Reverse Mathematics of the Sorites
Stit-Logic for Imagination Episodes with voluntary input
Bi-Connexive Logic, Bilateralism, and Negation Inconsistency
On the Notion of Canonical Derivations from Open Assumptions and its Role in Proof-Theoretic Semantics
A Decision procedure for Probability Calculus with Applications
The Logic of Justification
On the Logic of Factual Equivalence
The Expressive Power of Memory Logics
Measuring the Size of Infinite Collections of Natural numbers: was Cantor's Theory of Infinite number Inevitable?
De Morgan Interpretation of the Lambek-Grishin Calculus
Quantified Modal Relevant Logics
Exclusively Indexical Deduction
What can a Categoricity Theorem Tell US?
Non-wellfounded Mereology
Difference-Making Conditionals and the Relevant Ramsey Test
Hume's Principle, Beginnings
An Analysis of the Rules of Gentzen's nJ and LJ
Finite Axiomatizability of Transitive Modal Logics of finite depth and Width with respect to Proper-Successor-Equivalence
Knowledge, Justification, and Adequate Reasons - erratum
Some Remarks on supplementation Principles in the Absence of Antisymmetry
A Neglected Resolution of Russell's Paradox of Propositions
Many-Valued Logic of Informal Provability: a non-Deterministic Strategy
The Concept Horse is a Concept
Brouwer's Weak Counterexamples and Testability: further Remarks
Uniform interpolation in Substructural Logics
Is there a Countable omega-Universal Logic?
A First-order Framework for Inquisitive Modal Logic
Syllogistic Logic with Cardinality comparisons, on Infinite Sets
Generalizing Boolos' Theorem
Plural Quantification Logic: a Critical Appraisal
Character and Object
A note on the Cut-Elimination Proof in "Truth without contra(di)Ction"
Lingua Characterica and Calculus Ratiocinator: the Leibnizian Background of the Frege-Schröder polemic
Quantified intuitionistic Logic over metrizable Spaces
A Simple Sequent System for minimally Inconsistent LP
Imagination, Mereotopology, and Topic Expansion
$\Gamma $ -admissibility in First-order Relevant Logics: Proof using Normal Models in the Mares-Goldblatt Setting
The Genealogy of ''
Cognitive Economics and the Logic of Abduction
Informal Proof, Formal Proof, Formalism
Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties
Testing Definitional Equivalence of Theories via automorphism Groups
Probabilistic Entailment on First order Languages and Reasoning with Inconsistencies
Quantum Team Logic and Bell's inequalities
Conditional Logic is Complete for convexity in the plane
Preference based on Reasons
Modularity in Mathematics
A two-dimensional Logic for two Paradoxes of Deontic Modality
Weak disharmony: some Lessons for Proof-Theoretic Semantics
The Semantics of Value-Range Names and Frege's Proof of Referentiality
Degree Supervaluational Logic
Conservatively Extending Classical Logic with Transparent Truth
Taming the 'elsewhere': on Expressivity of Topological Languages
Some Completeness theorems in the Dynamic Doxastic Logic of Iterated Belief Revision
Naive Set Theory and Nontransitive Logic
De Zolt's postulate: an Abstract Approach
Notes on Bounded Induction for the Compositional Truth Predicate
A note on Choice Principles in second-order Logic
Categorical Foundations of Mathematics or How to Provide Foundations for Abstract Mathematics
Logicality and Meaning
An Axiomatic Theory of Well-Orderings
Universism and Extensions of V
Topology and Modality: the Topological Interpretation of First-order Modal Logic
Axioms for Type-Free subjective Probability
Size and Logic
Two Arguments against the Generic Multiverse
The Modal Logic of Stone Spaces: diamond as derivative
Placing Probabilities of Conditionals in Context
Another Arithmetic of the even and the odd
Nonrepresentable Relation Algebras from Groups
A Probabilistic Semantics for Counterfactuals. Part B
On Truth-Functionality
The Quantified Argument Calculus
Morita Equivalence
From Stenius' Consistency Proof to SCHüTTE's Cut Elimination for ω-Arithmetic
Modality and Axiomatic Theories of Truth I: Friedman-Sheard
Collection Frames for Distributive Substructural Logics
On the Relationship between plane and solid Geometry
Axiomatic Truth, Syntax and Metatheoretic Reasoning
A Probabilistic Semantics for Counterfactuals. Part A
Mereological Bimodal Logics
A Sequent Calculus isomorphic to Gentzen's Natural Deduction
Strong Completeness of S4 for any Dense-in-Itself Metric Space
The Logic of Hyperlogic. Part B: Extensions and Restrictions
Edward Nelson (1932-2014)
Early Structural Reasoning. Gentzen 1932
Expressive Limitations of naïve Set Theory in LP and minimally Inconsistent LP
T-Equivalences for positive Sentences
Reactive Preferential Structures and Nonmonotonic Consequence
Completeness for Counter-doxa Conditionals - using Ranking Semantics
Natural kind Semantics for a Classical essentialist Theory of Kinds
Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic
Logics and Algebras for Multiple Players
Contingency and Knowing Whether
Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore
KF, PKF, and Reinhardt?s Program
Foundations as Truths which Organize Mathematics
Representing Conjunctive Deductions by Disjunctive Deductions
Notes on ω-Inconsistent Theories of Truth in second-order Languages
Models for Official Entailment
Compliance and Command III: Conditional Imperatives
Cut and Gamma I: Propositional and Constant Domain R
The potential in Frege's Theorem
Tychonoff HED-Spaces and Zemanian Extensions of S4.3
RSL volume 17 issue 1 Cover and Front matter
Modeling Occurrences of Objects in Relations
The Expressivity of Factual Change in Dynamic Epistemic Logic
Varieties of class-Theoretic Potentialism
The Logic of Leibniz's Generales Inquisitiones de Analysi Notionum et Veritatum
The potential Hierarchy of Sets
General Notions of Consistency
On Weak Ground
The closing of the Mind: How the particular Quantifier Became Existentially Loaded behind our Backs
Ultimate Truth vis-à-vis stable Truth
Games and Cardinalities in Inquisitive First-Order Logic
On contra-Classical Variants of Nelson Logic N4 and its Classical Extension
Modal Logics of Metric Spaces
Harmonic Inferentialism and the Logic of Identity
The Power of Naive Truth
Infinitary Tableau for Semantic Truth
Dependent Choice, properness, and Generic Absoluteness
Improving Strong Negation
RSL volume 17 issue 1 Cover and Back matter
Coordinate-Free Logic
Logic and Topology for Knowledge, Knowability, and Belief
On Ontology and Realism in Mathematics
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic
On the General Interpretation of First-order Quantifiers
The Pure Logic of Ground
Rules for subatomic Derivation
Against Cumulative Type Theory
Complete additivity and Modal Incompleteness
Model-Theoretic characterization of intuitionistic Propositional Formulas
Capturing Consequence
Field's Saving Truth from Paradox: some Things IT Doesn't do
Transfinite numbers in Paraconsistent Set Theory
Proof Systems for exact Entailment
Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d
Frege's Theory of Real numbers: a Consistent Rendering
The Lattice of Super-Belnap Logics
An Algebraic Approach to Canonical Formulas: intuitionistic Case
Frege Meets Zermelo: a Perspective on ineffability and Reflection
Cut Elimination in Hypersequent Calculus for some Logics of linear Time
A Classical-Modal Interpretation of smooth Infinitesimal Analysis
Anselm's Ontological Argument and Grades of being
What Model Companionship can Say about the continuum Problem
Steel's Programme: evidential Framework, the Core and ultimate- l
Trial and error Mathematics II: Dialectical Sets and Quasidialectical Sets, their Degrees, and their Distribution within the class of Limit Sets
Strongly Millian second-order Modal Logics
Fractional Semantics for Classical Logic
Compliance and Command II, Imperatives and Deontics
Independence Proofs in non-Classical Set Theories
The Copernican Multiverse of Sets
Abstract Forms of Quantification in the Quantified Argument Calculus
Identity and Discernibility in Philosophy and Logic
Nonconglomerability for countably additive Measures that are not κ-additive
Counterfactuals and Propositional Contingentism
Total Logic-ERRATUM
Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype
A Fully Classical Truth Theory characterized by Substructural means
A Correctness Proof for al-BarakāT's Logical Diagrams
The Temporal continuum
Mathematical Rigor and Proof
Transitivity and Intransitivity in evidential Support: some further Results
Paraconsistent Logics Included in Lewis' S4
Against against Nonbeing
The Fine Structure of the intuitionistic Borel Hierarchy
A Bridge between Q-Worlds
Pasch's Philosophy of Mathematics
How Vagueness Could Cut out at any order
Reflexive-Insensitive Modal Logics
Reference in Arithmetic
Arrow's Theorem, Ultrafilters, and Reverse Mathematics
A Study of Truth Predicates in Matrix Semantics
Husserl and Gödel's Incompleteness theorems
Can Modalities Save Naive Set Theory?
Surreal Time and Ultratasks
Logicism, interpretability, and Knowledge of Arithmetic
Effective Inseparability, Lattices, and Preordering Relations
Frege Meets Brouwer (or Heyting or Dummett)
What is a Rule of Inference?
Contextual Logic with Modalities for Time and Space
Truth and Speed-up
A New Argument for Kolomogorov Conditionalization
Harmonious Rules for Identity
A solution to the Surprise Exam Paradox in Constructive Mathematics
On Adopting Kripke Semantics in Set Theory
Szemerédi's Theorem: an Exploration of impurity, Explanation, and Content
Quantified Modal Logic on the Rational Line
Merging of Opinions and Probability kinematics
A Natural Deduction System for Orthomodular Logic
Fractional-Valued Modal Logic
Cut Elimination and Normalization for generalized single and Multi-Conclusion Sequent and Natural Deduction Calculi
Obligation as Weakest Permission: a strongly Complete Axiomatization
Temporal Interpretation of Monadic Intuitionistic Quantifiers
Axioms for Finite collapse Models of Arithmetic
Subject-Matter and Intensional operators III: State-Sensitive subject-Matter and Topic Sufficiency
Strict finitism, Feasibility, and the Sorites
The Prospects of Unlimited Category Theory: Doing What Remains to be Done
Generality and existence 1: Quantification and Free Logic
Infinitary Propositional Relevant Languages with Absurdity
'Chasing' the Diagram - the Use of Visualizations in Algebraic Reasoning
An Expressivist Analysis of the Indicative Conditional with a restrictor Semantics
An Argument for conjunction Conditionalization
Distances between Formal Theories
On three-Valued Presentations of Classical Logic
Decomposing generalized Quantifiers
Sequent Calculi for some Trilattice Logics
Full Mereogeometries
Two-Sorted Frege Arithmetic is not conservative
Natural Axioms for Classical Mereology
Seventeenth-Century Scholastic Syllogistics. Between Logic and Mathematics?
Bisimulations for Knowing How Logics
On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras
Point-Free Geometry, ovals, and half-planes
Analytic Cut and interpolation for bi-intuitionistic Logic
A Logic of Justification and Truthmaking
Externalism, internalism, and Logical Truth
Mathematical Inference and Logical Inference
A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder
Relevance for the Classical Logician
A Note on Theories for quasi-Inductive Definitions
Abstractionist Categories of Categories
A Modal Translation for Dual-intuitionistic Logic
Conceptual Distance and Algebras of Concepts
Peirce's Calculi for Classical Propositional Logic
People with Common Priors can agree to Disagree
Completeness of second-order Propositional S4 and H in Topological Semantics
Unfolding Finitist Arithmetic
Formal Epistemology, Context and Content: Introduction to Special Issue on Recent Developments in Formal Epistemology
The Logic of Joint Ability in two-Player Tacit Games
Inversion by Definitional Reflection and the Admissibility of Logical Rules
Orthomodular-Valued Models for quantum Set Theory
Addenda et corrigenda to "the Arithmetic of the even and the odd"
Gödel on Many-Valued Logic
Supervaluation on Trees for Kripke's Theory of Truth
Recognizing Strong Random Reals
When no Price is Right
A Recovery operator for Nontransitive Approaches
Small Infinitary Epistemic Logics
Relevance Logic and the Calculus of Relations
Outcome Level Analysis of Belief Contraction
On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency
Strong Completeness of Modal Logics over 0-dimensional Metric Spaces
On Zardini's Rules for multiplicative Quantification as the Source of contra(di)Ctions
Global supervenience in Inquisitive Modal Logic
Self-Reference in Arithmetic II
Proving Unprovability