Results 61 to 70 of about 3,595,838 (347)
Interfacing Behavior Trees with the World Using Description Logic
, 2013 In order to rigorously analyze mission plans, they have to be translated into a tractable formalism. This paper proposes to use the description logic Attributive Language with Complements and concrete Domains ALC(D) as the input formalism for a mission ...
Andreas Klöckner
semanticscholar +1 more source
On similarity in fuzzy description logics [PDF]
Fuzzy Sets and Systems, 2016 This paper is a contribution to the study of similarity relations between objects represented as attribute-value pairs in Fuzzy Description Logics . For this purpose we use concrete domains in the fuzzy description logic IALCEF(D)IALCEF(D) associated either with a left-continuous or with a finite t-norm.
Armengol, Eva +2 more
openaire +4 more sources
Gate‐Tunable Hole Transport in In‐Plane Ge Nanowires by V‐Groove Confined Selective Epitaxy
Advanced Functional Materials, EarlyView.Ge nanowires are promising for hole spin‐based quantum processors, requiring direct integration onto Si wafers. This work introduces V‐groove‐confined selective epitaxy for in‐plane nanowire growth on Si. Structural and low‐temperature transport measurements confirm their high crystalline quality, gate‐tunable hole densities, and mobility.
Santhanu Panikar Ramanandan +11 more
wiley +1 more source
RECIIS, 2009 We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology of different
Stefan Schulz +3 more
doaj
MP-HTHEDL: A Massively Parallel Hypothesis Evaluation Engine in Description Logic
IEEE AccessWe present MP-HTHEDL, a massively parallel hypothesis evaluation engine for inductive learning in description logic (DL). MP-HTHEDL is an extension on our previous work HT-HEDL, which also targets improving hypothesis evaluation performance for inductive
Eyad Algahtani
doaj +1 more source
How Philosophical is Informal Logic?
Informal Logic, 2000 Consider the proposition, "Informal logic is a subdiscipline of philosophy". The best chance of showing this to be true is showing that informal logic is part of logic, which in turn is a part of philosophy.
John Woods
doaj +1 more source
Automated Synthesis of Tableau Calculi [PDF]
Logical Methods in Computer Science, 2011 This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method
Renate A. Schmidt, Dmitry Tishkovsky
doaj +1 more source
Aerospace, 2021 Aerospace systems are connected with the operational environment and other systems in general. The focus in aerospace product development is consequently shifting from a singular system perspective to a System-of-Systems (SoS) perspective.
Ludvig Knöös Franzén +4 more
doaj +1 more source
ALE Defeasible Description Logic [PDF]
, 2006 One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning.
D. Billington +6 more
core +2 more sources
Probabilistic Description Logics [PDF]
, 1994 Appears in Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (UAI1994)
openaire +3 more sources