Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
451	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form
452	Thinking Within and Between Levels: Exploring Reasoning with Multi-Level Linked Models Arthur Hjorth, Northwestern University, Corey Brady, Northwestern University, Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Computing Simulation Software Operations research Scientific modeling Multi-agent systems Java platform NetLogo Agent-based model Economic model Conceptual model Climate model
453	Space, Time, and Ambient Intelligence (STAMIProgramme Add to Reading List Source URL: cindy.informatik.uni-bremen.de Language: English - Date: 2013-06-13 07:13:25 Reasoning Cognition Ambient intelligence Educational psychology Science and technology Cognitive science Spatialtemporal reasoning Artificial intelligence Henry Kautz Commonsense reasoning
454	8th Grade Writing — Performance Level Descriptors Reporting Categories Argumentative Mode Needs Support A student performing at the Needs Support level: Add to Reading List Source URL: www.discoveractaspire.org Language: English - Date: 2016-06-30 10:57:02 Philosophy Logic Arguments Critical thinking Cognitive science Argument Logical consequence Reasoning Reason
455	A model of planning, action, and interpretation with goal reasoning Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:30:06 Artificial intelligence Cognitive science Cognition Neuropsychology Reasoning Neuropsychological assessment Belief revision Inductive reasoning Automated planning and scheduling Intelligent agent Abductive reasoning Planning
456	Critical Thinking What is critical thinking? Critical Thinking is a disciplined process which can help individuals to use reflective, reasonable, rational thinking to gather, interpret and evaluate information in order t Add to Reading List Source URL: www.managers.org.uk Language: English - Date: 2014-04-25 04:41:40 Education Critical thinking Cognition Knowledge Epistemology Thought Logic Reasoning Reason Argument Fallacy Inductive reasoning
457	AAAI Proceedings Template Add to Reading List Source URL: www.silccenter.org Language: English - Date: 2010-05-18 18:52:44 Education Educational psychology Visual arts Mathematics education Stationery Worksheet Ken Forbus Sketch Analogy Subtraction Educational technology Qualitative Reasoning Group
458	Microsoft Word - QR07_Ravens_AL6.doc Add to Reading List Source URL: www.silccenter.org Language: English - Date: 2010-05-05 12:20:26 Artificial intelligence Structure mapping engine Matrix Qualitative Reasoning Group Analogy Logic Cognition Philosophical logic
459	Schedule QR2010 v3 kdf.xlsx Add to Reading List Source URL: www.qrg.northwestern.edu Language: English Cognitive science Reasoning Cognition Ken Forbus American psychologists Qualitative reasoning Dedre Gentner Gentner Ivan Bratko System Qualitative Reasoning Group
460	AAAI Proceedings Template Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:36:39 Logic Reasoning Ontology Rules of inference Automated theorem proving Resolution Cyc Inference Semantic reasoner First-order logic Decision tree model CARINE

UPDATE