Reasoning

Results: 5026



#Item
281

Political Parties, Motivated Reasoning, and Public Opinion Formation Thomas J. Leeper Department of Political Science Aarhus University Bartholins AlleAarhus C, Denmark

Add to Reading List

Source URL: dl.dropboxusercontent.com

    282

    Pacific Symposium on Biocomputing 15:SYNTHESIS OF PHARMACOKINETIC PATHWAYS THROUGH KNOWLEDGE ACQUISITION AND AUTOMATED REASONING LUIS TARI, SAADAT ANWAR, SHANSHAN LIANG, JÖRG HAKENBERG, CHITTA BARAL Depar

    Add to Reading List

    Source URL: psb.stanford.edu

    - Date: 2015-08-18 15:12:27
      283

      EU-IST Integrated Project (IP) ISTSEKT SEKT: Semantically Enabled Knowledge Technologies Reasoning with Inconsistent Ontologies: Evaluation Zhisheng Huang, Frank van Harmelen

      Add to Reading List

      Source URL: wasp.cs.vu.nl

      - Date: 2006-03-06 09:01:19
        284

        Abella: A System for Reasoning about Relational Specifications DAVID BAELDE LSV, ENS Cachan, France KAUSTUV CHAUDHURI

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        - Date: 2015-02-05 11:20:10
          285

          From Real-World Regulations to Concrete Norms for Software Agents – A Case-Based Reasoning Approach

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2009-07-16 06:49:16
            286

            Formal Reasoning about Software Systems Mooly SagivTel Aviv University

            Add to Reading List

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

            - Date: 2016-03-01 06:07:27
              287

              Reasoning_service_to_improve_routable_road_mapMB

              Add to Reading List

              Source URL: koenigstuhl.geog.uni-heidelberg.de

              - Date: 2013-07-30 09:38:53
                288

                Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems

                Add to Reading List

                Source URL: people.mpi-sws.org

                - Date: 2015-09-30 05:51:35
                  289

                  Five Dimensions of Reasoning in the Wild Don Perlis University of Maryland, College Park MD Abstract

                  Add to Reading List

                  Source URL: www.cs.umd.edu

                  - Date: 2016-02-18 08:34:49
                    290

                    Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Applications of hierarchical reasoning in the verification of complex sys

                    Add to Reading List

                    Source URL: www.swenjacobs.com

                    - Date: 2013-01-31 09:32:01
                      UPDATE