Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
581	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
582	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification
583	Advances in Cognitive SystemsSubmitted; publishedGoal Reasoning with Information Measures Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:34:58 Design for X Failure Materials science Reliability engineering Software quality Survival analysis Unmanned aerial vehicle Information Services Procurement Library
584	Quarterly Journal of Political Science, 2015, 10: 489–518 You Cannot be Serious: The Impact of Accuracy Incentives on Partisan Bias in Reports of Economic Perceptions Markus Prior1 , Gaurav Sood2 and Kabir Khanna3 Add to Reading List Source URL: gsood.com Language: English - Date: 2015-12-17 16:26:16 Critical thinking Survey methodology Data collection Psychometrics Sampling Motivated reasoning Cognitive bias Opinion poll Independent voter Motivation Computer-assisted telephone interviewing Bias
585	games An Open Access Journal Editor-in-Chief Message from the Editor-in-Chief Add to Reading List Source URL: philsci.org Language: English - Date: 2016-01-19 14:19:43 Formal epistemology Artificial intelligence Game theory Epistemology Statistical inference Common knowledge Epistemic modal logic MDPI Inductive reasoning Bayesian game
586	Modeling Cross-Cultural Performance on the Visual Oddity Task Andrew Lovett1 , Kate Lockwood1, and Kenneth Forbus1 Qualitative Reasoning Group, Northwestern University 2133 Sheridan Rd., Evanston, IL, 60201, USA {andrew- Add to Reading List Source URL: www.silccenter.org Language: English - Date: 2010-05-05 12:24:55 Reasoning Feature detection Qualitative Reasoning Group Analogy Conceptual model Qualitative reasoning Feature
587	AREA II: Mathematics - 3 credit hours required Area II Goal 1: To develop students knowledge, skills and disposition for responsibility regarding various mathematical: principles, disciplines, analyses, logic, reasoning, Add to Reading List Source URL: artsci.unm.edu Language: English - Date: 2016-08-02 15:44:54 Calculus Complex number Integral Matrix Algebra over a field Mathematics education in New York Comparison of vector algebra and geometric algebra
588	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
589	Segregation effect 1 Running Head: segregation effect The Segregation Effect, Time Pressure and Other Factors Affecting Argument Strength in Categorical Inductive Inference Add to Reading List Source URL: www.bgu.ac.il Language: English - Date: 2002-11-03 09:01:56 Reasoning Arguments Logical consequence Epistemology Term logic Inductive reasoning Inference Reason Structure Premise Induction
590	Giovanni Tuzet Bocconi University (Milan) RESPONSIBLE FOR TRUTH? Peirce on Judgment and Assertion Add to Reading List Source URL: www.unav.es Language: English - Date: 2006-03-21 10:12:52 Charles Sanders Peirce Philosophical logic Philosophy of science Epistemology Theories of truth Truth Pragmatism Abductive reasoning Judgment Inquiry Meaning Sequent

UPDATE