Reasoning

Results: 5026



#Item
61Reasoning under Uncertainty with Log-Linear Description Logics Mathias Niepert KR & KM Research Group, Universit¨ at Mannheim

Reasoning under Uncertainty with Log-Linear Description Logics Mathias Niepert KR & KM Research Group, Universit¨ at Mannheim

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2011-09-06 04:48:38
    62Manuscript Visual Problem-Solving Running Head: MODELING VISUAL PROBLEM-SOLVING Modeling Visual Problem-Solving as Analogical Reasoning

    Manuscript Visual Problem-Solving Running Head: MODELING VISUAL PROBLEM-SOLVING Modeling Visual Problem-Solving as Analogical Reasoning

    Add to Reading List

    Source URL: www.qrg.northwestern.edu

    Language: English - Date: 2017-01-23 15:31:55
      63J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs

      J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs

      Add to Reading List

      Source URL: www.georg.weissenbacher.science

      Language: English - Date: 2016-02-16 13:27:37
        64Legal knowledge based systems JURIX 91 Model-based legal reasoning The Foundation for Legal Knowledge Systems Editors:

        Legal knowledge based systems JURIX 91 Model-based legal reasoning The Foundation for Legal Knowledge Systems Editors:

        Add to Reading List

        Source URL: jurix.nl

        Language: English - Date: 2014-03-20 12:07:46
          65A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu Department of Informatics, University of Oslo P.O. Box 1080 Blindern, N-0316

          A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu Department of Informatics, University of Oslo P.O. Box 1080 Blindern, N-0316

          Add to Reading List

          Source URL: einarj.at.ifi.uio.no

          Language: English - Date: 2018-08-11 03:47:50
            66Taking the Long View: Looking Ahead in Practical Reasoning Katie ATKINSON and Trevor BENCH-CAPON Department of Computer Science, The University of Liverpool, England Abstract. In this paper we extend an argumentation sc

            Taking the Long View: Looking Ahead in Practical Reasoning Katie ATKINSON and Trevor BENCH-CAPON Department of Computer Science, The University of Liverpool, England Abstract. In this paper we extend an argumentation sc

            Add to Reading List

            Source URL: comma2014.arg.dundee.ac.uk

            Language: English - Date: 2014-08-25 11:16:17
              67ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions Marc van Zee a a

              ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions Marc van Zee a a

              Add to Reading List

              Source URL: www.marcvanzee.nl

              Language: English - Date: 2015-10-13 11:29:23
                68Roland Poellinger, Munich Center for Mathematical Philosophy, LMU Munich Variable Entanglement in Bayes Net Causal Models Abstract: In many cases of causal reasoning non-causal, non-directional knowledge is drawn on and

                Roland Poellinger, Munich Center for Mathematical Philosophy, LMU Munich Variable Entanglement in Bayes Net Causal Models Abstract: In many cases of causal reasoning non-causal, non-directional knowledge is drawn on and

                Add to Reading List

                Source URL: logic.rforge.com

                Language: English - Date: 2017-02-01 05:29:01
                  69Fallacies in Scenario Reasoning Prof. Dr. Gregor Betz Institute of Philosophy Nr.02 | May 2016

                  Fallacies in Scenario Reasoning Prof. Dr. Gregor Betz Institute of Philosophy Nr.02 | May 2016

                  Add to Reading List

                  Source URL: www.itz.kit.edu

                  Language: English - Date: 2016-06-23 06:48:38
                    70Adjudication Digest No  The Adjudication Digest takes a recent decision by a TDS Adjudicator and sets out the reasoning behind it. We hope that you will find these digests informative in understanding how we r

                    Adjudication Digest No  The Adjudication Digest takes a recent decision by a TDS Adjudicator and sets out the reasoning behind it. We hope that you will find these digests informative in understanding how we r

                    Add to Reading List

                    Source URL: www.tenancydepositscheme.com

                    Language: English - Date: 2015-07-27 09:19:36