Floris

Results: 129



#Item
11

AIFdb: Infrastructure for the Argument Web John LAWRENCE, Floris BEX, Chris REED and Mark SNAITH Argumentation Research Group, School of Computing, University of Dundee Abstract. This paper introduces AIFdb, a database s

Add to Reading List

Source URL: www.arg.dundee.ac.uk

Language: English - Date: 2013-10-01 10:55:51
    12

    >> UITGEVERIJ SCHOKLAND • DOSSIER Arthur Koestler/4 Koester de vrijheid! BRON: Recensie van Floris van den Berg in De Vrijdenker.

    Add to Reading List

    Source URL: www.uitgeverijschokland.nl

    Language: Dutch - Date: 2018-02-22 09:28:45
      13

      An integrated theory of causal stories and evidential arguments Floris Bex Department of Information and Computing Sciences Utrecht University, The Netherlands

      Add to Reading List

      Source URL: www.florisbex.com

      - Date: 2015-05-18 15:11:30
        14

        A.I. for Online Criminal Complaints: From Natural Dialogues to Structured Scenarios Floris Bex, Joeri Peters and Bas Testerink1 Abstract. There exists a mismatch between the sort of crime reports that police would prefer

        Add to Reading List

        Source URL: www.florisbex.com

        - Date: 2016-07-08 10:16:21
          15

          From Arguments to Constraints on a Bayesian Network a Floris BEX a , Silja RENOOIJ a Information and Computing Sciences, Utrecht University, The Netherlands

          Add to Reading List

          Source URL: www.florisbex.com

          - Date: 2016-07-08 10:09:16
            16

            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
              17

              ArguBlogging: An Application for the Argument Web Floris Bexa , Mark Snaithb , John Lawrenceb , Chris Reedb,∗ a University of Groningen, the Netherlands of Dundee, UK

              Add to Reading List

              Source URL: www.florisbex.com

              - Date: 2014-02-21 10:06:13
                18

                Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io

                Add to Reading List

                Source URL: www.math.ias.edu

                - Date: 2016-07-28 14:38:46
                  19

                  The Lean Theorem Prover (system description) Leonardo de Moura1 , Soonho Kong2 , Jeremy Avigad2 , Floris van Doorn2 and Jakob von Raumer2* 1

                  Add to Reading List

                  Source URL: leanprover.github.io

                  - Date: 2016-06-07 10:54:54
                    20

                    Floris Overduin, Nicander of Colophon’s Theriaca: A Literary Commentary (Mnemosyne SupplLeiden: Brill, ISBN: xiv, 578 pages. This sets out to be a ‘literary’ commentary on the longer o

                    Add to Reading List

                    Source URL: ancienthistorybulletin.org

                    - Date: 2015-05-17 11:34:57
                      UPDATE