Results 221 to 230 of about 4,114 (268)
Negotiating (Mis-)Recognition in Physical Education: Interactions Between Teachers and Students with Special Educational Needs in the Area of Emotional and Social Development. [PDF]
Behav Sci (Basel)Brunssen L, Kastrup V.
europepmc +1 more source
Decolonizing mental health: Rethinking implementation science from the ground up. [PDF]
Glob Ment Health (Camb)Agudelo-Hernández F +2 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The Probabilistic Description Logic
Theory and Practice of Logic Programming, 2020AbstractDescription logics (DLs) are well-known knowledge representation formalisms focused on the representation of terminological knowledge. Due to their first-order semantics, these languages (in their classical form) are not suitable for representing and handling uncertainty.
Leonard Botha +2 more
openaire +1 more source
Matching in description logics
Journal of Logic and Computation, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Franz Baader +3 more
openaire +2 more sources
KI - Künstliche Intelligenz, 2020
The present paper is a summary of a habilitation (Habilitation a Diriger des Recherches, in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stephane Demri, Hans van Ditmarsch, Sebastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26
openaire +2 more sources
The present paper is a summary of a habilitation (Habilitation a Diriger des Recherches, in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stephane Demri, Hans van Ditmarsch, Sebastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26
openaire +2 more sources
The Logic Description Generator
[1990] Proceedings of the International Conference on Application Specific Array Processors, 2002The authors describe the Logic Description Generator (LDG), a design tool specifically geared to aid in the implementation of systolic algorithms on reconfigurable logic arrays. It is used to specify designs for Splash, a linear array of Xilinx chips. LDG supports the notion of a logical systolic cell, which may be repetitively layed out across a chip,
Maya B. Gokhale +3 more
openaire +1 more source
A Description Logic for InferenceNet.Br
2012The InferenceNet.Br is a new linguistic resource for Portuguese language knowledge bases, which follows some principles of the WordNet, ConceptNet and FrameNet. Unlike these other linguistic resources, InferenceNet.Br allows representation of more expressive relationships between concepts, permitting to characterize premises or conclusions of these ...
Wellington Franco +3 more
openaire +1 more source
Descriptions in mathematical logic
Studia Logica, 1984If A(x) is a predicate satisfied by exactly one x, then we write Ix.A(x) for that object x. The operator I is called a descriptor. The author reviews the various treatments of descriptors in the literature, pointing out that the problem each treatment faces is ''what to do with Ix.A(x) when \(\exists !xA(x)\) is not (yet) known''. The obvious answer is
Gerard R. Renardel, null de Lavalette
openaire +2 more sources