Reasoning

Results: 5026



#Item
291

Using Semantic Distances for Reasoning with Inconsistent Ontologies1 Zhisheng Huang a a Frank van Harmelen a

Add to Reading List

Source URL: www.cs.vu.nl

- Date: 2009-06-16 07:37:11
    292

    A Type Theory for Probabilistic and Bayesian Reasoning∗ Robin Adams1 and Bart Jacobs1 1 Institute for Computing and Information Sciences,

    Add to Reading List

    Source URL: www.cs.ru.nl

    - Date: 2015-11-30 05:35:32
      293

      On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning? Xinyu Feng Rodrigo Ferreira

      Add to Reading List

      Source URL: flint.cs.yale.edu

      - Date: 2007-01-06 22:42:31
        294

        COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ

        Add to Reading List

        Source URL: staff.um.edu.mt

        - Date: 2014-07-01 03:52:04
          295

          Formal Reasoning about Networks Mooly SagivTel Aviv University

          Add to Reading List

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

          - Date: 2016-03-20 05:25:20
            296

            On local reasoning in verification Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans Max-Planck-Institut f¨ ur Informatik, Campus E1 4, Saarbr¨ ucken, Germany e-mail: {ihlemann,sjacobs,sofronie}@mpi-inf.mpg.d

            Add to Reading List

            Source URL: www.swenjacobs.com

            - Date: 2013-01-31 09:32:34
              297

              Visually Reasoning about System and Resource Behavior

              Add to Reading List

              Source URL: www.cs.ubc.ca

                298

                Journal of Automated Reasoning manuscript No. (will be inserted by the editor) On Interpolation in Automated Theorem Proving Maria Paola Bonacina · Moa Johansson

                Add to Reading List

                Source URL: www.cse.chalmers.se

                  299

                  Bayesian Reasoning for Intelligent People Simon DeDeo∗ August 2, 2016 Contents 1 The Briefest of Introductions to Conditional and Joint Probabilities

                  Add to Reading List

                  Source URL: tuvalu.santafe.edu

                  - Date: 2016-08-02 12:08:04
                    300

                    Automated Reasoning SS10 Grades Final Exam Student Number

                    Add to Reading List

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

                    - Date: 2010-07-30 02:42:00
                      UPDATE