Logic

Results: 27485



#Item
781

EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT MINUTES OF THE ASSEMBLY OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT)

Add to Reading List

Source URL: www.eusflat.org

- Date: 2011-12-12 02:22:47
    782

    A Logic-based Framework for Mobile Intelligent Information Agents Naoki Fukuta, Takayuki Ito, and Toramatsu Shintani Nagoya Institute of Technology Dept. Intelligence and Computer Science Gokiso-cho, Showa-ku, Nagoya, 46

    Add to Reading List

    Source URL: www10.org

    - Date: 2001-03-15 03:31:16
      783

      Names are (mostly) Useless: Encoding Nominal Logic Programming Techniques with Use-counting and Dependent Types Jason Reed September 20, 2008

      Add to Reading List

      Source URL: www.cis.upenn.edu

      - Date: 2008-10-15 15:02:54
        784

        Paired-Dual Learning for Fast Training of Latent Variable Hinge-Loss MRFs: Appendices A. Probabilistic Soft Logic users (i.e., users that are not top users).

        Add to Reading List

        Source URL: psl.umiacs.umd.edu

        - Date: 2015-05-18 20:16:52
          785

          highresRT_Logic-Kratos_Logo

          Add to Reading List

          Source URL: www.rtlogic.com

          - Date: 2016-08-09 00:36:58
            786

            Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

            Add to Reading List

            Source URL: www.cis.upenn.edu

            - Date: 2008-10-15 15:02:55
              787

              ThreadX 5.0 Services © 2006 by Express Logic, Inc. ThreadX Entry VOID

              Add to Reading List

              Source URL: rtos.com

              - Date: 2010-05-21 11:32:38
                788

                RESEaRch NEWS & VIEWS vi Si o n 50 Years Ago An Introduction to the Logic of the Sciences. By R. Harré — This is a very

                Add to Reading List

                Source URL: color.psych.upenn.edu

                - Date: 2010-10-06 20:16:41
                  789

                  The Resolution Calculus for First-Order Logic Anders Schlichtkrull June 30, 2016 Abstract This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness pro

                  Add to Reading List

                  Source URL: www.isa-afp.org

                  - Date: 2016-06-30 11:26:49
                    790

                    Using Authorization Logic to Capture User Policies in Mobile Ecosystems 1. Joseph Hallett∗

                    Add to Reading List

                    Source URL: cups.cs.cmu.edu

                    - Date: 2015-07-03 02:38:26
                      UPDATE