Reasoning

Results: 5026



#Item
161

Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands.  Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS†

Add to Reading List

Source URL: marenas.sitios.ing.uc.cl

- Date: 2013-04-26 05:57:02
    162

    NetQuery: A Universal Channel for Reasoning about Network Properties Alan Shieh† , Oliver Kennedy† , Emin G¨un Sirer {ashieh,okennedy,egs}@cs.cornell.edu Dept. of Computer Science, Cornell University Although the co

    Add to Reading List

    Source URL: www.cs.cornell.edu

    - Date: 2009-12-11 23:31:04
      163

      Extended Abstract: Type-Directed Reasoning for Probabilistic, Non-Compositional Resources Christopher Schwaab Edwin Brady

      Add to Reading List

      Source URL: tydeworkshop.org

      - Date: 2017-11-13 07:34:26
        164

        Journal of Artificial Intelligence Research Submitted 07/11; publishedLocation-Based Reasoning about Complex Multi-Agent Behavior Adam Sadilek

        Add to Reading List

        Source URL: www.cs.rochester.edu

        - Date: 2012-01-04 13:41:10
          165

          Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning Bart Verheija Floris Bexb

          Add to Reading List

          Source URL: www.florisbex.com

          - Date: 2015-10-24 04:27:03
            166

            Reasoning about Object Capabilities with Logical Relations and Effect Parametricity (EuroS&P 2016, Saarbrücken) Dominique Devriese1 , Frank Piessens1 , Lars Birkedal2 1 2

            Add to Reading List

            Source URL: proglang.informatik.uni-freiburg.de

            - Date: 2017-10-04 11:31:53
              167

              Natural Language for Visual Reasoning Alane Suhr, Mike Lewis, James Yeh, Yoav Artzi lic.nlp.cornell.edu/nlvr/

              Add to Reading List

              Source URL: yoavartzi.com

              - Date: 2018-04-02 13:13:18
                168

                Further Beyond Sudoku: Using Logic Puzzles to Develop Mathematical Reasoning Bree Pickford-Murray The Bay School of San Francisco

                Add to Reading List

                Source URL: betweenthenumbers.files.wordpress.com

                - Date: 2017-04-07 11:03:11
                  169

                  Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant Gilles Barthe1 , Julien Forest1 , David Pichardie1 , and Vlad Rusu2 1 EVEREST Team, INRIA Sophia-Antipolis, France

                  Add to Reading List

                  Source URL: people.irisa.fr

                  - Date: 2016-12-12 04:14:29
                    170

                    Argumentation frameworks for explanation-based reasoning Francesca Toni Tutorial @ KR2016, Cape Town, South Africa Department of Computing, Imperial College London, UK CLArg (Computational Logic and Argumentation) Group

                    Add to Reading List

                    Source URL: kr2016.cs.uct.ac.za

                    - Date: 2016-04-28 05:31:15
                      UPDATE