scientific article; zbMATH DE number 2209173
From MaRDI portal
Publication:5692270
zbMath1078.03002MaRDI QIDQ5692270
Publication date: 28 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (26)
The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated ⋮ Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Formal modeling of human reasoning: errors, limitations and Baconian bees ⋮ Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation ⋮ Human rationality challenges universal logic ⋮ On classifying abduction ⋮ The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction ⋮ Patterns of abduction ⋮ Inference to the best explanation, coherence and other explanatory virtues ⋮ An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution ⋮ Assessing the accuracy of diagnostic probability estimation: evidence for defeasible modus ponens ⋮ COGNITIVE ECONOMICS AND THE LOGIC OF ABDUCTION ⋮ Resource-origins of nonmonotonicity ⋮ Abduction in economics: a conceptual framework and its model ⋮ Abductive reasoning in neural-symbolic systems ⋮ On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations ⋮ Principles Of Talmudic Logic ⋮ Inferential conditionals and evidentiality ⋮ Naturalizing logic ⋮ Abduction: a categorical characterization ⋮ Context-dependent abduction and relevance ⋮ Ignorance-preserving mental models thought experiments as abductive metaphors ⋮ Rethinking Gibbard's riverboat argument ⋮ Abductive inference within a pragmatic framework ⋮ Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction ⋮ An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
This page was built for publication: