Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
491	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
492	Are intentions reasons? And how should we cope with incommensurable values? John Broome University of Oxford From: Practical Rationality and Preference: Essays for David Gauthier, edited by Christopher Morris and Arthur Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2002-08-01 11:45:55 Reasoning Philosophy Logic Cognition Reason Practical reason Argument Normative Deductive reasoning Ethics Rationality Defeasible reasoning
493	BEHAVIORAL AND BRAIN SCIENCES, 57 –111 doi:S0140525X10000968 Why do humans reason? Arguments for an argumentative theory Hugo Mercier Add to Reading List Source URL: ram.mrtc.ri.cmu.edu Language: English - Date: 2011-05-22 02:25:08 Cognitive science Logic Philosophy Reasoning Critical thinking Epistemology Arguments Reason Fallacy Inference Psychology of reasoning Practical reason
494	DX: Diagnostic Excellence’s training modules will address biases that lead to errors in clinical reasoning, assist in recognizing and avoiding cognitive pitfalls, and provide methods for creating discourse around every Add to Reading List Source URL: s3-us-west-2.amazonaws.com Language: English - Date: 2016-01-07 10:32:48
495	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
496	Notation - Book of Abstracts Add to Reading List Source URL: www.ttu.ee Language: English - Date: 2015-07-31 07:31:26 Logic Philosophy Abstraction Philosophical logic Existential graph Diagrammatic reasoning Quantifier First-order logic Charles Sanders Peirce Polish notation Philosophy of logic Principia Mathematica
497	The Pennsylvania State University The Graduate School College of Earth and Mineral Sciences DOES TOPOLOGY PREDICT GEOGRAPHIC (2D) EVENT SEGMENTATION? Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2016-07-01 14:44:38 Knowledge representation Reasoning Logic Mathematics Computational topology Constraint programming Region connection calculus Mathematical logic Ontology Topology Image segmentation Topological space
498	Intuitive Direction Concepts Alexander Klippel1 , Jan Oliver Wallgr¨ un1 , Jinlong Yang2 , and 1 Kevin Sparks 1 Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2015-11-27 13:37:50 Cognitive science Cognition Philosophy Spatialtemporal reasoning Calculus Concept Psychology Reason
499	NSP3 Action, Belief and Inquiry Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2015-12-27 17:19:18 Philosophy Logic Epistemology Philosophy of science Reasoning Charles Sanders Peirce Abductive reasoning Inquiry Scientific method Pragmatism Empiricism John Dewey
500	PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:08 Logic Reasoning Logic programming Logical truth Propositional calculus Logical consequence Advice taker Logic Theorist Argument Rule of inference Substitution First-order logic

UPDATE