Reasoning

Results: 5026



#Item
181

Fair Cycle Detection using Description Logic Reasoning Shoham Ben-David1 , Jeffrey Pound1 , Richard Trefler1 , Dmitry Tsarkov2 , Grant Weddell1 1. David R. Cheriton School of Computer Science, University of Waterloo 2. S

Add to Reading List

Source URL: ceur-ws.org

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

    BEHAVIORAL AND BRAIN SCIENCES, 645–726 Printed in the United States of America Individual differences in reasoning: Implications for the rationality debate?

    Add to Reading List

    Source URL: psy2.ucsd.edu

    - Date: 2005-03-28 13:05:31
      183

      Reasoning About Typicality in ALC and EL Laura Giordano1, Valentina Gliozzi2 , Nicola Olivetti3 , and Gian Luca Pozzato2 1 Dipartimento di Informatica - Universit` a del Piemonte Orientale “A. Avogadro”

      Add to Reading List

      Source URL: ceur-ws.org

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

        Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies Quentin Reul1 and Jeff Z. Pan2 1

        Add to Reading List

        Source URL: ceur-ws.org

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

          The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning

          Add to Reading List

          Source URL: www.fallacydetective.com

          - Date: 2016-01-16 17:20:31
            186

            IJCAIWorkshop on Neural-Symbolic Learning and Reasoning (NeSy’05) Call for Papers Edinburgh, Scotland, August 1st, 2005 Artificial Intelligence researchers continue to face huge challenges in their quest to deve

            Add to Reading List

            Source URL: daselab.cs.wright.edu

            - Date: 2014-10-02 17:28:47
              187

              Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Optimized DL Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, U

              Add to Reading List

              Source URL: ceur-ws.org

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

                Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Orel: Database-Driven Reasoning for OWL 2 Profiles Markus Krötzsch, Anees ul Mehdi, and Sebastian Rudolph Institute AIFB, Ka

                Add to Reading List

                Source URL: ceur-ws.org

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

                  Contextual Representation and Reasoning with Description Logics Luciano Serafini1 and Martin Homola1,2 2 1

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2011-06-26 10:22:49
                    190

                    GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable Franz Baader and Rafael Peñaloza Theoretical Computer Science, TU Dresden, Germany {baader,penaloza}@tcs.inf.tu-dresden.de

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2011-06-26 10:20:56
                      UPDATE