yusuke1997/dblp-id-title huggingface dataset:
An Abstract Approach to Consequence Relations
Varieties of positive Modal Algebras and Structural Completeness
Appropriate Causal Models and the stability of Causation
Expressible Semantics for Expressible Counterfactuals
The Logic of Partitions: Introduction to the Dual of the Logic of Subsets
Bolzano's Mathematical Infinite
Normal Derivability in Classical Natural Deduction
Ibn Sīnā on Reductio Ad Absurdum
A Formalization of Kant's Transcendental Logic
A note on the Learning-Theoretic Characterizations of Randomness and convergence
Leibniz's Mereology: a Logical Reconstruction
Cut-Free Sequent Calculi for the Provability Logic d
Completeness via Correspondence for Extensions of the Logic of Paradox
Tabularity and Post-Completeness in Tense Logic
The Modal Logic of Set-Theoretic Potentialism and the Potentialist Maximality Principles
An Algebraic Approach to Inquisitive and DNA-LOGICS
A Substructural Gentzen Calculus for Orthomodular quantum Logic
A three-Valued Quantified Argument Calculus: Domain-Free Model-Theory, Completeness, and Embedding of FOL
Cardinal Arithmetic in the Style of Baron von MüNchhausen
Nonrepresentable Relation Algebras from Groups - addendum
Non-Well-Founded Derivations in the Gödel-löB Provability Logic
Grzegorczyk Points and filters in Boolean contact Algebras
Proof Systems for various FDE-based Modal Logics
Probabilistic stability, AGM Revision operators and Maximum Entropy
Operands and Instances
Ontological purity for Formal Proofs
Logics for the Relational Syllogistic
Action Types in STIT Semantics
Formal Qualitative Probability
A Mathematical Commitment without Computational strength
Substitution in Relevant Logics
Non-Factive Kolmogorov Conditionalization
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account
Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox
Dynamic Graded Epistemic Logic
Three Forms of Physical Measurement and their Computability
Finitary upper Logicism
Naive Truth and Naive Logical Properties
Set Theory and a Model of the Mind in Psychology
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?
Substructural Inquisitive Logics
Self-Reference Upfront: a Study of Self-Referential Gödel Numberings
A Learning-Theoretic characterisation of Martin-löF Randomness and Schnorr Randomness
For Better and for Worse. Abstractionism, Good Company, and Pluralism
A Unified Theory of Truth and Paradox
The Logic of Information in State Spaces
'Knowable' as 'known after an announcement'
A note on the existence of Ratifiable Acts
Set Size and the Part-whole Principle
Evidential Support, Transitivity, and Screening-off
Predicativism as a Form of Potentialism
Plans and Planning in Mathematical Proofs
First-order Relevant Reasoners in Classical Worlds
Belief-Revision, the Ramsey Test, monotonicity, and the so-Called Impossibility Results
Some observations about generalized Quantifiers in Logics of Imperfect Information
Logical Contextuality in Frege
Four Basic Logical Issues
Triangulating non-Archimedean Probability
Mathematical Methods in Philosophy Editors' Introduction
Some observations on Truth Hierarchies: a correction
Paradoxes of Intensionality
Everyone Knows that someone Knows: Quantifiers over Epistemic Agents
Three Characterizations of Strict Coherence on Infinite-Valued Events
Logics from Ultrafilters
Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities
Absolute Contradiction, dialetheism, and Revenge
Satisfaction Classes with Approximate Disjunctive Correctness
RSL volume 18 issue 1 Cover and Back matter
On the Infinite in Mereology with Plural Quantification
Algebraic Semantics for Relative Truth, Awareness, and possibility
Total Logic
Compliance and Command I - Categorical Imperatives
Logic for exact Entailment
Logics for Propositional Contingentism
The Prehistory of the Subsystems of second-order Arithmetic
Further Results on the Intransitivity of evidential Support
Pure Logic of Iterated Full Ground
Beyond Linguistic Interpretation in Theory Comparison
Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields
Cut for Classical Core Logic
Rigour and Proof ? Corrigendum
Three Model-Theoretic Constructions for generalized Epstein Semantics
Some observations on Truth Hierarchies
On the Truth-convergence of Open-Minded Bayesianism
Structural equations and beyond
The Ambiguity of Knowability
How to Express Self-Referential Probability. A Kripkean Proposal
Cut for Core Logic
Non-contractive Logics, Paradoxes, and multiplicative Quantifiers
Disjunction and existence Properties in Modal Arithmetic
What is the Correct Logic of Necessity, actuality and apriority?
Transfinite Cardinals in Paraconsistent Set Theory
Models of positive Truth
Voluntary Imagination: a Fine-Grained Analysis
Intransitivity and Vagueness - Corrigendum
Minimal Truth and interpretability
Neighbourhood Canonicity for Ek, eCK, and Relatives: a Constructive Proof
Leibniz on Bodies and infinities: RERUM Natura and Mathematical Fictions
Axioms for Grounded Truth
Canonicity Results of Substructural and Lattice-based Logics
On the Ontological Commitment of Mereology
Exceptional Logic
Contractions of noncontractive Consequence Relations
There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras
On the Probabilistic Convention T
Russellian Definite Description Theory - a Proof Theoretic Approach
Motivated Proofs: What they are, Why they Matter and How to Write them
Minimal Modal Logics, Constructive Modal Logics and their Relations
An Algorithmic Impossible-Worlds Model of Belief and Knowledge
Bilateral Relevant Logic
Modal Models for Bradwardine's Theory of Truth
Positive Logic with adjoint Modalities: Proof Theory, Semantics, and Reasoning about Information
The Inadequacy of a Proposed Paraconsistent Set Theory
Modality and Axiomatic Theories of Truth II: Kripke-Feferman
The Functions of Russell's no class Theory
Counting to infinity: Graded Modal Logic with an infinity Diamond
Proof Mining and the Convex Feasibility Problem: the Curious Case of Dykstra's Algorithm
Arrow Update Logic
Another Look at the second Incompleteness Theorem
Epistemic Multilateral Logic
Bunder's Paradox
Proof-Theoretic Analysis of the Quantified Argument Calculus
Structural Properties of Qualitative and Quantitative Accounts to Coherence
The Algebras of Lewis's Counterfactuals: Axiomatizations and Algebraizability
Indispensability Arguments and instrumental Nominalism
From Causal Models to Counterfactual Structures
The Review of Symbolic Logic
Hume's Principle, Bad Company, and the Axiom of Choice
Weakly Classical Theories of Identity
The Set-Theoretic Multiverse
Hierarchical Incompleteness Results for Arithmetically Definable Extensions of Fragments of Arithmetic
Formal Representations of Dependence and Groundedness
Expected Content
A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability
Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability
O is not Enough
On the Structure of Bochvar Algebras
Priority Merge and Intersection Modalities
Sentences, Belief and Logical Omniscience, or What does Deduction Tell US?
The Modal Logic of Stepwise removal
Modal Logic without Contraction in a Metatheory without Contraction
Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic
The Universal Set and Diagonalization in Frege Structures
Strong Completeness of a First-order Temporal Logic for Real Time
Rigour and Proof
On pathological Truths
Belief Revision in non-Classical Logics
Binary Kripke Semantics for a Strong Logic for Naive Truth
Meta-Classical non-Classical Logics
On Morita Equivalence and interpretability
Calculizing Classical Inferential erotetic Logic
The Expressive Power of Truth
RSL volume 18 issue 1 Cover and Front matter
Cumulativity without Closure of the Domain under Finite Unions
Exploring the Landscape of Relational Syllogistic Logics
On the invariance of Gödel's second Theorem with regard to Numberings
The Logic of the evidential Conditional
First-order possibility Models and Finitary Completeness Proofs
Gödel's Theorem and Direct Self-Reference
Super Liars
Juxtaposition: a New Way to Combine Logics
An Intensional Leibniz Semantics for Aristotelian Logic
Incompleteness via Paradox and Completeness
We Hold these Truths to be Self-Evident: but What do we mean by that?
Semantic Pollution and Syntactic purity
Carnap's Problem for Modal Logic
Formulas in Modal Logic S4
From Real Analysis to the Sorites Paradox via Reverse Mathematics
Proof Analysis for Lewis Counterfactuals
Neither Categorical NOR Set-Theoretic Foundations
The Generic Multiverse is not going Away
The Semantic Foundations of Philosophical Analysis
Revision Revisited
On Existential Declarations of Independence in if Logic
Complexity of the Infinitary Lambek Calculus with Kleene Star
Ramsification and Semantic Indeterminacy
Remarks on Naive Set Theory based on LP
Carnap's Defense of Impredicative Definitions
Logic in the Tractatus
Dynamic Consequence and Public announcement
The Relevant Fragment of First order Logic
Frege's Constraint and the Nature of Frege's Foundational Program
Many-Valued Modal Logics: a Simple Approach
Belnap-Dunn Modal Logics: Truth constants vs. Truth Values
Universes and univalence in homotopy Type Theory
The Classical Continuum without Points - CORRIGENDUM
Completeness Results for some two-Dimensional Logics of actuality
Quantified Logic of Awareness and Impossible Possible Worlds
The iterative conception of Set
LP+, K3+, FDE+, and their 'Classical Collapse'
Aggregation and Idempotence
On Formalizing Causation based on Constant conjunction Theory
Reply to Bjørdal
What stands between Grounding Rules and Logical Rules is the Excluded Middle
Reward versus Risk in uncertain Inference: theorems and simulations
Dedekind and Hilbert on the Foundations of the Deductive Sciences
Conservativity of Heyting Implication over Relevant Quantification
The Development of Gödel's Ontological Proof
Reasoning with Protocols under imperfect Information
Matrix-based Logic for Application in Physics
Plural Ancestral Logic as the Logic of Arithmetic
Restricted interpolation and Lack thereof in STIT Logic
Agreement theorems for Self-Locating Belief
A Cut-Free Simple Sequent Calculus for Modal Logic S5
Truth-Functionality
On Analogues of the Church-Turing Thesis in Algorithmic Randomness
Ramsey's Test, Adams' Thesis, and Left-Nested Conditionals
Failure of Beth's Theorem in Relevance Logics
Doing without Action Types
Dynamic Hyperintensional Belief Revision
The Bounded Fragment and Hybrid Logic with Polyadic Modalities
Categorical Harmony and Path Induction
The Peripatetic Program in Categorical Logic: Leibniz on Propositional Terms
Wittgenstein's Elimination of Identity for Quantifier-Free Logic
Uniform Definability in Propositional Dependence Logic
Analyticity and Syntheticity in Type Theory Revisited
Epistemic Entrenchment-based Multiple contractions
Existential graphs as an Instrument of Logical Analysis: Part I. Alpha
Connexive Implications in Substructural Logics
Dynamic Hyperintensional Belief Revision - erratum
Suszko's Problem: mixed Consequence and Compositionality
An "I" for an I: singular Terms, uniqueness, and Reference
Generic Large Cardinals as Axioms
Classical counterpossibles
A Logic for 'Because'
Probabilistic Conditionals are Almost Monotonic
Certain Modern Ideas and Methods: "Geometric Reality" in the Mathematics of Charlotte Angas Scott
Logical grounds
Is Cantor's Theorem a Dialetheia? Variations on a Paraconsistent Approach to Cantor's Theorem
Deductive Cardinality Results and nuisance-like Principles
Stalnaker's Thesis in Context
Completeness of Åqvist's Systems E and F
Axiomatizing Semantic Theories of Truth?
Axioms for Determinateness and Truth
The Large Structures of Grothendieck Founded on finite-order Arithmetic
A second Philosophy of Arithmetic
Believing Epistemic Contradictions
Embracing the Technicalities: Expressive Completeness and Revenge
Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names
Preservation of Admissible Rules when Combining Logics
Translations between linear and Tree Natural Deduction Systems for Relevant Logics
Conservation as Translation
Stable Modal Logics
Accuracy and UR-Prior Conditionalization
The Logic and Topology of Kant's Temporal continuum
Strong Homomorphisms, Category Theory, and Semantic Paradox
General Properties of Bayesian Learning as Statistical Inference determined by Conditional Expectations
The Subformula Property in Classical Natural Deduction established constructively
Introduction to Author Meets Critics Session on Saving Truth from Paradox
Unprincipled
Trial and error Mathematics I: Dialectical and Quasidialectical Systems
Instantial Neighbourhood Logic
Multiple-Conclusion LP and Default classicality
Gradational accuracy and nonclassical Semantics
The Logic of sequence Frames
Relative Categoricity and Abstraction Principles
How a Semantics for Tonk Should be
Decidability of Independence-Friendly Modal Logic
Models of Pt- with Internal Induction for total Formulae
A Simple Approach towards Recapturing Consistent Theories in Paraconsistent Settings
Formalization, Primitive Concepts, and purity
Two (or three) Notions of finitism
An Algebraic Proof of Completeness for Monadic fuzzy Predicate Logic Mmtl∀ - erratum
Von Neumann's Consistency Proof
Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF
The Classical continuum without Points
Ineffability and Revenge
Statistical learning based blind image watermarking approach
MCFS: Min-cut-based feature-selection
Learning missing instances in latent space for incomplete multi-view clustering
ProxyMatting: Transformer-based image matting via region proxy
A lightweight ensemble discriminator for Generative Adversarial Networks
What identifies different age cohorts in Yahoo! Answers?
USER: User-Side modality representation enhancement for multimodal recommendation
Multi-label feature selection based on label correlations and feature redundancy
Two-stage approach for reliable dynamic Web service composition
Graph Anomaly Detection via Multi-Level Information Alignment and Decoupling
CLVIN: Complete language-vision interaction network for visual question answering
Fitness and historical success information-assisted binary particle swarm optimization for feature selection
Feature hallucination via Maximum A Posteriori for few-shot learning
Alpha entropy search for new information-based Bayesian optimization
Multi-view graph neural network with cascaded attention for lncRNA-miRNA interaction prediction
Pruning boosted classifiers with a real valued genetic algorithm
Multi-modal Robustness Fake News Detection with Cross-Modal and Propagation Network Contrastive Learning
Versatile correlation learning for size-robust generalized counting: A new perspective
Soft labeling constraint for generalizing from sentiments in single domain
Evolutionary Population Dynamics and Grasshopper Optimization approaches for feature selection problems
The new HCI? navigation of information space
Hill Climb Modular Assembler Encoding: Evolving Modular Neural Networks of fixed modular architecture
Graph indexing for large networks: A neighborhood tree-based approach
FlowWiki: A wiki based platform for ad hoc collaborative workflows
A knowledge-based scheduling system for Emergency Departments
A framework for adapting online prediction algorithms to outlier detection over time series
3D hierarchical dual-attention fully convolutional networks with hybrid losses for diverse glioma segmentation
Statistics-based approach for large-scale group decision-making under incomplete Pythagorean fuzzy information with risk attitude
Novel metrics for computing semantic similarity with sense embeddings
Online and offline based load balance algorithm in cloud computing
TSASNet: Tooth segmentation on dental panoramic X-ray images by Two-Stage Attention Segmentation Network
Con2Vec: Learning embedding representations for contrast sets
An entropy-based neighbor selection approach for collaborative filtering
QC2-VQG: Question context complement for visual question generation
Transfer learning for regression via latent variable represented conditional distribution alignment
Incorporating domain-specific knowledge into a genetic algorithm to implement case-based reasoning adaptation
AITFuse: Infrared and visible image fusion via adaptive interactive transformer learning
Deep learning detection of anomalous patterns from bus trajectories for traffic insight analysis
Ord-MAP criterion: Extending MAP for ordinal classification
Extensive evaluation of transformer-based architectures for adverse drug events extraction
On extracting data from tables that are encoded using HTML
Concurrent learning adaptive boundary observer design for linear coupled hyperbolic partial differential equation systems
A class-aware supervised contrastive learning framework for imbalanced fault diagnosis
Privacy and evolutionary cooperation in neural-network-based game theory
Competition under manufacturer service and price in fuzzy environments
ViMantic , a distributed robotic architecture for semantic mapping in indoor environments
Reusability of simulation models
An integrated knowledge-based system for urban planning decision support
Diarrhoea outpatient visits prediction based on time series decomposition and multi-local predictor fusion
HCDC-SRCF tracker: Learning an adaptively multi-feature fuse tracker in spatial regularized correlation filters framework
Exploring better target for shadow detection
Compatible and incompatible abstractions in Bayesian networks
Twin Q-learning-driven forest ecosystem optimization for feature selection
SMDE: Unsupervised representation learning for time series based on signal mode decomposition and ensemble
CMG2Vec: A composite meta-graph based heterogeneous information network embedding approach
Optimizing a multi-vendor multi-retailer vendor managed inventory problem: Two tuned meta-heuristic algorithms
Gender inclusive language generation framework: A reasoning approach with RAG and CoT
Document-level event extraction from Italian crime news using minimal data
ES development environments enhanced
Unsupervised social event detection via hybrid graph contrastive learning and reinforced incremental clustering
Reduced gene subset selection based on discrimination power boosting for molecular classification
Active learning through label error statistical methods
DECA: Dual error curves analysis for out-of-distribution detection via low-rank decomposition
Deep neural network compression by Tucker decomposition with nonlinear response
An empirical study of topic-sensitive probabilistic model for expert finding in question answer communities
Attribute reduction based on max-decision neighborhood rough set model
DeepTSQP: Temporal-aware service QoS prediction via deep neural network and feature integration
Neural network-enabled discovery of mapping between variables and constraints for autonomous repair-based constraint handling in multi-objective structural optimization
Knowledge-guided two-stage memetic search for the pickup and delivery traveling salesman problem with FIFO loading
Multi-task SAR image processing via GAN-based unsupervised manipulation
Hyper lightweight neural networks towards spike-driven deep residual learning
MultiEmo: Multi-task framework for emoji prediction
Formal concept analysis as a support technique for CBR
Adaptive feature fusion for time series classification
HQ-DCGAN: Hybrid quantum deep convolutional generative adversarial network approach for ECG generation
Dynamic knowledge graph reasoning based on deep reinforcement learning
White Shark Optimizer: A novel bio-inspired meta-heuristic algorithm for global optimization problems
Learning filtering rulesets for ranking refinement in relevance feedback
IA-SUWO: An Improving Adaptive semi-unsupervised weighted oversampling for imbalanced classification problems
Augmentation of the reconstruction performance of Fuzzy C-Means with an optimized fuzzification factor vector
A novel space contraction based on evolutionary strategy for economic dispatch
Discovering entity inheritance relationships in document stores
Learning an enhanced consensus representation for multi-view clustering via latent representation correlation preserving
SurvELM: An R package for high dimensional survival analysis with extreme learning machine
Composition Analyzer: support tool for composition analysis on painting masterpieces
A new model of evaluating concept similarity
Joint orthogonal symmetric non-negative matrix factorization for community detection in attribute network
Philosophy and artificial intelligence : T C Moody
1-Dimensional Polynomial Neural Networks for audio signal related problems
Smart radio - community based music radio
Heterogeneous domain adaptation by Features Normalization and Data Topology Preserving
Design knowledge representation and control for the structural design of ships
Extension to a fuzzy cognitive maps-based approach for modelling granular time series for forecasting tasks
An uncertainty and density based active semi-supervised learning scheme for positive unlabeled multivariate time series classification
Structural regularization in quadratic logistic regression model
Intelligent knowledge engineering systems
AGENTS: object-oriented prolog system for cooperating knowledge-based systems
IRTF: A new tensor factorization for irregular multidimensional data recovery
Efficiently mining high utility itemsets with negative unit profits
FACT: Federated Adaptive Cross Training
Multi-scale feature enhanced spatio-temporal learning for traffic flow forecasting
CSDD-Net: A cross semi-supervised dual-feature distillation network for industrial defect detection
PGNet: A Part-based Generative Network for 3D object reconstruction
A gradient approach for value weighted classification learning in naive Bayes
A hybrid model to support decision making in emergency department management
Robust multiclass least squares support vector classifier with optimal error distribution
Social context summarization using user-generated content and third-party sources
Synthesizing global and local perspectives in contrastive learning for graph anomaly detection
Physically-guided temporal diffusion transformer for long-term time series forecasting
Reduction of large-scale graphs: Effective edge shedding at a controllable ratio under resource constraints
SW: A weighted space division framework for imbalanced problems with label noise
A sequential multi-fidelity metamodeling approach for data regression
Hybrid modeling in pattern recognition and control
Contextual security awareness: A context-based approach for assessing the security awareness of users
A data-driven approximate causal inference model using the evidential reasoning rule
Multitask learning for acoustic scene classification with topic-based soft labels and a mutual attention mechanism
Task scheduling in cloud computing based on hybrid moth search algorithm and differential evolution
Enhanced symbiotic organisms search algorithm for unrelated parallel machines manufacturing scheduling with setup times
A dual learning-based recommendation approach
SMFK-DPC: Enhanced density peak clustering by the weighted Manhattan distance
A novel method for point cloud completion: Adaptive region shape fusion network
The effect of context-dependent information and sentence constructions on perceived humanness of an agent in a Turing test
An analysis on new hybrid parameter selection model performance over big data set
Attention-based unsupervised prompt learning for SAM in leaf disease segmentation
Predicting protein secondary structure using a mixed-modal SVM method in a compound pyramid model
Deep generative models for reject inference in credit scoring
Channel exchange and adversarial learning guided cross-modal person re-identification
Which cascade is more decisive in rumor detection on social media: Based on comparison between repost and reply sequences
Structural chain of thoughts for radiology education