Results 11 to 20 of about 368,601 (272)
, 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
How we can be free: Kant and the deduction of the moral law [PDF]
Belgrade Philosophical AnnualThe Groundwork of the Metaphysics of Morals and the Critique of Practical Reason contain two different attempts to provide a "deduction" or foundation for the categorical imperative.
Korsgaard Christine M.
doaj +1 more source
Kants Freiheitsargument. Diskussion von Heiko Puls: Sittliches Bewusstsein und Kategorischer Imperativ in Kants Grundlegung: Ein Kommentar zum dritten Abschnitt. Berlin und Boston: De Gruyter, 2016. 318 S. [PDF]
Кантовский сборник, 2018 Heiko Puls’ work Sittliches Bewusstsein und Kategorischer Imperativ in Kants Grundlegung: Ein Kommentar zum dritten Abschnitt, presents an attempt to show that, in the Groundwork of the Metaphysics of Morals, Kant’s argumentation for the objective value ...
Porcheddu, Rocco
doaj +1 more source
Agronomy, 2021 The objective of this study was to examine peanut (Arachis hypogaea L.) kernel percent sound splits as a function of sound mature kernel seed size when shelled on a reciprocating sheller. Data were compiled from a total of 139 field experiments conducted
Daniel J. Anco +3 more
doaj +1 more source
Informal Logic and its Implications for Philosophy
Informal Logic, 2000 I take 'informal logic' to be the (descriptive and normative) study of 'real arguments'-arguments which are or have been used with the aim of convincing others of a point of view.
Nicolas Maudet, Alec Fisher
doaj +1 more source
From Deduction to Abduction: Constructing a Coding Frame for Communist Secret Police Documents
Forum: Qualitative Social Research, 2019 In this shop floor report I explore the process of constructing and reconstructing a coding frame for qualitative content analysis. Drawing on my research experience with the archives of the communist secret police, I highlight the advantages of ...
Dominik Želinský
doaj +1 more source
Deduction of Optimal Control Strategies for a Sector-Coupled District Energy System
Energies, 2021 We present a method to turn the results of model-based optimisations into resilient and comprehensible control strategies. Our approach is to define priority lists for all available technologies in a district energy system.
Adrian Grimm +6 more
doaj +1 more source
A generic framework for the analysis and specialization of logic programs [PDF]
, 2005 The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives.
Albert Albiol, Elvira +2 more
core +2 more sources
PLoS ONE, 2007 As biologists increasingly rely upon computational tools, it is imperative that they be able to appropriately apply these tools and clearly understand the methods the tools employ. Such tools must have access to all the relevant data and knowledge and, in some sense, "understand" biology so that they can serve biologists' goals appropriately and ...
Jeff Shrager +3 more
openaire +4 more sources
Journal of Modern Science, 2018 The paper begins with a short description of phenomenological ideas of Petr Vopěnka concerning the development of children’s geometric concepts and his notion of personality of a phenomen, which makes the phenomenon an individual entity.
Zbigniew Semadeni
doaj +1 more source