Reasoning

Results: 5026



#Item
331

A Least Resistance Path in Reasoning about Unstructured Overlay Networks Giorgos Georgiadis and Marina Papatriantafilou Department of Computer Science and Engineering, Chalmers University of Technology, SGötebo

Add to Reading List

Source URL: www.cse.chalmers.se

- Date: 2009-08-24 14:23:28
    332

    Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

    Add to Reading List

    Source URL: dream.inf.ed.ac.uk

    - Date: 2010-05-28 10:14:09
      333

      Journal of Automated Reasoning 16: 321–353, 1996. c 1996 Kluwer Academic Publishers. Printed in the Netherlands. 321

      Add to Reading List

      Source URL: www.cs.bu.edu

      - Date: 2001-01-30 15:44:51
        334

        ¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

        Add to Reading List

        Source URL: resources.mpi-inf.mpg.de

        - Date: 2013-08-19 07:45:49
          335

          Bounded Reasoning and Higher-Order Uncertainty Willemien Kets∗ September 4, 2014 First version: NovemberAbstract

          Add to Reading List

          Source URL: wkets.org

          - Date: 2015-11-15 19:36:17
            336

            Postdoc offer Title: Big data analyses for intelligent management of water distribution Keywords: Data modeling, ontology, knowledge reasoning, Cloud computing, Big Data, Smart Metering, Internet of Things (IoT) Context

            Add to Reading List

            Source URL: laboratoirehubertcurien.fr

            - Date: 2015-07-21 08:30:21
              337

              A Structure-Mapping Model of Raven’s Progressive Matrices Andrew Lovett () Kenneth Forbus () Jeffrey Usher () Qualitative Reasoning Group, N

              Add to Reading List

              Source URL: silccenter.org

              - Date: 2010-05-15 16:41:31
                338

                A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

                Add to Reading List

                Source URL: www.hermit-reasoner.com

                - Date: 2012-02-03 12:06:02
                  339

                  Journal of Machine Learning Research1140 Submitted 10/09; Revised 1/10; Published 3/10 Continuous Time Bayesian Network Reasoning and Learning Engine Christian R. Shelton

                  Add to Reading List

                  Source URL: rlair.cs.ucr.edu

                  - Date: 2011-01-19 19:25:15
                    340

                    Qualitative Reasoning for Learning by Reading: A Theoretical Analysis Kenneth D. Forbus, David Barbella, Clifton McFate Qualitative Reasoning Group, Northwestern University 2133 Sheridan Road, Evanston, IL, 60208, USA fo

                    Add to Reading List

                    Source URL: qr15.sift.net

                    - Date: 2015-08-11 09:14:44
                      UPDATE