F-logic

Results: 483



#Item
1R EASONING ABOUT F ICTION T OM S CHOONEN & F RANZ B ERTO Institute for Logic, Language, and Computation P REPRINT V ERSION University of Amsterdam

R EASONING ABOUT F ICTION T OM S CHOONEN & F RANZ B ERTO Institute for Logic, Language, and Computation P REPRINT V ERSION University of Amsterdam

Add to Reading List

Source URL: tomschoonen.com

Language: English - Date: 2017-12-10 11:03:53
    2Is there a Logic of Imperatives? J¨org Hansen Institut f¨ ur Philosophie Universit¨ at Leipzig

    Is there a Logic of Imperatives? J¨org Hansen Institut f¨ ur Philosophie Universit¨ at Leipzig

    Add to Reading List

    Source URL: icr.uni.lu

    Language: English - Date: 2014-12-05 12:20:27
      3Game-Theoretic Robustness in Cooperation and Prejudice Reduction: A Graphic Measure Patrick Grim1, Randy Au2, Nancy Louie3, Robert Rosenberger 1, William Braynen4, Evan Selinger5, and Robb E. Eason1 Group for Logic and F

      Game-Theoretic Robustness in Cooperation and Prejudice Reduction: A Graphic Measure Patrick Grim1, Randy Au2, Nancy Louie3, Robert Rosenberger 1, William Braynen4, Evan Selinger5, and Robb E. Eason1 Group for Logic and F

      Add to Reading List

      Source URL: www.pgrim.org

      Language: English - Date: 2008-06-20 22:09:44
        4Active Logic and Tetris Victor Nilsson Examensarbete f¨ or 15 hp Institutionen f¨

        Active Logic and Tetris Victor Nilsson Examensarbete f¨ or 15 hp Institutionen f¨

        Add to Reading List

        Source URL: fileadmin.cs.lth.se

        Language: English - Date: 2010-09-17 03:43:06
          5Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 ,

          Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 ,

          Add to Reading List

          Source URL: cliplab.org

          - Date: 2012-06-27 16:30:59
            6Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes ? Sofia Espinosa Peraldi, Atila Kaya, Ralf M¨oller Hamburg University of Technology, Germany, {sofia.espinosa, at.kaya, r.f.moeller}

            Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes ? Sofia Espinosa Peraldi, Atila Kaya, Ralf M¨oller Hamburg University of Technology, Germany, {sofia.espinosa, at.kaya, r.f.moeller}

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2009-07-07 04:46:34
              7Noel Howard Runyan Vita June 2007 Over thirty-six years experience with microprocessors, digital logic, analog circuits, speech output, systems architecture, human interface design, and development of access technology f

              Noel Howard Runyan Vita June 2007 Over thirty-six years experience with microprocessors, digital logic, analog circuits, speech output, systems architecture, human interface design, and development of access technology f

              Add to Reading List

              Source URL: votingsystems.cdn.sos.ca.gov

              - Date: 2014-12-02 18:19:23
                8Games for Learning A Sabotage Approach Nina Gierasimczuk, Lena Kurzen and Fernando R. Vel´azquez-Quesada Institute for Logic, Language and Computation Universiteit van Amsterdam Email: {N.Gierasimczuk | L.M.Kurzen | F.R

                Games for Learning A Sabotage Approach Nina Gierasimczuk, Lena Kurzen and Fernando R. Vel´azquez-Quesada Institute for Logic, Language and Computation Universiteit van Amsterdam Email: {N.Gierasimczuk | L.M.Kurzen | F.R

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2009-08-10 08:38:58
                  9Cambridge University Press4 - The Description Logic Handbook: Theory, Implementation, and Applications Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi and Peter F. Patel-Sch

                  Cambridge University Press4 - The Description Logic Handbook: Theory, Implementation, and Applications Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi and Peter F. Patel-Sch

                  Add to Reading List

                  Source URL: pdfs.semanticscholar.org

                  - Date: 2015-12-07 11:27:29
                    10Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424–460. ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC RICHARD F. BLUTE, FRANÇOIS LAMARCHE, PAUL RUET ABSTRACT. We give a definition of

                    Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424–460. ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC RICHARD F. BLUTE, FRANÇOIS LAMARCHE, PAUL RUET ABSTRACT. We give a definition of

                    Add to Reading List

                    Source URL: www.tac.mta.ca

                    - Date: 2002-10-11 13:21:20