Results 21 to 30 of about 138,341 (311)
Zakat Tanaman Menurut Ulama Dayah Aceh Perspektif Maqasid al-Syari'ah
Al-Manahij: Jurnal Kajian Hukum Islam, 2018 This study examines the reasons for Achehness Ulama of Dayah regarding plants and seeds that are subject to zakat. How the logic of thinking used by these ulama and their relationship with maqÄá¹£id al-syarī‘ah (syariah legal purposes).
Alimuddin Alimuddin, Harjoni Desky
doaj +1 more source
Query Evaluation in Deductive Databases [PDF]
, 1990 It is desirable to answer queries posed to deductive databases by computing fixpoints because such computations are directly amenable to set-oriented fact processing.
Bry, François
core +1 more source
Consciousness-raising tasks versus deductive approach: two form-focused instruction types in teaching grammar to Iranian high school EFL learners [PDF]
مجله علوم تربیتی, 2009 Consciousness-raising (CR) task is a new way of teaching grammar developed in communicative contexts although little has been written on the effectiveness of CR tasks in EFL setting.
doaj +1 more source
Classifying and Analyzing Analogies
Informal Logic, 2001 Analogies come in several forms that serve distinct functions. Inductive analogy is a common type of analogical argument, but critical thinking texts sometimes treat all analogies as inductive.
Bruce N. Waller
doaj +1 more source
Towards Intelligent Databases [PDF]
, 1993 This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy.
Bry, François +2 more
core +1 more source
Proving Finite Satisfiability of Deductive Databases [PDF]
, 1987 It is shown how certain refutation methods can be extended into semi-decision procedures that are complete for both unsatisfiability and finite satisfiability. The proposed extension is justified by a new characterization of finite satisfiability. This
Bry, François +2 more
core +1 more source
Deductive Machine Learning Challenges and Opportunities in Chemical Applications
, 2023 Contemporary machine learning algorithms have largely succeeded in automating the development of mathematical models from data. Although this is a striking accomplishment, it leaves unaddressed the multitude of scenarios, especially across the chemical ...
Tianfan , Jin, Brett M, Savoie
core +1 more source
Constraint-Based Contract Inference for Deductive Verification
, 2020 Assertion-based software model checking refers to techniques that take a program annotated with logical assertions and statically verify that the assertions hold whenever program execution is at the corresponding control point.
Lidström, Christian, +7 more
core +1 more source
Hemispheric Differences in Relational Reasoning: Novel Insights based on an Old Technique
Frontiers in Human Neuroscience, 2015 Relational reasoning, or the ability to integrate multiple mental relations to arrive at a logical conclusion, is a critical component of higher cognition. A bilateral brain network involving lateral prefrontal and parietal cortices has been consistently
Michael S Vendetti +5 more
doaj +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