Reasoning

Results: 5026



#Item
311

Inductive reasoning Informatics 1 CG: Lecture 15 Chris Lucas Knowledge

Add to Reading List

Source URL: www.inf.ed.ac.uk

- Date: 2016-02-12 08:18:01
    312

    ’Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman Hongseok Yang

    Add to Reading List

    Source URL: software.imdea.org

    - Date: 2015-12-20 03:08:52
      313

      Scientific Question EVIDENCE REASONING

      Add to Reading List

      Source URL: datanuggets.org

      - Date: 2016-08-09 16:19:56
        314

        Using qualitative reasoning to evaluate performance: An application in the retail sector ´ Xari Rovira and Nuria Agell and Josep M. Sayeras ESADE Business School, Universitat Ramon Llull, Av. Pedralbes 62, Barcelona, Sp

        Add to Reading List

        Source URL: ivi.fnwi.uva.nl

        - Date: 2016-07-07 18:37:01
          315

          CogSketch Spatial Reasoning Madeline Usher Ken Forbus Andrew Lovett

          Add to Reading List

          Source URL: www.qrg.northwestern.edu

          - Date: 2016-02-11 23:35:20
            316

            Parametricity-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander

            Add to Reading List

            Source URL: www.janis-voigtlaender.eu

            - Date: 2016-08-24 08:10:28
              317

              Bounded Reasoning: Rationality or Cognition Amanda Friedenberg† Willemien Kets‡ ∗

              Add to Reading List

              Source URL: wkets.org

              - Date: 2016-06-14 02:23:57
                318

                John R. Bowen How the French State Justifies Controlling Muslim Bodies: From Harm-Based to ValuesBased Reasoning as the second decade of the twenty-first century begins,

                Add to Reading List

                Source URL: anthropology.artsci.wustl.edu

                - Date: 2012-09-05 18:24:09
                  319

                  ¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

                  Add to Reading List

                  Source URL: resources.mpi-inf.mpg.de

                  - Date: 2010-08-07 06:03:54
                    320

                    Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol ?

                    Add to Reading List

                    Source URL: folk.uio.no

                    - Date: 2008-11-26 05:36:44
                      UPDATE