Results 31 to 40 of about 153,708 (183)
Deductive temporal reasoning with constraints [PDF]
Journal of Applied Logic, 2013 When modelling realistic systems, physical constraints on the resources available are often required. For example, we might say that at most N processes can access a particular resource at any moment, exactly M participants are needed for an agreement, or an agent can be in exactly one mode at any moment.
Clare Dixon +3 more
openaire +1 more source
Development of a Tool to Assess Inference-Making and Reasoning in Biology
Journal of Microbiology & Biology Education, 2021 Making inferences and reasoning with new scientific information is critical for successful performance in biology coursework. Thus, identifying students who are weak in these skills could allow the early provision of additional support and course ...
Jennifer G. Cromley +5 more
doaj +1 more source
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis [PDF]
, 2011 Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy ...
Seshia, Sanjit A.
core +2 more sources
Factors and processes in children's transitive deductions [PDF]
, 2015 Transitive tasks are important for understanding how children develop socio-cognitively. However, developmental research has been restricted largely to questions surrounding maturation.
Smailes, J, Wright, BC
core +4 more sources
Reasoning of non- and pre-linguistic creatures: How much do the experiments tell us? [PDF]
, 2018 If a conclusion was reached that creatures without a language capability exhibit some form of a capability for logic, this would shed a new light on the relationship between logic, language, and thought.
Sreckovic, Sanja
core +2 more sources
Uncertain deduction and conditional reasoning [PDF]
Frontiers in Psychology, 2015 There has been a paradigm shift in the psychology of deductive reasoning. Many researchers no longer think it is appropriate to ask people to assume premises and decide what necessarily follows, with the results evaluated by binary extensional logic.
Evans, J. St. B. T. +2 more
openaire +5 more sources
Isolating Correct Reasoning [PDF]
This paper tries to do three things. First, it tries to make it plausible that correct rules of reasoning do not always preserve justification: in other words, if you begin with a justified attitude, and reason correctly from that premise, it can ...
Worsnip, Alex
core +1 more source
Distinctive Delta and Theta Responses in Deductive and Probabilistic Reasoning
Brain and BehaviorIntroduction The neural substrates of reasoning, a cognitive ability we use constantly in daily life, are still unclear. Reasoning can be divided into two types according to how the inference process works and the certainty of the conclusions.
Emir Faruk Sevim +4 more
doaj +1 more source
Brain Imaging, Forward Inference, and Theories of Reasoning
Frontiers in Human Neuroscience, 2015 This review focuses on the issue of how neuroimaging studies address theoretical accounts of reasoning, through the lens of the method of forward inference (Henson, 2005, 2006).
Evan eHeit
doaj +1 more source
A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data
, 2011 We describe a generic framework for representing and reasoning with annotated Semantic Web data, a task becoming more important with the recent increased amount of inconsistent and non-reliable meta-data on the web.
Lopes, Nuno +3 more
core +3 more sources