Logic

Results: 27485



#Item
521

Open Questions in Non-Classical Logic, Mathematics and Philosophy Can BA¸ SKENT Department of Computer Science, University of Bath

Add to Reading List

Source URL: canbaskent.net

- Date: 2016-01-18 05:14:20
    522

    What is Game Theoretical Negation? Can BAS ¸ KENT Institut d’Histoire et de Philosophie des Sciences et des Techniques www.canbaskent.net/logic

    Add to Reading List

    Source URL: canbaskent.net

    - Date: 2014-03-06 23:49:49
      523

      Designing Arithmetic Digital Circuits via Rewriting-Logic∗ Mauricio Ayala-Rinc´on† Reiner W. Hartenstein‡ Carlos H. Llanos¶

      Add to Reading List

      Source URL: helios.informatik.uni-kl.de

      - Date: 2013-04-27 06:48:06
        524

        Towards Paraconsistency Game Theory Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

        Add to Reading List

        Source URL: canbaskent.net

        - Date: 2016-03-28 08:06:18
          525

          Appendix A. REESE Program Logic Model INPUTS PROGRAM ACTIVITIES PROGRAM OUTPUT PROGRAM GOALS Communicate Research Select/Fund Create research that informs theory, practice, and policy

          Add to Reading List

          Source URL: higherlogicdownload.s3.amazonaws.com

          - Date: 2012-09-30 20:27:44
            526

            ASSOCIATION FOR SYMBOLIC LOGIC 2016 NORTH AMERICAN ANNUAL MEETING University of Connecticut Storrs, CT May 23-26, 2016 Program Committee: P. Blanchette (Chair), D. Dzhafarov, R. Lubarsky, A. Montalban, J.

            Add to Reading List

            Source URL: asl2016.logic.uconn.edu

            - Date: 2016-04-25 13:49:36
              527

              Fair Cycle Detection using Description Logic Reasoning Shoham Ben-David1 , Jeffrey Pound1 , Richard Trefler1 , Dmitry Tsarkov2 , Grant Weddell1 1. David R. Cheriton School of Computer Science, University of Waterloo 2. S

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2009-07-07 04:46:34
                528

                What is Game Theoretical Negation? Can BAS ¸ KENT Institut d’Histoire et de Philosophie des Sciences et des Techniques www.canbaskent.net/logic

                Add to Reading List

                Source URL: canbaskent.net

                - Date: 2014-03-06 23:49:36
                  529

                  Global Caching, Inverse Roles and Fixpoint Logics Rajeev Gor´e Logic and Computation Group College of Engineering and Computer Science The Australian National University

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2009-07-07 04:46:34
                    530

                    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies Quentin Reul1 and Jeff Z. Pan2 1

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2010-04-20 14:40:19
                      UPDATE