Results 41 to 50 of about 629,043 (341)
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text [PDF]
Conference on Empirical Methods in Natural Language Processing, 2019 The recent success of natural language understanding (NLU) systems has been troubled by results highlighting the failure of these models to generalize in a systematic and robust way.
Koustuv Sinha +4 more
semanticscholar +1 more source
Communicative Message Passing for Inductive Relation Reasoning [PDF]
AAAI Conference on Artificial Intelligence, 2020 Relation prediction for knowledge graphs aims at predicting missing relationships between entities. Despite the importance of inductive relation prediction, most previous works are limited to a transductive setting and cannot process previously unseen ...
Sijie Mai +3 more
semanticscholar +1 more source
, 2006 In this article, the authors describe how they used a hybrid process of inductive and deductive thematic analysis to interpret raw data in a doctoral study on the role of performance feedback in the self-assessment of nursing practice. The methodological
J. Fereday, E. Muir‐Cochrane
semanticscholar +1 more source
The rhetoric of organizational stability and creativity: an analysis of the term ‘platform’
Nordic Journal of Social Research, 2013 This article analyses the term platform as it surfaced in interview data from Norway and the United States that was collected in a field research project on organizational technology use. Through an inductive analysis of the term’s use in six interviews,
Larry D. Browning +3 more
doaj +1 more source
Contrastive Rhetoric: A study of Introduction and Thesis Statement in the American English and Persian Expository Essays [PDF]
Matn/Pizhūhī-i Adabī, 2006 Iranian students often face serious problems in learning to write English composition. Out of the different factors affecting the students' concepts, schemata and strategies in writing English composition, the influence of L 1 rhetorical organization in ...
mohammad taghi haani
doaj +1 more source
For Finitary Induction-Induction, Induction Is Enough.
, 2019 Inductive-inductive types (IITs) are a generalisation of inductive types in type theory. They allow the mutual definition of types with multiple sorts where later sorts can be indexed by previous ones. An example is the Chapman-style syntax of type theory with conversion relations for each sort where e.g. the sort of types is indexed by contexts.
Ambrus Kaposi +2 more
openaire +3 more sources
Natural Inductive Theorems for Higher-Order Rewriting [PDF]
, 2011 The notion of inductive theorems is well-established in first-order term rewriting. In higher-order term rewriting, in contrast, it is not straightforward to extend this notion because of extensionality (Meinke, 1992).
Chiba, Yuki +2 more
core +1 more source
Microstructure, Magnetic Properties, and Application of FINEMET-Type Alloys with Co Addition
Applied Sciences, 2023 The choice of materials for cores of electrotechnical devices is currently related to energy saving and global warming problems. Nanocrystalline alloys are emerging as materials for cores in these devices in addition to amorphous materials already ...
Agnieszka Łukiewska +3 more
doaj +1 more source
The Deductive/Inductive Distinction
Informal Logic, 1994 In this paper I examine five distinctions between deductive and inductive arguments, concluding that the best of the five defines a deductive argument as one in which conclusive favorable relevance to its conclusion is attributed to its premises, and an ...
George Bowles
doaj +1 more source
A Categorical Semantics for Inductive-Inductive Definitions [PDF]
, 2011 Induction-induction is a principle for defining data types in Martin-Lof Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : A → Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa.
Thorsten Altenkirch +3 more
openaire +3 more sources