Results 41 to 50 of about 152,608 (288)
Deductive reasoning in extensive games [PDF]
, 2000 We justify the application to extensive games of the concept of ‘fully permissible sets’, which corresponds to choice sets when there is common certain belief of the event that each player prefer one strategy to another if and only if the former weakly ...
Asheim, Geir B., Dufwenberg, Martin
core
, 1990 Over the recent years, several proposals were made to enhance database systems with automated reasoning. In this article we analyze two such enhancements based on meta-interpretation.
Bry, François
core +1 more source
Advanced Engineering Materials, EarlyView.This study investigates the tribological response of 60NiTi alloy under dry, water‐lubricated and high‐temperature conditions. The alloy exhibits decreasing wear volume and friction with increasing temperature due to the formation of protective oxide layers. The work clarifies dominant wear mechanisms and demonstrates the suitability of 60NiTi for high‐
Anthony Onyebuchi Okoani +2 more
wiley +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
Advanced Functional Materials, EarlyView.In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 more
wiley +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
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
In defence of single-premise closure [PDF]
, 2017 It’s often thought that the phenomenon of risk aggregation poses a problem for multi-premise closure but not for single-premise closure. But recently, Lasonen-Aarnio and Schechter have challenged this thought.
Tang, Weng
core +1 more source
Advanced Functional Materials, EarlyView.This study investigates H4TBAPy‐based metal–organic frameworks (MOFs) ‐ NU‐1000, NU‐901, SrTBAPy, and BaTBAPy ‐ for multiphoton absorption (MPA) performance. It observes topology‐dependent variations in the 2PA cross‐section, with BaTBAPy exhibiting the highest activity.
Simon N. Deger +10 more
wiley +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