Results 281 to 290 of about 70,024 (314)
Some of the next articles are maybe not open access.
An Introduction to Automated Deduction
1987In this chapter, we present an informal introduction to many of the methods currently used in automated deduction. The principal method for theorem proving that we discuss is resolution, but we are also substantially concerned with extending the resolution framework to reason more efficiently about particular theories.
openaire +1 more source
Perspectives on Automated Deduction
1990A two-dimensional space of approaches to automated deduction is presented here. It is the result of an analysis of basic characteristics and representational techniques of proof systems. As a consequence, the incorporation into deductive systems of connection structures, of various instantiations of the principle of compression (such as cycle ...
openaire +1 more source
Semantic clustering based deduction learning for image recognition and classification
Pattern Recognition, 2022Xuemin Tu, Bo Luo, Guanghui Wang
exaly
The Mortgage Interest Deduction: Revenue and Distributional Effects
Journal of Housing Research, 2021Ted Gayer, Harvey S Rosen
exaly
The Deduction of the Categories: The Metaphysical and Transcendental Deductions
2010In the Preface to the first edition of Critique of Pure Reason in 1781, Kant wrote that he was “acquainted with no other investigations more important for getting to the bottom of that faculty we call the understanding, and at the same time for the determination of the rules and boundaries of its use, than those I have undertaken in the second ...
openaire +1 more source
The influence of the propeller loading on the thrust deduction fraction
Ship Technology Research, 2022Simone Saettone +2 more
exaly
Analysis of the thrust deduction in waterjet propulsion – The Froude number dependence
Ocean Engineering, 2018Arash Eslamdoost +2 more
exaly
Expert deduction rules in data mining with association rules: a case study
Knowledge and Information Systems, 2018Jan Rauch, Rauch Jan
exaly