Results 41 to 50 of about 153,708 (183)
Constrained Query Answering [PDF]
, 1994 Traditional answering methods evaluate queries only against positive and definite knowledge expressed by means of facts and deduction rules. They do not make use of negative, disjunctive or existential information.
Bry, François, Demolombe, R.
core +1 more source
Infinity, 2017 The purpose of this study was to investigate the effect of learning with abductive-deductive strategy towards the achievement of mathematical reasoning abilities of high school students.
Ali Shodikin
doaj +1 more source
Analisis Scientific Reasoning Dalam Penerapan Pendekatan Levels Of Inquirypada Pokok Bahasan Optik [PDF]
, 2014 Penelitian ini dilatarbelakangi oleh permasalahan rendahnya scientific reasoning siswa pada mata pelajaran Fisika, khususnya pada aspek proportional reasoning, correlational reasoning, control of variabel, causal reasoning, deductive reasoning, dan ...
Lestari, Aryanti
core
An Axiomatic Approach to Liveness for Differential Equations
, 2019 This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques ...
A Abate +23 more
core +1 more source
The 'Most Important and Fundamental' Distinction in Logic
Informal Logic, 2001 In this paper I argue that the debate over the purported distinction between deductive and inductive arguments can be bypassed because making the distinction is unnecessary for successfully evaluating arguments.
G.C. Goddu
doaj +1 more source
International Journal of Physiotherapy, 2016 Background: Clinical reasoning is a process by which physiotherapists interacted with patients, their family and other health- care professionals. It is the thinking process that professionals tend to apply in clinical practice. Given that novice as well
Mohammad Habibur Rahman +5 more
doaj +1 more source
Forward Invariant Cuts to Simplify Proofs of Safety
, 2015 The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid sys- tems; however, state-of-the-art theorem provers require ex- tensive manual intervention.
Arechiga, Nikos +4 more
core +1 more source
Information system support in construction industry with semantic web technologies and/or autonomous reasoning agents [PDF]
, 2012 Information technology support is hard to find for the early design phases of the architectural design process. Many of the existing issues in such design decision support tools appear to be caused by a mismatch between the ways in which designers think ...
From +7 more
core +2 more sources
Confidence and accuracy in deductive reasoning [PDF]
Memory & Cognition, 2006 In two experiments, we investigated the relationship between confidence and accuracy in syllogistic reasoning. Participants judged the validity of conclusions and provided confidence ratings twice for each problem: once quickly and again after further deliberation. Correlations between confidence and accuracy were small or nonexistent.
Jody M, Shynkaruk, Valerie A, Thompson
openaire +2 more sources
Wacana: Journal of the Humanities of Indonesia, 2008 This correlational study is to show the role of deductive and inductive reasoning abilities as aspects of cognitive development on expository text comprehension among high school students who already have a capacity to think in conceptual and ...
Ratih Ramelan
doaj +1 more source