Results 1 to 10 of about 87,998 (303)
SOUR graphs for efficient completion [PDF]
Discrete Mathematics & Theoretical Computer Science, 1998 We introduce a data structure called \emphSOUR graphs and present an efficient Knuth-Bendix completion procedure based on it. \emphSOUR graphs allow for a maximal structure sharing of terms in rewriting systems.
Christopher Lynch, Polina Strogova
doaj +1 more source
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS [PDF]
The Review of Symbolic Logic, 2016 AbstractA skeleton of the category with finite coproducts${\cal D}$ freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products ${\cal C}$ freely generated by a countable set of objects. As a consequence, we obtain that ${\cal D}$ has a subcategory equivalent with ${\cal C}$.
Kosta Dosen, Zoran Petric
openaire +3 more sources
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
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
Logic program specialisation through partial deduction: Control Issues [PDF]
, 2002 Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core +2 more sources
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering [PDF]
, 2005 Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperative programming, this technique has been successfully applied to debugging,
Vidal, German, Leuschel, Michael
core +2 more sources
A Commentary on Kant’s Introduction of the Concept of Transcendental Deduction
Acta Universitatis Lodziensis Folia Iuridica, 2023 The aim of this paper is to show the place of legal analogy in Kant’s introduction of the concept of transcendental deduction. After remarks on Kant’s use of the term “deduction,” transcendental deduction is characterised as the method justifying ...
Jan Woleński
doaj +1 more source
Mimbar Sekolah Dasar, 2023 This research aimed to examine the effects of the mathematics course taught with logical reasoning methods on the success of students in skill-based questions and to examine students' opinions.
Esra Altintas, Meltem Angay
doaj +1 more source
Informal Logic, 2011 There are passages in Fallacies suggesting a skeptical attitude to the very idea of inductive arguments, hence to the existence of inductive fallacies.
John Woods
doaj +1 more source