Reasoning

Results: 5026



#Item
271

In each case below, provide an appropriate example and explain your reasoning. If no such example exists, briefly explain why. • Provide an example of a function f such that f (a + b) = f (a) + f (b) for all real numbe

Add to Reading List

Source URL: maa.org

- Date: 2016-11-14 16:25:06
    272

    Representing and Reasoning with Logical and Probabilistic Knowledge on Robots Mohan Sridharan Electrical and Computer Engineering The University of Auckland, New Zealand

    Add to Reading List

    Source URL: homepages.engineering.auckland.ac.nz

    - Date: 2016-07-03 00:40:54
      273

      1 Controlled English for Reasoning on the Semantic Web Juri Luca De Coi1 , Norbert E. Fuchs2 , Kaarel Kaljurand2 , and Tobias Kuhn2 1

      Add to Reading List

      Source URL: attempto.ifi.uzh.ch

      - Date: 2013-09-23 06:46:50
        274

        LarKC The Large Knowledge Collider a platform for large scale integrated reasoning and Web-search FP7 – D1.2.2

        Add to Reading List

        Source URL: wasp.cs.vu.nl

        - Date: 2010-04-07 03:54:36
          275

          Reasoning with Inconsistent Ontologies ∗ Zhisheng Huang, Frank van Harmelen, and Annette ten Teije Department of Computer Science, Vrije Universiteit Amsterdam, The Netherlands {huang, Frank.van.Harmelen, annette}@cs.v

          Add to Reading List

          Source URL: www.cs.vu.nl

          - Date: 2005-04-26 10:35:49
            276

            Reasoning about Software Defined Networks Shachar Itzhaky & Mooly SagivTel Aviv University

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2013-11-07 06:33:48
              277

              Unsupervised Recognition of Interleaved Activities of Daily Living through Ontological and Probabilistic Reasoning Daniele Riboni Univ. of Cagliari, Italy

              Add to Reading List

              Source URL: publications.wim.uni-mannheim.de

              - Date: 2016-07-26 04:36:30
                278

                Reasoning about Nondeterminism in Programs Byron Cook Eric Koskinen ∗ Microsoft Research Cambridge

                Add to Reading List

                Source URL: www.cims.nyu.edu

                - Date: 2013-03-31 19:01:05
                  UPDATE