Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
641	JOURNAL OF INTERDISCIPLINARY RESEARCH AD ALTA THE RELATIONSHIP BETWEEN MORAL JUDGMENT COMPETENCE AND EMPATHY: A COMPARISON OF THREE AGE GROUPS Add to Reading List Source URL: www.magnanimitas.cz Language: English - Date: 2014-07-03 12:38:56 Social psychology Life skills Emotions Moral psychology Autism Empathy Moral development Morality Prosocial behavior Sympathy Perspective-taking Moral reasoning
642	Modes of Constitutional Argument Paul Gowder Three Modes of Argument In constitutional law, we have three key modes of argument. These modes also show up in other areas of law, but they look a bit different in this cours Add to Reading List Source URL: paul-gowder.com Language: English - Date: 2016-02-08 10:59:32 Critical thinking Arguments Logical consequence Reasoning Precedent Parameter Reason Fallacy Originalism Living Constitution
643	Structured Objects in OWL: Representation and Reasoning Boris Motik Bernardo Cuenca Grau Ulrike Sattler Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Graph theory Graph Ear decomposition Tree K-connectivity certificate Line graph
644	Scheme-based Definition and Conjecture Synthesis for Inductive Theories Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburg Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:19:03 Artificial intelligence Automated theorem proving Alan Bundy Automated reasoning Theorem Theory Informatics Mathematics Mathematical proof Scheme
645	EXPERT SYSTEMS APPLIED TO PROBLEMS IN GEOGRAPHIC INFORMATION SYSTEMS: INTRODUCTION, REVIEW AND PROSPECTS Vincent B. Robinson (Goss.Ensuadrain§UNCA-MULTICS.MAILNET) Department of Surveying Engineering Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:26:02 Artificial intelligence Decision theory Information systems Knowledge engineering Expert systems Prolog Geographic information system Knowledge representation and reasoning Decision support system Knowledge acquisition Planner SHINE Expert System
646	CAUSAL INFERENCES AND WORLD KNOWLEDGE Leo Noordman Wietske Vonk Reinier Cozijn Stefan Frank Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2014-02-23 11:14:03 Reasoning Philosophy of science Conditionals Scientific modeling Information Causality Inference Mental model Reading Text inferencing
647	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2011-09-03 11:02:00 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
648	CogSketch: Open-domain sketch understanding for cognitive science research and for education Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-15 14:26:28 Reasoning Cognitive science Infographics Educational psychology Qualitative Reasoning Group Analogy Spatialtemporal reasoning Spatial intelligence Cyc Glyph Qualitative reasoning System
649	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation

UPDATE