Reasoning

Results: 5026



#Item
301

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

Add to Reading List

Source URL: www.cse.chalmers.se

- Date: 2012-03-21 07:54:00
    302

    A Theory of Depiction for Sketches of Physical Systems Kate Lockwood, Andrew Lovett, Ken Forbus, Morteza Dehghani and Jeff Usher Northwestern University, Qualitative Reasoning Group 2145 Sheridan Road Room L359, Evanston

    Add to Reading List

    Source URL: silccenter.org

    - Date: 2010-05-15 14:34:58
      303

      Visual Data Science: Improving Science through visual reasoning 6 1 0

      Add to Reading List

      Source URL: chinavis.org

        304

        Towards A Cache-Enabled, Order-Aware, Ontology-Based Stream Reasoning Framework Rui Yan Brenda Praggastis

        Add to Reading List

        Source URL: events.linkeddata.org

        - Date: 2016-03-12 15:06:46
          305

          Analogy as a mechanism of comparison Andrew Lovett () Eyal Sagi () Qualitative Reasoning Group, Northwestern University

          Add to Reading List

          Source URL: silccenter.org

          - Date: 2010-05-15 14:49:45
            306

            Reasoning about qualitative spatio-temporal relations at multiple levels of granularity Thomas Bittner Abstract. This paper discusses aspects of qualitative reasoning about approximate spatio-temporal location at multipl

            Add to Reading List

            Source URL: www.acsu.buffalo.edu

            - Date: 2004-06-10 06:15:20
              307

              Using a Visual Routine to Model the Computation of Positional Relationships Andrew Lovett () Kenneth Forbus () Qualitative Reasoning Group Electrical Engineering and C

              Add to Reading List

              Source URL: www.silccenter.org

              - Date: 2010-05-15 15:16:45
                308

                A Structure-Mapping Model of Raven’s Progressive Matrices Andrew Lovett () Kenneth Forbus () Jeffrey Usher () Qualitative Reasoning Group, N

                Add to Reading List

                Source URL: www.silccenter.org

                - Date: 2010-05-15 16:41:31
                  309

                  Type-Based Reasoning and Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨

                  Add to Reading List

                  Source URL: www.janis-voigtlaender.eu

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

                    A Diagrammatic Reasoning System for ALC Frithjof Dau, Peter Eklund Faculty of Informatics University of Wollongong Wollongong, NSW, 2522 Australia dau,

                    Add to Reading List

                    Source URL: www.dr-dau.net

                    - Date: 2007-10-31 23:10:26
                      UPDATE