Results 111 to 120 of about 2,297,669 (248)
Acta Polytechnica, 2000 In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory.
S. Hostomský, I. Jelínek
doaj
A Proof Calculus for Automated Deduction in Propositional Product Logic
MathematicsPropositional product logic belongs to the basic fuzzy logics with continuous t-norms using the product t-norm (defined as the ordinary product of real numbers) on the unit interval [0,1].
Dušan Guller
doaj +1 more source
A Formal Characterization of Concept Learning in Description Logics
, 2012 Among the inferences studied in Description Logics (DLs), induction has been paid increasing attention over the last decade. Indeed, useful non-standard reasoning tasks can be based on the inductive inference.
LISI, Francesca Alessandra
core
Advanced Functional Materials, EarlyView.This Perspective highlights atom probe tomography as a powerful tool for understanding the atomic‐scale defect chemistry in HfO2‐based ferroelectrics. 3D mapping of dopants, point defects, and interface chemistry can provide new insight into defect‐driven mechanisms underpinning the ferroelectricity in the system and guide the design of more reliable ...
Kasper Hunnestad +3 more
wiley +1 more source
Logical Semantics and Norms: A Kantian Perspective
Phenomenology and Mind, 2017 It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates ...
Sérgio Mascarenhas
doaj +1 more source
Description Logics and Planning.
AI Mag., 2005 This article surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Description logics can reason about the logical definition of a class and automatically infer class-subclass subsumption relations as well as classify instances into classes ...
openaire +2 more sources
General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step
, 2013 General Concept Inclusion (GCIs) absorption algorithms have shown to play an important role in classical Description Logics (DLs) reasoners, as they allow to transform GCIs into simpler forms to which apply specialised inference rules, resulting in an ...
Straccia U, Bobillo F
core
Binary‐to‐Ternary Reconfigurable Transistors Using Plasma‐Assisted MoS2
Advanced Functional Materials, EarlyView.A binary‐to‐ternary reconfigurable transistor is demonstrated using a dual‐gated molybdenum disulfide homojunction with localized O2 plasma treatment. The device exhibits on/intermediate and intermediate/off current ratios of 102 and 104, respectively, and the intermediate state is electrically tunable in the ternary mode.
Yeonghyeon Ko +7 more
wiley +1 more source
Local tableaux for reasoning in distributed description logics
, 2004 The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of DL to knowledge representation and reasoning.
Serafini, Luciano, Tamilin, Andrei
core
Advanced Functional Materials, EarlyView.The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source