yusuke1997/dblp-id-title huggingface dataset:
ORSTAT: Software for operations research and statistics
Tail asymptotics for M/G/1-type queueing processes with light-tailed increments
Capacitated lot-sizing problem with outsourcing
Duality with multiple criteria and multiple resources
The APX-hardness of the Traveling Tournament Problem
Finite horizon linear quadratic dynamic games for discrete-time stochastic systems with N-players
Generalized assignment problem: Truthful mechanism design without money
Ramsey theory and integrality gap for the independent set problem
Approximation algorithms for scheduling a single machine to minimize total late work
Convergence of multiperiod equilibrium calculations, with geometric distributed lag demand
Partially observable multistage stochastic programming
Online bin packing with delay and holding costs
Stochastic multi-commodity network design: The quality of deterministic solutions
Exact relaxations for parametric robust linear optimization problems
Consecutive expansions of k-out-of-n systems
A linear relaxation algorithm for solving the sum-of-linear-ratios problem with lower dimension
Separating from the dominant of the spanning tree polytope
Explicit expressions for moments of waiting times in Poisson driven deterministic two-node tandem queues with blocking
Echelon-stock (R, nT) control in two-stage serial stochastic inventory systems
Approximation algorithms for the metric maximum clustering problem with given cluster sizes
Calculating the M/G/1 busy-period density and LIFO waiting-time distribution by direct numerical transform inversion
Analysis of the symmetric join the shortest orbit queue
A stochastic model for optimizing crowdfunding campaign success
An improved approximation algorithm for requirement cut
Minimizing flow time on a constant number of machines with preemption
A hybrid genetic algorithm for the repetition free longest common subsequence problem
Reduction of total-cost and average-cost MDPs with weakly continuous transition probabilities to discounted MDPs
Optimization of a convex program with a polynomial perturbation
On the optimal control of a two-queue polling model
A optimal power control strategy based on network wisdom in wireless networks
Shifted matroid optimization
Refining diffusion approximations for queues
Incremental and encoding formulations for Mixed Integer Programming
Uniform bounds on the limiting and marginal derivatives of the analytic center solution over a set of normalized weights
Existence, uniqueness, and convergence of the regularized primal-dual central path
Strategic behavior in a time-limited Markovian polling queue with service rate regeneration
Improved approximation of maximum vertex cover
On stability of collaborative supplier selection
On dependent randomized rounding algorithms
An inexact column-and-constraint generation method to solve two-stage robust optimization problems
On the fluctuations of simple matching
A superlinearly convergent projection algorithm for solving the convex inequality problem
Some asymptotic properties of the Erlang-C formula in many-server limiting regimes
The M/D/1+D queue has the minimum loss probability among M/G/1+G queues
Managing multi-customer service level requirements with a simple rationing policy
Parametric axiom of associated consistency
Greedy Differencing Edge-Contraction heuristic for the Max-Cut problem
Busy period analysis for M / G /1 and G / M /1 type queues with restricted accessibility
The transient solution to M / E k /1 queue
Optimality-based clustering: An inverse optimization approach
Algorithms for fair k -clustering with multiple protected attributes
Generic stability of Nash equilibria for noncooperative differential games
Exact asymptotics in an infinite-server system with overdispersed input
Efficient nested pricing in the simplex algorithm
Contraction and revision
The Classical and Maximin Versions of the Two-Envelope Paradox
First degree formulas in quantified S5
From Collapse Theorems to Proof-Theoretic Arguments
Remark on Relevant Arithmetic
A review of proposed principles of causal non-monotonic reasoning
Arithmetic Formulated in a Logic of Meaning Containment
A note on the logic of Turing's halting paradox
Ehrenfeucht-Fraïssé games without identity
The Stories of Logics
On Artifacts and Truth-Preservation
Strict/Tolerant Family Continued: Quantifiers and Modalities
Justification of Argumentation Schemes
Hybrid Deduction-Refutation Systems for FDE-Based Logics
The Consistency of Arithmetic
A note on formalizing discussive logic
Mathematical and Physical Continuity
Boolean Conservative Extension Results for some Modal Relevant Logics
A Guide to Ivan Orlov's "The calculus of the compatibility of propositions"
Richard Routley, "Semantic Analysis of Entailment and Relevant Implication: I"
The Urgency of the Greening of Ethics
Alien Intruders in Relevant Arithmetic
An atomic theory with no prime models
Review: Eckart Menzler-Trott's - Logic's Lost Genius: The Life of Gerhard Gentzen
Cantor's Proof in the Full Definable Universe
Is there a need for intrinsic values in conservation biology?
Introduction to the special issue 'Valerie Plumwood's contributions to Logic'
The D-Completeness of T→
Playing cards with Hintikka An introduction to dynamic epistemic logic
Introduction to Special Issue in Honour of Robert Goldblatt
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic
Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
Paraconsistent Measurement of the Circle
Extending Metacompleteness to Systems with Classical Formulae
On Forms of Justification in Set Theory
Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality
Remarks on "Random Sequences"
Review: H. van Ditmarsch, W. van der Hoek and B. Kooi's Dynamic Epistemic Logic
Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi
Geometry of Relevant Implication II
Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC
Forcing with Non-wellfounded Models
A Variety of DeMorgan Negations in Relevant Logics
Information Flow in Logics in the Vicinity of BB
Not so deep inconsistency: a reply to Eklund
Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan's Mate Function
Incompactness of the A1 Fragment of Basic second order Propositional Relevant Logic
Rethinking Negation for Transformative Models of Identity-Thinking
A note on negation inconsistent variants of FDE-negation
Limiting Cases for Spectrum Closure Results
Reflections on Routley's Ultralogic Program
A quasi-relevant, connexive 4-valued implicative expansion of Belnap-Dunn logic defining material connexive logic MC
Note on the signed occurrences of propositional variables
Truthmakers, Incompatibility, and Modality
Relevant Logics Obeying Component Homogeneity
Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
Paraconsistent resolution
There is no Logical Negation: True, False, Both, and Neither
AJL Comment: One Philosopher is Correct (Maybe)
The Completeness of Carnap's Predicate Logic
Non-Classical Circular Definitions
FDE Circumscription
Logically Impossible Worlds
Sylvan's Bottle and other Problems
Logical Theory Choice: The Case of Vacuous Counterfactuals
A Note on R-Mingle and the Danger of Safety
The Boxdot Conjecture and the Language of Essence and Accident
Proving Induction
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics
On the Irrationality of the Square Root of 2
An abstract approach to reasoning about games with mistaken and changing beliefs
Paraconsistent Vagueness: Why Not?
Reduction in first-order logic compared with reduction in implicational logic
Towards Paraconsistent Inquiry
Bayesian confirmation, connexivism and an unkindness of ravens
Solutions to Some Open Problems from Slaney
A Note on Identity and Higher Order Quantification
On a Suggested Logic for Paraconsistent Mathematics
A Rejection System for the First-Degree Formulae of some Relevant Logics
A Normalized Natural Deduction System for the Logic MC
Pure Refined Variable Inclusion Logics
S (for Syllogism) Revisited: "The Revolution Devours its Children"
Negation as Cancellation, Connexive Logic, and qLPm
In Support of Valerie Plumwood
Fraenkel-Carnap Questions for Equivalence Relations
Modal Formulas True at Some Point in Every Model
Fixed-Point Models for Theories of Properties and Classes
Models of Relevant Arithmetic
The Logic of Internal Rational Agent
Feminist Logic, Literally
Metametaphysics and Dialetheism
Relevant Arithmetic
Relevance via decomposition
Logical Pluralism Hollandaise
Categorical Abstract Algebraic Logic: Equivalential π-Institutions
Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#
A Logic for Vagueness
Modeling Deep Disagreement in Default Logic
A Note on Goddard and Routley's Significance Logic
Semantic Decision Procedures for Some Relevant Logics
Starting the Dismantling of Classical Mathematics
Boole's indefinite symbols re-examined
non-transitive relevant implication corresponding to classical logic consequence
Non-representable relation algebras from vector spaces
Remarks on Ontological Dependence in Set Theory
Modal Meinongianism and Object Theory: A Reply to Bueno and Zalta
A Note on Priest's Mereology
Tonk Strikes Back
On Not Saying What We Shouldn't Have to Say
Models for Substructural Arithmetics
"A Smack of Irrelevance" in Inconsistent Mathematics?
Inexpressiveness of First-Order Fragments
What If? The Exploration of an Idea
BCI-Algebras and Related Logics
Resolving Quine's Confict: A Neo-Quinean View of the Rational Revisability of Logic
The Paradox Paradox Non-Paradox and Conjunction Fallacy Non-Fallacy
The McKinsey-Lemmon logic is barely canonical
Grounding rules and (hyper-)isomorphic formulas
Two-valued logics for naive truth theory
The Law of Excluded Middle and Berry's Paradox... Finally
Two-Dimensional Tableaux
A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics
Basic Relevant Theories for Combinators at Levels I and II
Review: Vagueness and Degrees of Truth
The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras
The Evolution of Chihara's Anti-Nominalistic Nominalism: Regarding the Existence of Mathematical Objects
A Semi-Constructive Approach to the Hyperreal Line
Propositional Identity and Logical Necessity
From Paradox to Judgment: towards a metaphysics of expression
Hybridized Paracomplete and Paraconsistent Logics
What are acceptable reductions?: Perspectives from proof-theoretic semantics and type theory
Berry's Paradox... Again
Logics without the contraction rule and residuated lattices
Church-Rosser property and intersection types
Worlds and Models in Bayart and Carnap
Takeuti's Well-ordering Proof: An Accessible Recontruction
Bayesians sometimes cannot ignore even very implausible theories (even ones that have not yet been thought of)
Content and Depth Revisited
Paraconsistency and its Philosophical Interpretations
The Law of Non-Contradiction as a Metaphysical Principle
A Recipe for Paradox
Four Variables Suffice
Flexibility in Ceteris Paribus Reasoning
On three-valued logics with the variable sharing property
Translatable Self-Reference
Three Schools of Paraconsistency
The Boxdot Conjecture and the Generalized McKinsey Axiom
On the Negative Disjunction Property
Revisiting McKinsey's 'Syntactical' Construction of Modality
Reply to Beall and Priest
Multi-sorted version of second order arithmetic
Ontological Syncretistic Noneism
(In Some Fictions) Everything is True
Minimally Nonstandard K3 and FDE
From Hilbert proofs to consecutions and back
Inference as doxastic agency. Part II: Ramifications and refinements
Anti-Exceptionalism about Logic: Introduction
Some False Laws of Logic
Plurivalent Logics
Another plan for negation
Logical dynamics meets logical pluralism?
Substructural Negations
From Excluded Middle to Homogenization in Plumwood's Feminist Critique of Logic
Off-Topic: A New Interpretation of Weak-Kleene Logic
Intersection Type Systems and Logics Related to the Meyer-Routley System B+
Full-blooded anti-exceptionalism about logic
Representing Counterparts
Complement-Topoi and Dual Intuitionistic Logic
Collapsing Arguments for Facts and Propositions
Reflections on Brady's Logic of Meaning Containment
Algebra-valued models for LP-set theory
Introduction to the Issue
Boulesic-Doxastic Logic
Skolem Functions in Non-Classical Logics
Fixed-point models for paradoxical predicates
Metaphysics of Routley Star
Introduction: Approaching Sylvan and this Collection of Articles
Relevant Arithmetic and Mathematical Pluralism
Interpreting mereotopological connection
Sosein as Subject Matter
Negated Implications in Connexive Relevant Logics
Modal Noneism: Transworld Identity, Identification, and Individuation
Power Matrices and Dunn-Belnap Semantics: Reflections on a Remark of Graham Priest
Tree Trimming: Four Non-Branching Rules for Priest's Introduction to Non-Classical Logic
Natural Derivations for Priest, An Introduction to Non-Classical Logic
Notes on Some Ideas in Lloyd Humberstone's Philosophical Applications of Modal Logic
Possibility Frames and Forcing for Modal Logic
Linear Algebra Representation of Necker Cubes I: The Crazy Crate
Modal Predicates
Relevant Implication and Ordered Geometry
Strong Depth Relevance
Evans' Argument and Vague Objects
Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics
Anti-Exceptionalism about Logic
Review: Warren Goldfarb's Deductive Logic
Minimal-Inconsistency Tolerant Logics: A Quantitative Approach
Content of Content Semantics
On Williamson's new Quinean argument against nonclassical logic
Fictional Modality and the Intensionality of Fictional Contexts
Dissolving the Paradoxicality Paradox
Classical Logic is Connexive
Exploring Routley's Nuclear Meinongianism and Beyond
The Liberation Argument for Inconsistent Mathematics
A multiplicative ingredient for omega-inconsistency
Condorcet-Style Paradoxes for Majority Rule with Infinte Candidates
Rough Consequence and other Modal Logics
Val (Routley) Plumwood: Work in Logic
Free lattices proof-theoretically
Paraconsistent games and the limits of rational self-interest
From depth relevance to connexivity
Consistency and Decidability in Some Paraconsistent Arithmetics
2 Set-up Ternary Relational Semantics for the Companions to Brady's 4-valued logic BN4
Two Temporal Logics of Contingency
Relevance through topical unconnectedness: Ackermann and Plumwood's motivational ideas on entailment
Some non-standard interpretations of the axiomatic basis of Leśniewski's Ontology
Robert Meyer's Publications on Relevant Arithmetic
Possibility Semantics for Intuitionistic Logic
Non-Canonical Models of Relevant Logics
Bi-Modal Naive Set Theory
What Counts as Evidence for a Logical Theory?
Arithmetic Formulated Relevantly
Expressive Three-valued Truth Functions
Being a woman and wanting to be a woman
60% Proof Lakatos, Proof, and Paraconsistency
The Adoption Problem and Anti-Exceptionalism about Logic
Proof Invariance: Embedding Hyperformalism in Justifications
Relevance Logic: Problems Open and Closed
Burn all your textbooks
Against Reflective Equilibrium for Logical Theorizing
A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification
Omega-inconsistency without cuts and nonstandard models
Semantics for Counterpossibles
Merge: In Honour of Robert K. Meyer
A Note on the Relevance of Semilattice Relevance Logic
Set-Theoretic Dependence
Discriminator logics (Research announcement)
Some Interrelations between Geometry and Modal Logic
Ordered pair semantics and negation in LP
The Calculus of the Compatibility of Propositions
Old Wine in (Somewhat Leaky) New Bottles: Some Comments on Beall
Threshold-Based Belief Change: Rankings and Semiorders
Goedel's Property Abstraction and Possibilism
A Poor Concept Script
Modular labelled calculi for relevant logics
Immune Logics
Neighborhood Semantics for Logics of Unknown Truths and False Beliefs
Linear Algebra Representation of Necker Cubes II: The Routley Functor and Necker Chains
Adding to Relevant Restricted Quantification
Review: Frank Markham Brown's Boolean Reasoning: The Logic of Boolean Equations
Understanding Christine Ladd-Franklin's Logic
An Analysis of Inconsistent and Incomplete Necker Cubes
Completeness of Pledger's modal logics of one-sorted projective and elliptic planes
The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers
Constant Domain Quantified Modal Logics Without Boolean Negation
A Farewell to Fragility: Critical Notice of Gillian K. Russell, Barriers to Entailment
Resilience by structural entrenchment: Dynamics of single-layer and multiplex networks following sudden changes to tie costs
Characterizing ego-networks using motifs
Collaborative production networks among unequal actors
Mixed-membership of experts stochastic blockmodel
Egonets as systematically biased windows on society
Centralities for networks with consumable resources
Coding communications across time: Documenting changes in interaction patterns across adopter categories
What is network science?
Introduction to the special issue on COMPLEX NETWORKS 2018
"The framily plan": Characteristics of ties described as both "friend" and "family" in personal networks
Epidemic potential by sexual activity distributions
The roles actors play in policy networks: Central positions in strongly institutionalized fields
Bayesian dynamic modeling and monitoring of network flows
Community structure: A comparative evaluation of community detection methods
Colorful path detection in vertex-colored temporal
Clustering attributed graphs: Models, measures and methods
Superbubbles as an empirical characteristic of directed networks
An improved MCMC algorithm for generating random graphs from constrained distributions
Algorithms for generating large-scale clustered random graphs
Imitation, network size, and efficiency
The art of interconnections: Achieving maximum algebraic connectivity in multilayer networks
Establishing social cooperation: The role of hubs and community structure
The embeddedness of social capital in personal networks
Energy and resilience: The effects of endogenous interdependencies on trade network formation across space among major Japanese firms
Graph-based methods for discrete choice
Exact recovery of Granger causality graphs with unconditional pairwise tests
Expanding the boundaries of interdisciplinary field: Contribution of Network Science journal to the development of network science
Space, time, and the development of shared leadership networks in multiteam systems
Roles of egos' and siblings' perceptions of maternal favoritism in adult children's depressive symptoms: A within-family network approach
The decomposed affiliation exposure model: A network approach to segregating peer influences from crowds and organized sports
Strong and weak tie homophily in adolescent friendship networks: An analysis of same-race and same-gender ties
Understanding node-link and matrix visualizations of networks: A large-scale online experiment
Statistical evaluation of spectral methods for anomaly detection in static networks
The stochastic actor-oriented model is a theory as much as it is a method and must be subject to theory tests
Homophily in the formation and development of learning networks among university students
EndNote: Feature-based classification of networks
Transitions between peace and systemic war as bifurcations in a signed network dynamical system
Robustness and modular structure in networks
Opinion-based centrality in multiplex networks: A convex optimization approach
Interplay between signaling network design and swarm dynamics
Sampling methods and estimation of triangle count distributions in large networks
Power-relational core-periphery structures: Peripheral dependency and core dominance in binary and valued networks
A variable neighborhood search method for a two-mode blockmodeling problem in social network analysis
Structure of complex networks: Quantifying edge-to-edge relations by failure-induced flow redistribution
Examining the literature on "Networks in Space and in Time." An introduction
Diversity, networks, and innovation: A text analytic approach to measuring expertise diversity
Audience selection for maximizing social influence
Social influence on 5-year survival in a longitudinal chemotherapy ward co-presence network
All that glitters is not gold: Relational events models with spurious events
Vulnerability and power on networks
Evolution of cooperation in networks with well-connected cooperators
Choosing the number of groups in a latent stochastic blockmodel for dynamic networks
A simplest mathematics of turn-taking: Conversational deep structure, emergence, and permeation
Isolation concepts applied to temporal clique enumeration
A general model for how attributes can reduce polarization in social groups
MAPPing dark networks: A data transformation method to study clandestine organizations
NWS volume 9 issue 4 Cover and Back matter
Continuous latent position models for instantaneous interactions
Dynamic network prediction
Toward random walk-based clustering of variable-order networks
Homophily, influence and the decay of segregation in self-organizing networks
Faster MCMC for Gaussian latent position network models
Market formation as transitive closure: The evolving pattern of trade in music
Understanding collaboration patterns on funded research projects: A network analysis
Random effects in dynamic network actor models
A multi-purposed unsupervised framework for comparing embeddings of undirected and directed graphs
NWS volume 10 issue 2 Cover and Front matter
Influence of "traveling" youth and substance use behaviors in the social networks of homeless youth
Social network and temporal discounting
Large very dense subgraphs in a stream of edges
Asymptotic behavior of the node degrees in the ensemble average of adjacency matrix
Introduction to the special issue on multilayer networks
Political isolation in America
Network polarization: The study of political attitudes and social ties as dynamic multilevel networks
Friendship networks and adolescent pregnancy: Examining the potential stigmatization of pregnant teens
Personal networks and psychological attributes: Exploring individual differences in personality and sense of community and their relationship to the structure of personal networks
Multilevel social spaces: The network dynamics of organizational fields
Inferring structure in bipartite networks using the latent blockmodel and exact ICL
How teams adapt to exogenous shocks: Experimental evidence with node knockouts of central members
Brokerage-based attack on real world temporal networks
Segregated mobility patterns amplify neighborhood disparities in the spread of COVID-19
The coevolution of networks and health: Introduction to the Special Issue of Network Science
Stars, holes, or paths across your Facebook friends: A graphlet-based characterization of many networks
A model of collaboration network formation with heterogeneous skills
Temporal evolution of the degree distribution of alters in growing networks
Separable and semiparametric network-based counting processes applied to the international combat aircraft trades
A local perspective on community structure in multilayer networks
Centrality and social domains: The role of support, conflict, and ambivalence in the perception of linguistic similarity
Focus statistics for testing network centrality on uncorrelated random graphs
Multilayer network games: A cooperative approach
Measuring directed triadic closure with closure coefficients
What we publish
Trust and manipulation in social networks
Stability of centrality measures in valued networks regarding different actor non-response treatments and macro-network structures
Portrait of Political Party Polarization
Artificial Benchmark for Community Detection (ABCD) - Fast random graph model with community structure
Properties of latent variable network models
A pairwise strategic network formation model with group heterogeneity: With an application to international travel
Familiar faces, familiar spaces: Social similarity and co-presence in non-relational behavioral convergence