Reasoning

Results: 5026



#Item
41

Reasoning about olle tively a epted group beliefs Raul Hakli Sara Negri Department of Philosophy

Add to Reading List

Source URL: esslli2009.labri.fr

Language: English - Date: 2010-10-12 04:42:13
    42

    Reducing to Symbolic Integer Reasoning Deciding Symbolic Product Inequalities Experiments

    Add to Reading List

    Source URL: www.gilith.com

    Language: English - Date: 2017-11-12 23:29:45
      43

      QueryPIE: Backward reasoning for OWL Horst over very large knowledge bases Jacopo Urbani, Frank van Harmelen, Stefan Schlobach, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j.urbani, frank

      Add to Reading List

      Source URL: iswc2011.semanticweb.org

      Language: English - Date: 2011-09-14 09:55:07
        44

        High-performance Distributed Stream Reasoning using S4 Jesper Hoeksema and Spyros Kotoulas Dept. of Computer Science, VU University Amsterdam, the Netherlands {jehoekse,kot}@few.vu.nl

        Add to Reading List

        Source URL: iswc2011.semanticweb.org

        Language: English - Date: 2011-09-14 18:49:47
          45

          Knowledge Representation and Reasoning for Mixed-Initiative Planning by George Montague Ferguson Submitted in Partial Fulfillment

          Add to Reading List

          Source URL: www.georgeferguson.com

          Language: English - Date: 2013-05-13 13:35:25
            46

            ? Establishing causal claims in medicine ? Jon Williamson Department of Philosophy and Centre for Reasoning

            Add to Reading List

            Source URL: blogs.kent.ac.uk

            Language: English - Date: 2018-03-05 09:03:11
              47

              Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

              Add to Reading List

              Source URL: www.chargueraud.org

              Language: English - Date: 2017-09-21 08:25:51
                48

                Contextual Reasoning in Concept Spaces Stijn De Saeger and Atsushi Shimojima Japan Advanced Institute of Science and Technology (JAIST) fstijn,

                Add to Reading List

                Source URL: ceur-ws.org

                Language: English - Date: 2005-05-30 10:02:54
                  49

                  Title: Analogical Reasoning in Medicine: Bayes meets Jeffrey Abstract: Sometimes evidence for a hypothesis cannot be directly observed. This might be the case if the evidence is inaccessible for theoretical reasons. But

                  Add to Reading List

                  Source URL: concept.phil-fak.uni-koeln.de

                  Language: English - Date: 2017-11-28 07:39:28
                    50

                    Why Reason? Inference, Reasoning, and Education Paul Thagard University of Waterloo

                    Add to Reading List

                    Source URL: watarts.uwaterloo.ca

                    Language: English - Date: 2016-12-20 11:44:55
                      UPDATE