Reasoning

Results: 5026



#Item
221

EVALUATING INFORMATION: THE CORNERSTONE OF CIVIC ONLINE REASONING EXECUTIVE SUMMARY STANFORD HISTORY EDUCATION GROUP PRODUCED WITH THE SUPPORT OF THE ROBERT R. McCORMICK FOUNDATION

Add to Reading List

Source URL: sheg.stanford.edu

- Date: 2016-11-22 13:43:39
    222

    Inductive Reasoning for Shape Invariants Lilia Georgieva1 and Patrick Maier2 1 School of Math. and Comp. Sciences, Heriot-Watt University, Edinburgh http://www.macs.hw.ac.uk/~lilia/

    Add to Reading List

    Source URL: www.dcs.gla.ac.uk

    - Date: 2013-12-19 07:07:16
      223

      A Little Logic Goes a Long Way – Logical Reasoning in Web Data Integration and Ontology Learning Heiner Stuckenschmidt Universit¨ at Mannheim

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2011-06-26 10:16:31
        224

        Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2009-07-07 04:46:34
          225

          Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 Yuan Ren, Jeff Z. Pan and Yuting Zhao Department of Com

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2010-04-20 14:40:19
            226

            On Complete Reasoning about Axiomatic Specifications EPFL-REPORTSwen Jacobs and Viktor Kuncak ´

            Add to Reading List

            Source URL: www.swenjacobs.com

            - Date: 2013-01-31 09:32:11
              227

              Chanakya: Computer-Aided Strategic Reasoning Suguman Bansal Swarat Chaudhuri Rice University

              Add to Reading List

              Source URL: conf.researchr.org

                228

                Incremental Instance Generation in Local Reasoning Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E1.4, Saarbr¨ ucken, Germany

                Add to Reading List

                Source URL: www.swenjacobs.com

                - Date: 2013-01-31 09:31:42
                  229

                  Exploring Moral Reasoning in a Cognitive Architecture Wayne Iba Pat Langley

                  Add to Reading List

                  Source URL: www.isle.org

                  - Date: 2015-11-29 23:18:54
                    UPDATE