Results 161 to 170 of about 416,627 (195)

Inductive/Deductive Hybrid Thematic Analysis in Mixed Methods Research

Journal of Mixed Methods Research, 2023
Kevin Proudfoot
exaly  

An Introduction to Automated Deduction

1987
In 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

Probabilistic and deductive reasoning in the human brain

NeuroImage, 2023
Lupita Estefania Gazzo Castañeda, Markus Knauff   +1 more
exaly  

Perspectives on Automated Deduction

1990
A 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

The potential of working hypotheses for deductive exploratory research

Quality and Quantity, 2020
Mattia Casula, Patricia M Shields
exaly  

Deduction and Language

Logic Journal of IGPL, 1995
openaire   +1 more source

Deduction Systems

1997
Rolf Socher-Ambrosius, Patricia Johann
openaire   +1 more source

Constructing Induction Rules for Deductive Synthesis Proofs

Electronic Notes in Theoretical Computer Science, 2006
Alan Bundy, Lucas Dixon, Jacques Fleuriot   +2 more
exaly  

HYPER MV-DEDUCTIVE SYSTEMS OF HYPER MV-ALGEBRAS

Communications of the Korean Mathematical Society, 2010
Young-Bae Jun, Min-Su; Kang
exaly  

Perspective—Discovery Within Validation Logic: Deliberately Surfacing, Complementing, and Substituting Abductive Reasoning in Hypothetico-Deductive Inquiry

Organization Science, 2018
Kristin Behfar, Gerardo A Okhuysen
exaly