Results 61 to 70 of about 8,214,233 (250)
Conditionals and Independence in Many-Valued Logics [PDF]
, 2009 Formulas and valuations in boolean logic are a traditional source of examples of "events" and "possible worlds". However, many events of interest in everyday life are more general than yes-no events, as described in boolean logic. Their possible outcomes typically range over a continuous spectrum, which after a suitable normalization can be restricted ...
openaire +3 more sources
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
, 2012 The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights
De, Michael
core +2 more sources
On Scott’s semantics for many-valued logic
, 2020 The semantics in ordered abelian groups Scott proposed for Łukasiewicz’s many-valued logic fails to be sound for one direction of one of the rules Scott gave for implication.
Niki, Satoru, Schuster, Peter
core +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
Finite-valued approximations of product logic
, 2000 In this paper we shall propose a method for the reduction of the problem of decidability in propositional infinite-valued Product Logic to suitably determined finite-valued approximating logics.
Stefano Aguzzoli +3 more
core +1 more source
Advanced Engineering Materials, EarlyView.Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch +3 more
wiley +1 more source
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
Invariance of the Mathematical Expectation of a Random Quantity and Its Consequences
RisksPossibility and probability are the two aspects of uncertainty, where uncertainty represents the ignorance of a given individual. The notion of alternative (or event) belongs to the domain of possibility.
Pierpaolo Angelini
doaj +1 more source
Philosophia Scientiæ, 2011 Łukasiewicz’s Aristotle’s Syllogistic was written from the standpoint of modern formal log ic as a correction of the traditional interpretations of Aristotle’s syllogistic.
Jean-Baptiste Gourinat
doaj +1 more source