Logic

Results: 27485



#Item
811

LOGIC R AIL TECHNOLOGIESTomball Pkwy Suite 287 Houston, TX 77070

Add to Reading List

Source URL: www.logicrailtech.com

- Date: 2015-12-10 20:57:16
    812

    An Introduction to Paraconsistent Mathematics Zach Weber, University of Otago A paraconsistent logic is one in which local contradictions do not always imply global absurdity, so that it is possible to study inconsistent

    Add to Reading List

    Source URL: irafm.osu.cz

    - Date: 2015-05-06 03:28:07
      813

      April 6, 2010 — final version for proceedings of CiE’10 What is the Problem with Proof Nets for Classical Logic ? Lutz Straßburger ´

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2010-06-19 08:38:24
        814

        A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

        Add to Reading List

        Source URL: www.hermit-reasoner.com

        - Date: 2012-02-03 12:06:02
          815

          Advances in Programming Languages APL3: Hoare logic David Aspinall (slides mostly by Ian Stark) School of Informatics

          Add to Reading List

          Source URL: www.inf.ed.ac.uk

          - Date: 2010-01-18 03:21:25
            816

            The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions Fabrizio Riguzzi ENDIF, Universit` a di Ferrara, Via Saragat, 1, 44100 Ferrara, Italy.

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2008-11-29 05:26:22
              817

              6.825 Techniques in Artificial Intelligence Logic Miscellanea • Completeness and Incompleteness • Equality • Paramodulation

              Add to Reading List

              Source URL: ocw.mit.edu

              - Date: 2016-02-07 19:39:06
                818

                EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY

                Add to Reading List

                Source URL: www.eusflat.org

                - Date: 2015-07-07 06:30:21
                  819

                  LOGIC R AIL TECHNOLOGIESTomball Pkwy Suite 287 Houston, TX 77070

                  Add to Reading List

                  Source URL: www.logicrailtech.com

                  - Date: 2013-02-09 00:12:16
                    820

                    EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT MINUTES OF THE ASSEMBLY OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT) In Aix-Les-Bains (France), the 21st of July 2011, at 17:00, the assembly of

                    Add to Reading List

                    Source URL: www.eusflat.org

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