yusuke1997/dblp-id-title huggingface dataset:
A model decomposition approach for a manufacturing enterprise in Business Process Reengineering
Partition five-axis surface machining of CFRP laminate structures considering fiber orientation
Multi-agent behavioral evolutionary game analysis of digital twin technology adoption in manufacturing enterprises
The integrated use of information and stocks in the management of uncertain lumpy demand
A reference model of 'operate' processes for process-based change
Project-oriented resource assignment: from business process modelling to business process instantiation with operational performance consideration
Cloud-based big data analytics platform using algorithm templates for the manufacturing industry
A hybrid algorithm combining genetic algorithm and variable neighborhood search for process sequencing optimization of large-size problem
ICIF: an inter-cloud interoperability framework for computing resource cloud providers in factories of the future
Measurement-based updating of turbine blade CAD models: a case study
A comparison study of three degree-of-freedom parallel robotic machine tools with/without actuation redundancy
Enhancing production system resilience with digital twin-driven management
A case-practice-theory-based method of implementing energy management in a manufacturing factory
A simulated annealing-based optimization approach for integrated process planning and scheduling
Setting production capacities for production agents making selfish routing decisions
Rapid end-of-arm-tooling manufacturing of vacuum grippers
Leveraging product design and development in manufacturing using technology function deployment approach
Business process interoperability and collaborative performance measurement
Automation of Kanban modelling through object-oriented visual-interactive simulation
A novel method for supplier selection by two competitors, including multiple criteria
Improved engineering design concept selection using fuzzy sets
Gene expression programming based meta-modelling approach to production line design
Operator control activities in flexible manufacturing systems Part 2
Context-sensitive optimisation of the key performance indicators for FMS
Process planning as an integration of knowledge in the detailed design phase
Predictive maintenance: assessment of potentials for residential heating systems
Energy consumption awareness in manufacturing and production systems
Ant algorithms: web-based implementation and applications to manufacturing system problems
Integrating flexible-interval preventive maintenance planning with production scheduling
Experimental and analytical evaluation of tool path error using computer integrated nonlinear kinematical modeling for a 4DOF parallel milling machine
An integration methodology for automated recurring cost prediction using digital manufacturing technology
A universal enterprise manufacturing services maturity model: a case study in a Chinese company
The effect of information mobility on production quality
The adaptation of product cost estimation techniques to estimate the cost of service
A generic ontology development framework for data integration and decision support in a distributed environment
Adaptive neuro-fuzzy inference system with analytic hierarchy process: an application for drawworks' failure mode and effect analysis
A study of the fabrication of v-groove structure in ultra-precision milling
A clustering network-based approach to service composition in cloud manufacturing
Life cycle data management: first step towards a new product lifecycle management standard
An ontology-based architecture for implementing semantic integration of supply chain management
Lessons learned implementing STEP-NC AP-238
Exploiting unified modelling language (UML) as a preliminary design tool for Common Logic-based ontologies in manufacturing
Supervisory control of reconfigurable flexible-manufacturing workcells - temporary addition of resources
Design of graded lattice structures in turbine blades using topology optimization
A new integrated system for loading and scheduling in cellular manufacturing
A commitment-oriented framework for networked manufacturing co-ordination
The social dimension of the integration of manufacturing systems: the role of institutions
Determination of the machine energy consumption profiles in the mass-customised manufacturing
On the architecture of intelligent STEP-compliant CNC
Ontology-driven data collection and validation framework for the diagnosis of vehicle healthmanagement
Quality management and certification in the virtual enterprise
Development and evaluation of customisation process for ubiquitous product recovery management system
Generation of safe and intelligent tool-paths for multi-axis machine-tools in a dynamic 2D virtual environment
Capacity planning for integrated circuit final test plants
Human-centered performance management in manual assembly - The impact of gamified KPI provision on performance and motivation
Obtaining informedness in collaborative networks through automated information provisioning - a modelling framework and active database system approach
Virtual reality integration and credible traceability management method of transformer coil manufacturing process based on industrial internet and digital twin
An approach to product solution generation and evaluation based on the similarity theory and Ant Colony Optimisation
User acceptance of virtual reality technology for practicing digital twin-based crisis management
An event-driven integrative framework enabling information notification among manufacturing resources
Resource-free and resource-dependent aspects of process modelling: A rule-based conceptual approach
Quantifying the flexibility of a manufacturing system by applying the transfer function
Using the enhanced-mark flow graph for dynamic resource allocation in distributed manufacturing
SPC in an automated manufacturing environment
Real-time, cooperative enterprises for customised mass production
A multi-agent based knowledge search framework to support the product development process
Topology optimization of the vibrating structure for fused deposition modelling of parts considering a hybrid deposition path pattern
A human-oriented design process for collaborative robotics
HardOps: utilising the software development toolchain for hardware design
A connective framework to minimize the anxiety of collaborative Cyber-Physical System
An integrated support vector regression-imperialist competitive algorithm for reliability estimation of a shearing machine
Distributed modelling and simulation of supply chains
A novel cloud manufacturing framework with auto-scaling capability for the machining industry
Digitalising smart factories
Design and implementation of a distributed part-routing algorithm for reconfigurable transportation systems
An integrated simulation-analysis of variance methodology for effective analysis of CBM alternatives
A hybrid genetic algorithm approach for solving an extension of assembly line balancing problem
Process planning solution strategies for fabrication of thin-wall domes using directed energy deposition
Manufacturing network for rapid tool/die making
Incorporating quality function deployment and analytical hierarchy process in a knowledge-based system for automotive production line design
Role of human factors in cloud manufacturing adoption across manufacturing micro, small and medium enterprises
Feature-based modelling and neural networks-based CAPP for integrated manufacturing
Fabrication of electronic devices with multi-material drop-on-demand dispensing system
An intelligent system approach for surface roughness and vibrations prediction in cylindrical grinding
A system dynamics approach for strategic partnering in supply networks
Mutual adjustment search with incentive for supply chain planning coordination
Effective integration of low-cost digital manufacturing systems: a reference architecture driven approach
A framework for cyber-physical production system management and digital twin feedback monitoring for fast failure recovery
A method for engineering design change analysis using system modelling and knowledge management techniques
IoT-enabled real-time energy efficiency optimisation method for energy-intensive manufacturing enterprises
The effects of routing flexibility on a flexible manufacturing system
An open source approach to the design and implementation of Digital Twins for Smart Manufacturing
Multi-degree cyclic flow shop robotic cell scheduling problem with multiple robots
knowledge representation in Industry 4.0 scheduling problems
Task ontology for supply chain planning - a literature review
End-to-end manufacturing in factories of the future
Intelligent generation method of 3D machining process based on process knowledge
Predicting the effects of common levels of variability on flow processing systems
Design of a manufacturing knowledge model
Melvin Fitting, Types Tableaus and Gödel's God
Jerzy Los 1920-1998; Elements of Biography
The Tense Logic for Master Argument in Prior's Reconstruction
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals
The Faithfulness of Fat: A Proof-Theoretic Proof
Lukasiewicz-Moisil Relation Algebras
Some new double induction and superinduction principles
Rules of Existential Quantification into "Intensional Contexts"
On superintuitionistic logics as fragments of proof logic extensions
Nonmonotonic reasoning: from finitary relations to infinitary inference operations
GL-Quantales: Q-Valued Sets and Their Singletons
Principal Congruences on Semi-De Morgan Algebras
In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics
Nils Kürbis, Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019, pp. 316; ISBN: 978-110-87-1672-7 (Softcover)£24.99, ISBN: 978-110-84-8130-4 (Hardcover)£78.99, ISBN: 978-110-86-2517-3 (eBook) $26.00
On S
Glueing of analysis models in an intuitionistic setting
Another Paradox In Naive Set-Theory
Multiple Kernel Contraction
A New Psychologism in Logic? Reflections from the Point of View of Belief Revision
A Machine That Knows Its Own Code
Strategic Construction of Fitch-style Proofs
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts
Affine Spaces over GF(3)
On comparison of theories by their contents
Ways of Worlds I-II Two Special Issues on Possible Worlds and Related Notions
Analytic Rules for Mereology
Maximal Subalgebras of MV n -algebras. A Proof of a Conjecture of A. Monteiro
The Adaptive Logic of Compatibility
Independence in Information Spaces
Willem Blok and Modal Logic
A non-finitely based quasi-variety of De Morgan algebras
Axiomatising first-order temporal logic: until and since over linear time
Logics for Qualitative Inductive Generalization
Linear L-Algebras and Prime Factorization
Best Unifiers in Transitive Modal Logics
Synchronization of Logics
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics
Topological Groupoid Quantales
Correction to: Complexity of the Universal Theory of Modal Algebras
In Memoriam Cecylia Rauszer
De Finetti's No-Dutch-Book Criterion for Gödel logic
Uniform self-reference
A Note on Goodman's Theorem
The Weak Choice Principle WISC may Fail in the Category of Sets
Order Algebras as Models of Linear Logic
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics
The countable homogeneous universal model of B 2
Justification Logic with Confidence
A new semantics for intuitionistic predicate logic
Beishui Liao, Thomas Ågotnes, Yi N. Wang, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (Softcover) 117,69 €, ISBN: 978-981-13-7790-7 (Hardcover) 160,49 €, ISBN: 978-981-13-7791-4 (eBook) 93,08 €
Logicality, Double-Line Rules, and Modalities
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches
Epimorphisms, Definability and Cardinalities
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes
On All Strong Kleene Generalizations of Classical Logic
A faithful embedding of parallel computations in star-finite models
Charles S. Chihara, "The Worlds of Possibility, Modal Realism and the Semantics of Modal Logic"
A modern elaboration of the ramified theory of types
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras
Satisfiability is False Intuitionistically: A Question from Dana Scott
Priestley duality for some subalgebra lattices
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games
A Cut-Free Sequent System for the Smallest Interpretability Logic
Applying Pregroups to Italian Statements and Questions
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types
Dynamic Update with Probabilities
Glivenko Type Theorems for Intuitionistic Modal Logics
Decision problems for classes of diagonalizable algebras
Maximal weakly-intuitionistic logics
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation
Interpolation Methods for Dunn Logics and Their Extensions
Paraconsistent Double Negations as Classical and Intuitionistic Negations
Formal Methods in the Philosophy of Science
The Sum Relation as a Primitive Concept of Mereology
An Operational Logic of Proofs with Positive and Negative Information
Changing Types: Information Dynamics for Qualitative Type Spaces
Sub-Hilbert Lattices
Local deductions theorems
Dale Jacquette (ed.), A Companion to Philosophical Logic
Intuitionistic Propositional Logic with Galois Negations
Three-Valued Temporal Logic Q t and Future Contingents
The Jónsson-Kiefer Property
Dual Erotetic Calculi and the Minimal LFI
A Sequent Formulation of Conditional Logic Based on Belief Change Operations
Topological Proofs of Some Rasiowa-Sikorski Lemmas
Three-valued Logics in Modal Logic
The Single-minded Pursuit of Consistency and its Weakness
Intricate Axioms as Interaction Axioms
The Priestley duality for Wajsberg algebras
On Cut-Elimination Arguments for Axiomatic Theories of Truth
Meta-Argumentation Modelling I: Methodology and Techniques
Obligation and the Conditional in Stit Theory
A Categorical Equivalence for Tense Nelson Algebras
How True It Is = Who Says It's True
Algebra and Probability in Many-Valued Reasoning
A Centipede for Intransitive Preferrers
Decidability of an Xstit Logic
Sentential logics and Maehara Interpolation Property
Functional Monadic Bounded Algebras
Modal Deduction in Second-Order Logic and Set Theory - II
MS-Algebras Whose e-Ideals are Kernel Ideals
Franco Montagna's Work on Provability Logic and Many-valued Logic
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II
Proof Theory of Paraconsistent Weak Kleene Logic
A Note on Bosbach's Cone Algebras
Minimal Varieties of Representable Commutative Residuated Lattices
Categorical Abstract Algebraic Logic: Equivalent Institutions
Systems for Non-Reflexive Consequence
Montagovian Paradoxes and Hyperintensional Content
Topological representations of Post algebras of order ω + and open theories based on ω + -valued Post logic
Fibring as Biporting Subsumes Asymmetric Combinations
First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas
Partial Monotonic Protothetics
David Marker, Lectures on Infinitary Model Theory - Series: Lecture Notes in Logic, Vol. 46 2016, pp. 192. ISBN-13: 978-1107181939
A Simple Logic of the Hide and Seek Game
A Predicate Logical Extension of a Subintuitionistic Propositional Logic
R⌝-algebras and R⌝-model structures as power constructs
On structural completeness of implicational logics
Cofinal Stable Logics
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers
On maximal intermediate predicate constructive logics
Polarity Semantics for Negation as a Modal Operator
Automated theorem proving for Lukasiewicz logics
Three-membered domains for aristotle's syllogistic
On Field's Epistemological Argument Against Platonism
On the Deductive System of the Order of an Equationally Orderable Quasivariety
Free Constructions in Hoops via ℓ-Groups
First order logic with empty structures
To Be is to Be the Object of a Possible Act of Choice
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3
The dual space of a finite simple Ockham algebra
Sequences in countable nonstandard models of the natural numbers
On Blass Translation for Leśniewski's Propositional Ontology and Modal Logics
Equivalences Among Polarity Algorithms
Book Review: Alex Oliver and Timothy Smiley, Plural Logic
Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
Logic and Probability: Reasoning in Uncertain Environments - Introduction to the Special Issue
Modal Logics of Reactive Frames
Ecumenical Propositional Tableau
Truth Values, Neither-true-nor-false, and Supervaluations
Towards a Functional Approach to Modular Ontologies Using Institutions
Semantics for Relevance Logic with Identity
A Set Theory with Support for Partial Functions
Willem Blok's Contribution to Abstract Algebraic Logic
A Proof-theoretical Analysis of Semiconstructive Intermediate Theories
Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics
Computation of Aristotle's and Gergonne's syllogisms
The Elimination of Maximum Cuts in Linear Logic and BCK Logic
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent n
The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property
Minimally inconsistent LP
The Semi Heyting-Brouwer Logic
Algebraic Functions
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
Paraconsistency in Categories: Case of Relevance Logic
Cut-free tableau calculi for some propositional normal modal logics
A reduction rule for Peirce formula
Bisimulation for Conditional Modalities
William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933. In collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933, Vol. 3), Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 (hardcover) $129.00, (Kindle) $86.37
From Jaśkowski's Discussive Logic to Contemporary Paraconsistent Systems
Representability of Kleene Posets and Kleene Lattices
Presuppositional completeness
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras
Contrary-to-Duty Obligations
Some Observations on the FGH Theorem
Incompleteness and the Halting Problem
The intrinsic difficulty of recursive functions
The Logic of Generalized Truth Values and the Logic of Bilattices
The Profinite Hull of Special Groups and Local-Global Principles
An Axiomatic System for Concessive Conditionals
A Map of Common Knowledge Logics
Decidability of Logics Based on an Indeterministic Metric Tense Logic
Necessity and Relative Contingency
Intuitionistic Autoepistemic Logic
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G
A Note on Neat Reducts
Varieties of Monadic Heyting Algebras. Part III
Pure Extensions, Proof Rules, and Hybrid Axiomatics
*-autonomous Lattices
Decidable and enumerable predicate logics of provability
Minimal Varieties of Involutive Residuated Lattices
Integrally Closed Residuated Lattices
Generalized Kripke Frames
A Rule-Extension of the Non-Associative Lambek Calculus
Algebraic theory of quasivarieties of heterogeneous partial algebras
Postponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ - and RMQ *
Gaifman's theorem on categorial grammars revisited
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I
Experimental Proposal for Testing the Emergence of Environment Induced (EIN) Classical Selection Rules with Biological Systems
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics
On Tarski's Axiomatization of Mereology
Cardinality without Enumeration
Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'
Checking quasi-identities in a finite semigroup may be computationally hard
Linear Lambda-Terms and Natural Deduction
Theories with the Independence Property
A Note on Prototypes, Convexity and Fuzzy Sets
Propositions, Sets, and Worlds
A semantical investigation into Leśniewski's axiom of his ontology
Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance
Applications of weak Kripke semantics to intermediate consequences
Propositional Type Theory of Indeterminacy
Contemporary Logic in Brazil - Proceedings of the XX Encontro Brasileiro de Lógica
Raymond Smullyan, A Beginner's Further Guide to Mathematical Logic - World Scientific Publishing 2017, pp. 288; ISBN-10: 9814725722 (hardback) £45.00, ISBN-13: 978-9814725729 (paperback) £24.00, (kindle) £13.49
Doing Well Enough: Toward a Logic for Common-Sense Morality
Definite descriptions
A Complete and Consistent Formal System for Sortals
Complexity Results of STIT Fragments
Manipulating Games by Sharing Information
Conditional Random Quantities and Compounds of Conditionals
Hyper-MacNeille Completions of Heyting Algebras
RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa-Sikorski Lemma in Arithmetic (II)
Multimo dal Logics of Products of Topologies
Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking
Binary Refinement Implies Discrete Exponentiation
Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs
Lambek Calculus with Restricted Contraction and Expansion
Cut Elimination inside a Deep Inference System for Classical Predicate Logic
On Weak Lewis Distributive Lattices
Nelson algebras through Heyting ones: I
Infinitary Action Logic with Multiplexing
Some Normal Extensions of K4.3
Natural Dualities Through Product Representations: Bilattices and Beyond
Euclid Machines
A Calculus of Substitutions for DPL
A Very Strong Set Theory?
James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 2013, pp. 506. ISBN: 978-1107609525 (paperback) $44.99
On the Proof Theory of the Modal mu-Calculus
Two notions of compactness in Gödel logics
The Insufficiency of the Dutch Book Argument
A Game Semantics for System P
Bull's Theorem by the Method of Diagrams
Basic Hoops: an Algebraic Study of Continuous t -norms
States on Polyadic MV-algebras
A Generic Framework for Adaptive Vague Logics
Memory of Past Beliefs and Actions
A compact representation of proofs
The Calculus of Natural Calculation
Under Carnap's Lamp: Flat Pre-semantics
Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics
Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras
A Labelled Natural Deduction System for Linear Temporal Logic
On Learnability of Restricted Classes of Categorial Grammars
Eligible Contraction
Craig's interpolation theorem for the intuitionistic logic and its extensions - A semantical approach
Some nonstandard methods in combinatorial number theory
Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki
Syntactical results on the arithmetical completeness of modal logic
Truth, Partial Logic and Infinitary Proof Systems