Reasoning

Results: 5026



#Item
171

Factorization Machines Steffen Rendle Department of Reasoning for Intelligence The Institute of Scientific and Industrial Research Osaka University, Japan

Add to Reading List

Source URL: www.csie.ntu.edu.tw

    172

    An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

    Add to Reading List

    Source URL: ceur-ws.org

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

      SAT I: Reasoning Test Sunday, May 1997

      Add to Reading List

      Source URL: file.xdf.cn

      - Date: 2012-05-09 23:39:28
        174

        Epistemic Game Theoretical Reasoning in History Based Models Can BAS ¸ KENT Guy McCUSKER

        Add to Reading List

        Source URL: canbaskent.net

        - Date: 2015-09-22 07:44:50
          175

          Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning Qualitative Probabilistic Inference with Default Inheritance Paul Thorn∗,a , Christian Eichhorn†,b , Gabriele Kern-Isberner† , and Gerhard Schu

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2015-09-04 11:21:16
            176

            Model-Based Most Specific Concepts in Some Inexpressive Description Logics Felix Distel⋆ TU Dresden, Germany Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. The

            Add to Reading List

            Source URL: ceur-ws.org

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

              Optimizing Reasoning with Qualified Number Restrictions in SHQ N. Farsiniamarj and V. Haarslev Concordia University, Montreal, Canada 1 Introduction Using SHQ one can express number restrictions on role fillers of indivi

              Add to Reading List

              Source URL: ceur-ws.org

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

                Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning On the Functional Completeness of Argumentation Semantics� Massimiliano Giacomin1 , Thomas Linsbichler2 , and Stefan Woltran2 1

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2015-09-04 11:22:25
                  179

                  A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning Dissertation zur Erlangung des Grades

                  Add to Reading List

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

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

                    Reasoning With Weighted Ontologies Rafael Pe˜ naloza Theoretical Computer Science TU Dresden, Germany

                    Add to Reading List

                    Source URL: ceur-ws.org

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