Results 91 to 100 of about 4,114 (268)
A Logic for Ambiguous Description
Electronic Notes in Theoretical Computer Science, 2002 AbstractA logic formalizing ambiguity, which appears both in natural language and in mathematical discourse, is presented, through a sequent calculus and a semantics, together with some elementary results.
openaire +1 more source
Advanced Materials, EarlyView.Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine +5 more
wiley +1 more source
Foundations of Description Logics [PDF]
, 2011 This chapter accompanies the foundational lecture onDescription Logics (DLs) at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. It introduces basic notions and facts about this family of logics which has significantly gained in importance over the recent years as these logics constitute the formal basis for today's most expressive ...
openaire +2 more sources
Advanced Materials, EarlyView.A green, freeform manufacturing approach that utilizes robust aqueous two‐phase systems to create intricate and scalable photonic structures and non‐planar mechanochromic hydrogel actuators from plant‐based hydroxypropyl cellulose. This approach broadens the structural possibilities of sustainable photonic devices and mechanochromic systems, offering ...
Xiao Song +14 more
wiley +1 more source
Defeasible Description Logics [PDF]
, 2004 We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
openaire +2 more sources
Ontology-Mediated Querying with Horn Description Logics. [PDF]
Kunstliche Intell (Oldenbourg), 2020 Sabellek L.
europepmc +1 more source
Advanced Materials, EarlyView.We demonstrate a neuromorphic synapse in 2D Fe3GaTe2 flakes. The device operates via a current‐driven transformation from a skyrmion‐lattice to a stripe‐domain state, yielding a linear anomalous Hall resistance response with a tunable slope to enable multiply‐accumulate operations. Simulations confirm its viability in artificial neural networks.
Jixiang Huang +20 more
wiley +1 more source
Checking the Satisfiability of ALCN-concepts with a Complete DNF
工程科学与技术, 2009 :The Tableaux based on “unfolding gradually” may produce a lot of repetitive intermediate concept descriptions in deciding the satisfiabilities of acyclic concepts in a variety of description logics, which wastes large space.
Gu Hua-Mao, Gao Ji, Wang Xun
doaj
Processing Incomplete Query Specifications in a Context-Dependent Reasoning Framework [PDF]
Journal of Systemics, Cybernetics and Informatics, 2013 Search is the most prominent web service, which is about to change dramatically with the transition to the Semantic Web. Semantic Web applications are expected to deal with complex conjunctive queries, and not always such queries can be completely and ...
Neli P. Zlatareva
doaj
Leaftronics: Bio‐Fractal Scaffolds From Leaf Venation for Low‐Waste Electronics
Advanced Materials, EarlyView.“Leaftronics” transforms naturally evolved leaf venation into quasi‐fractal scaffolds for sustainable electronics. Polymer‐infiltrated leaf skeletons can be used to fabricate ultra‐smooth, reflow‐ and thin‐film‐compatible decomposable substrates, while making the same lignocellulose networks conducting results in flexible transparent electrodes.
Rakesh Rajendran Nair +3 more
wiley +1 more source