Reasoning

Results: 5026



#Item
251

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

Add to Reading List

Source URL: wasp.cs.vu.nl

- Date: 2009-09-30 05:56:20
    252

    PREDICATIVITY BEYOND Γ0 NIK WEAVER Abstract. We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Sch¨ utte ordinal Γ0 . First we comprehensively criticize the argu

    Add to Reading List

    Source URL: www.math.wustl.edu

    - Date: 2014-05-10 23:37:55
      253

      Plausible reasoning based on qualitative entity embeddings Steven Schockaert (joint work with Shoaib Jameel) School of Computer Science & Informatics

      Add to Reading List

      Source URL: users.cs.cf.ac.uk

      - Date: 2016-07-18 05:31:17
        254

        The PSOATransRun 1.0 System for Object-Relational Reasoning in RuleML Gen Zou, Faculty of Computer Science, University of New Brunswick, Canada The 6th Atlantic Workshop on Semantics and Services (AWoSSFaculty of

        Add to Reading List

        Source URL: ruleml.org

        - Date: 2016-03-16 14:10:05
          255

          Reasoning about Edits to Feature Models Thomas Th¨um School of Computer Science University of Magdeburg

          Add to Reading List

          Source URL: pdfs.semanticscholar.org

          - Date: 2015-07-28 21:53:52
            256

            Learning from Errors by Counterfactual Reasoning in a Unified Cognitive Architecture Andreea Danielescu () David J. Stracuzzi () Nan Li () Pat Langley

            Add to Reading List

            Source URL: www.isle.org

            - Date: 2015-11-29 23:18:54
              257

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

              Add to Reading List

              Source URL: wasp.cs.vu.nl

              - Date: 2010-04-07 03:55:15
                258

                Journal on Satisfiability, Boolean Modeling and ComputationHard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques Harri Haanp¨ a¨

                Add to Reading List

                Source URL: jsat.ewi.tudelft.nl

                - Date: 2006-03-23 10:14:05
                  259

                  EU-IST Integrated Project (IP) ISTSEKT SEKT: Semantically Enabled Knowledge Technologies Reasoning with Multi-version Ontologies Zhisheng Huang and Heiner Stuckenschmidt

                  Add to Reading List

                  Source URL: wasp.cs.vu.nl

                  - Date: 2005-08-08 08:02:24
                    260

                    First-Order Probabilistic Reasoning: Successes and Challenges Guy Van den Broeck IJCAI Early Career Spotlight Jul 14, 2016

                    Add to Reading List

                    Source URL: web.cs.ucla.edu

                    - Date: 2016-07-14 17:17:25
                      UPDATE