Reasoning

Results: 5026



#Item
31On Web-scale Reasoning Jacopo Urbani ii

On Web-scale Reasoning Jacopo Urbani ii

Add to Reading List

Source URL: www.jacopourbani.it

Language: English - Date: 2014-03-23 18:27:38
    32A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation Sjoerd T. Timmer John-Jules Ch. Meyer

    A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation Sjoerd T. Timmer John-Jules Ch. Meyer

    Add to Reading List

    Source URL: www.ai.rug.nl

    Language: English - Date: 2015-05-12 04:42:06
      33Reasoning About Loops Using Vampire in KeY? Wolfgang Ahrendt, Laura Kovács, and Simon Robillard Chalmers University of Technology We describe symbol elimination and consequence nding in

      Reasoning About Loops Using Vampire in KeY? Wolfgang Ahrendt, Laura Kovács, and Simon Robillard Chalmers University of Technology We describe symbol elimination and consequence nding in

      Add to Reading List

      Source URL: www.cse.chalmers.se

      Language: English - Date: 2015-09-23 08:29:44
        34DALICC: Search and conflict detection using automatic reasoning and legal expert knowledge Victor Mireles1?? , Simon Steyskal2 , Oleksandra Panasiuk3 , Kurt Moser1 , Markus Drfler4 , Christoph Ellinger1 , Thomas Thurner1

        DALICC: Search and conflict detection using automatic reasoning and legal expert knowledge Victor Mireles1?? , Simon Steyskal2 , Oleksandra Panasiuk3 , Kurt Moser1 , Markus Drfler4 , Christoph Ellinger1 , Thomas Thurner1

        Add to Reading List

        Source URL: 2017.kesw.ru

        Language: English - Date: 2017-12-06 16:36:28
          35Evolutionary Psychology and Human Reasoning: Testing the Domain-Specificity Hypothesis through Wason Selection Task Fabrizio Ferrara ()* Amedeo Esposito ()* Barbara Piz

          Evolutionary Psychology and Human Reasoning: Testing the Domain-Specificity Hypothesis through Wason Selection Task Fabrizio Ferrara ()* Amedeo Esposito ()* Barbara Piz

          Add to Reading List

          Source URL: ceur-ws.org

          Language: English - Date: 2015-08-07 07:25:09
            36Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning Bart Verheija Floris Bexb

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

            Add to Reading List

            Source URL: www.ai.rug.nl

            Language: English - Date: 2015-07-23 04:34:07
              37Suppression Effects in the DualSource Model of Conditional Reasoning Henrik Singmann Sieghard Beller Karl Christoph Klauer

              Suppression Effects in the DualSource Model of Conditional Reasoning Henrik Singmann Sieghard Beller Karl Christoph Klauer

              Add to Reading List

              Source URL: pfeifer.userweb.mwn.de

              Language: English - Date: 2016-01-08 08:13:00
                38Logical Reasoning as Argumentation, Or: How Lessons from the Law Are Changing Artificial Intelligence Bart Verheij Institute of Artificial Intelligence and Cognitive Engineering www.ai.rug.nl/~verheij

                Logical Reasoning as Argumentation, Or: How Lessons from the Law Are Changing Artificial Intelligence Bart Verheij Institute of Artificial Intelligence and Cognitive Engineering www.ai.rug.nl/~verheij

                Add to Reading List

                Source URL: www.ai.rug.nl

                Language: English - Date: 2016-09-11 04:34:20
                  39Being Reborn: The Humanities, Computing and Styles of Scienti c Reasoning 1 Willard McCarty King’s College London

                  Being Reborn: The Humanities, Computing and Styles of Scienti c Reasoning 1 Willard McCarty King’s College London

                  Add to Reading List

                  Source URL: www.mccarty.org.uk

                  Language: English - Date: 2008-12-10 05:26:35
                    40Correct Grounded Reasoning with Presumptive Arguments Bart Verheij Artificial Intelligence, University of Groningen Abstract. We address the semantics and normative questions for reasoning with

                    Correct Grounded Reasoning with Presumptive Arguments Bart Verheij Artificial Intelligence, University of Groningen Abstract. We address the semantics and normative questions for reasoning with

                    Add to Reading List

                    Source URL: www.ai.rug.nl

                    Language: English - Date: 2016-09-17 11:52:39