Results 41 to 50 of about 902,991 (274)
The logic, life, language and limit of contractarianism on punishment
InkanyisoThe objective of this article is the critical assessment of contractarianism as an alternative approach to the justification of punishment. In doing this, the article focused on the logic, life, language and limit of contractarianism.
William Idowu
doaj +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
The Logic of Uncertain Justifications
Annals of Pure and Applied Logic, 2014 The author considers Artemov's justification logic \(J\) and proposes a new variant of this logic by replacing its main notion ``\(t\) is a reason that justifies a formula \(F\)'' (formally represented by the expression ``\(t:F\)'' ) by the related notion ``I have degree \(r\) of confidence that \(t\) is evidence for the truth of formula \(F\)''.
openaire +3 more sources
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
Justification logic for constructive modal logic * [PDF]
, 2017 International audienceWe provide a treatement of the intuitionistic 3 modality in the style of justification logic. We introduce a new type of terms, called witness terms, that justify consistency, obtain justification analogs for the constructive modal ...
Strassburger, Lutz +2 more
core +4 more sources
Advanced Engineering Materials, EarlyView.Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 more
wiley +1 more source
Argument. Appreciation! Argument-Criticism: The "Aesthetics" of Informal Logic
Informal Logic, 1991 What rational foundation underlies argument-critical judgements? What are the canons of argument criticism and how are they to be "justified"? This paper explores an analogy between art- and argument-criticism and argues that the analogy promises not ...
Joel Rudinow
doaj +1 more source
Justification logics and hybrid logics
Journal of Applied Logic, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Advanced Engineering Materials, EarlyView.This perspective reframes additive manufacturing for electrical machines as a qualification‐limited materials and architecture design problem. It links process–structure–property–performance relationships to magnetic, conducting, dielectric, and thermal property windows, highlighting where AM can enable segmented magnetic circuits, permanent magnet ...
Dénes Fodor, Loránd Szabó
wiley +1 more source
Вестник СибАДИ, 2017 In this article questions of an assessment of parameters of algorithms of diagnosing of systems of cars are considered. Justification of need of realization of actions for ensuring human-machine compatibility at an equipment design stage is given.
V. E. Ovsyannikov, V. I. Vasilyev
doaj +1 more source