Reasoning

Results: 5026



#Item
991

Association Neural-Symbolic Learning and Reasoning (NeSy) Unincorporated Association, UK 1. Name and Seat The association named "Neural-Symbolic Learning and Reasoning” (henceforth, NeSy) is a not for-profit organisati

Add to Reading List

Source URL: daselab.cs.wright.edu

Language: English - Date: 2014-11-19 16:29:13
    992

    Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface Régis Blanc Viktor Kuncak ∗

    Add to Reading List

    Source URL: lara.epfl.ch

    Language: English - Date: 2015-06-02 06:29:25
      993

      Data Driven Approximate Reasoning about Changes Andrzej Skowron1 and Jaroslaw Stepaniuk2 1 2

      Add to Reading List

      Source URL: csp2011.mimuw.edu.pl

      Language: English - Date: 2011-09-02 09:36:09
        994

        Anthropocentrism is not the first step in children’s reasoning about the natural world Patricia Herrmann, Sandra R. Waxman, and Douglas L. Medin1 Department of Psychology, Northwestern University, Evanston, IL 60208

        Add to Reading List

        Source URL: groups.psych.northwestern.edu

        Language: English - Date: 2010-06-28 16:25:05
          995Theoretical computer science / Mathematical logic / Logic in computer science / Type theory / Proof assistants / Mathematics / Automated theorem proving / Isabelle / Logical framework / Twelf / Formal methods / Automated reasoning

          Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science

          Add to Reading List

          Source URL: www.itu.dk

          Language: English - Date: 2005-08-10 11:35:47
          996Philosophy / Epistemology / Metaphysics / Causality / Scientific modeling / Conditionals / Philosophy of science / Diagram / Causal reasoning / Causal model

          International Journal of Artificial Intelligence in Education IOS Press 425 Constructing Causal Diagrams to Learn Deliberation

          Add to Reading List

          Source URL: delta.northwestern.edu

          Language: English - Date: 2013-11-19 23:55:09
          997Logic / Philosophy / Knowledge / Reasoning / Inference / Logical consequence / Statistics / Reason

          Department of Psychology Roots  of  Learning:   Inferences  and  Evalua6on   in  the  Social  Context   Thursday, November 13, 2014

          Add to Reading List

          Source URL: psychology.uchicago.edu

          Language: English - Date: 2014-11-14 10:27:31
          998

          Natural scene statistics mediate the perception of image complexity Nicolas Gauvrit, Fernando Soler-Toscano, Hector th Zenil — 28 July, 2014 Abstract Humans are sensitive to complexity and regularity in

          Add to Reading List

          Source URL: paris-reasoning.eu

          Language: English - Date: 2016-02-04 12:19:35
            999

            Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline

            Add to Reading List

            Source URL: www.complang.tuwien.ac.at

            Language: English - Date: 2015-03-18 10:53:43
              1000Education / Academia / Knowledge / Academic transfer / Axiology / Ethics / Philosophy of life / Social philosophy / Educational assessment / Junior Certificate / Inductive reasoning / Grading systems by country

              Microsoft Word - Exam Summary - GenEd CPC-based COMP Exam_FINAL_05Feb2015

              Add to Reading List

              Source URL: www.peregrineacademics.com

              Language: English
              UPDATE