Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,123,560 papers from all fields of science
Search
Sign In
Create Free Account
Reasoning
Thinking that is coherent and logical.
National Institutes of Health
Create Alert
Alert
Related topics
Related topics
6 relations
Brain
Nervous system structure
Problem Solving (mental process)
Broader (2)
Mental Processes
Thinking, function
Narrower (1)
inductive vs deductive reasoning
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2007
Review
2007
Turn Off Your Radios ! Environmental Monitoring Using Power-Constrained Sensor Agents
D. Corkill
2007
Corpus ID: 2971294
CNAS (Collaborative Network for Atmospheric Sensing) is an agent-based, power-aware sensor network for ground-level atmospheric…
Expand
2006
2006
Reasoning about eLearning Multimedia Objects ?
M. Engelhardt
,
A. Hildebrand
,
D. Lange
,
T. Schmidt
2006
Corpus ID: 17454865
The advancement of hypermedia technologies led teachers and learners to a daily use of multimedia components. Media bricks in…
Expand
1999
1999
QUALITATIVE REPRESENTATION AND REASONING ABOUT SHAPES
J. Gero
1999
Corpus ID: 118212430
In this paper we present an approach to the qualitative representation of shape and its use. We use a qualitative coding scheme…
Expand
Highly Cited
1996
Highly Cited
1996
3d geometric reasoning algorithms for feature recognition
Junghyun Han
1996
Corpus ID: 60918572
Current feature research takes two main approaches to feature model generation: feature recognition and feature based design…
Expand
1996
1996
Temporal logic and reasoning about actions
Gisela M. Méndez
,
J. Llopis
,
Jorge Lobo
,
Chitta Baral
1996
Corpus ID: 53940660
This paper shows how past temporal logic can be incorporated into the action description language A 4] and its extensions…
Expand
1993
1993
MODEL-K for prototyping and strategic reasoning at the knowledge level
Werner Karbach
,
A. Voß
1993
Corpus ID: 673426
To close the gap between knowledge level and symbol level, the MODEL-K language allows to specify KADS conceptual models and to…
Expand
1988
1988
A framework for representing & reasoning about 3-D objects
E. Walker
1988
Corpus ID: 61850138
The capabilities for representing and reasoning about three-dimensional (3-D) objects are essential for knowledge-based, 3-D…
Expand
1988
1988
Partial Objects in Type Theory
Scott F. Smith
1988
Corpus ID: 118700754
Intuitionistic type theories, originally developed by Martin-Lof, provide a foundation for intuitionistic mathematics, much as…
Expand
1981
1981
Adult age differences in deductive reasoning processes.
A. Hartley
Journal of Gerontology
1981
Corpus ID: 11503205
To explore deductive inference processes on concept learning a problem was given to individuals from four groups: younger adults…
Expand
1975
1975
Operational reasoning and denotational semantics.
M. Gordon
1975
Corpus ID: 58306836
"Obviously true" properties of programs can be hard to prove when meanings are specified with a denotational semantics. One cause…
Expand