С. В. Конявская S. V. Konyavskaya Action-oriented Rhetoric Course in Information Security Field Teaching: Unpopular Solutions Reasoning Technique Keywords: action-oriented rhetoric, practical course, reasonin

Source URL: www.okbsapr.ru

Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract

Source URL: fm.csl.sri.com

• Automated theorem proving
• Theoretical computer science
• Logic
• Mathematics
• Mathematical proofs
• Proof assistants
• Formal methods
• Formal verification
• KeY
• Isabelle
• Rippling
• Automated reasoning

Computational emergence and developmental emergence - a sobering survey

Source URL: www.bgu.ac.il

• Cognitive science
• Philosophy
• Psychology
• Cognitive psychology
• Developmental psychology
• Neuroscience
• Child development
• Constructivism
• Emergence
• Cognitive development
• Knowledge representation and reasoning
• Cognition

JWST693-c01 JWST693-Foresman 7:41

Source URL: media.wiley.com

• Logic
• Philosophy
• Abstraction
• Arguments
• Critical thinking
• Reasoning
• Philosophical logic
• Argument
• Premise
• Deductive reasoning
• Propositional calculus
• Informal logic

Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University

Source URL: www.andrew.cmu.edu

• Logic
• Mathematics
• Philosophy
• Logic in computer science
• Automated theorem proving
• Formal sciences
• Formal methods
• Mathematical logic
• Proof theory
• Automated reasoning
• Formal epistemology
• Foundations of mathematics

Coordination under Limited Depth of Reasoning Terri Kneeland∗ November 4th, 2015 Abstract This paper provides the first unified explanation of behavior in coordinated

Source URL: terri.microeconomics.ca

• Game theory
• Strategy
• Best response

Cornell Critical Thinking Test Series THE CORNELL CLASS-REASONING TEST, FORM X by Robert H. Ennis William L. Gardiner Richard Morrow

Source URL: evolkov.net

• Logic puzzles
• Reasoning
• Critical thinking

klippel2013fundamental.pdf

Source URL: cognitivegiscience.psu.edu

• Cognition
• Cognitive science
• Philosophy
• Spatialtemporal reasoning
• Linguistic relativity
• Schema
• Spatial relation
• Category of being
• G factor
• Human intelligence
• Relation
• Prototype theory

CARTOGRAPHIC GENERALIZATION IN A DIGITAL ENVIRONMENT: WHEN AND How To GENERALIZE K. Stuart Shea The Analytic Sciences Corporation (TASCSunset Hills Road Reston, Virginia 22090

Source URL: mapcontext.com

• Cartography
• Geographic information systems
• Cartographic generalization
• Communication design
• Graphic design
• Inductive reasoning
• Generalization
• Visual arts
• Software engineering
• Topological map
• HindleyMilner type system
• Topography

Microsoft Word - wallgruen et al camera ready

Source URL: cognitivegiscience.psu.edu

• Knowledge representation
• Reasoning
• Cognitive science
• Educational psychology
• Spatialtemporal reasoning