Topic
Deductive reasoning
About: Deductive reasoning is a research topic. Over the lifetime, 4742 publications have been published within this topic receiving 137801 citations. The topic is also known as: deducción lógica & deducción.
Papers published on a yearly basis
1 / 2
Papers
30 Sep 1977
TL;DR: A unified approach to program verification is suggested, which applies to both sequential and parallel programs, and the main proof method is that of temporal reasoning in which the time dependence of events is the basic concept.
Abstract: A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof method suggested is that of temporal reasoning in which the time dependence of events is the basic concept. Two formal systems are presented for providing a basis for temporal reasoning. One forms a formalization of the method of intermittent assertions, while the other is an adaptation of the tense logic system Kb, and is particularly suitable for reasoning about concurrent programs.
5,837 citations
TL;DR: This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.
4,426 citations
Book•
28 Dec 1984TL;DR: In this paper, a triarchic theory for intelligence testing is presented, which is used to test componential models via componential analysis for real-time verbal comprehension and inductive reasoning.
Abstract: Preface Part I. Introduction: 1. Conceptions of intelligence Part II. The Triarchic Theory: subtheories: 2. The context of intelligence 3. Experience and intelligence 4. Components of intelligence Part III. The Triarchic Theory: tests: 5. Fluid abilities: inductive reasoning 6. Fluid abilities: deductive reasoning 7. Crystallised intelligence: acquisition of verbal comprehension 8. Crystallised intelligence: theory of information processing in real-time verbal comprehension 9. Social and practical intelligence Part IV. The Triarchic Theory: some implications: 10. Exceptional intelligence 11. Implications of the triarchic theory for intelligence testing Part V. Concluding Remarks: 12. Integration and implications 13. Integration and implications Methodological Appendix: Testing componential models via componential analysis References Indexes.
3,285 citations
Book•
1 Dec 1990TL;DR: In this article, the authors present an overview of the basic processes in visual cognition, including visual perception, motion and action, learning, memory and forgetting, and long-term memory systems.
Abstract: Preface. 1. Approaches to Human Cognition. Part 1. Visual Perception and Attention. 2. Basic Processes in Visual Cognition. 3. Object and Face Recognition. 4. Perception, Motion and Action. 5. Attention and Performance. Part 2. Memory. 6. Learning, Memory and Forgetting. 7. Long-Term Memory Systems. 8. Everyday Memory. Part 3. Language. 9. Reading and Speech Perception. 10. Language Comprehension. 11. Language Production. Part 4.: Thinking and Reasoning. 12. Problem Solving and Expertise. 13. Judgement and Decision Making. 14. Inductive and Deductive Reasoning. Part 5. Broadening Horizons. 15. Cognition and Emotion. 16. Consciousness. Glossary. References.
1,726 citations
Book•
1 Jan 1995TL;DR: In this paper, commitment in dialogue basic concepts of interpersonal reasoning have been discussed and discussed in the context of interactive dialogues, and the authors propose a commitment-in-discriminative dialogue framework.
Abstract: Thank you very much for reading commitment in dialogue basic concepts of interpersonal reasoning. As you may know, people have look hundreds times for their favorite readings like this commitment in dialogue basic concepts of interpersonal reasoning, but end up in harmful downloads. Rather than reading a good book with a cup of tea in the afternoon, instead they juggled with some harmful virus inside their laptop.
1,465 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2026 | 2 |
| 2025 | 46 |
| 2024 | 52 |
| 2023 | 85 |
| 2022 | 129 |
| 2021 | 69 |