Semantics

Results: 7371



#Item
191

Interaction Semantics and Programming Language Compilation Ulrich Schöpp LMU Munich Introduction

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

    192

    HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu University of Washington {chushumo, weitzkon, akcheung, suciu}@cs.washington.edu

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2017-04-19 04:15:11
      193

      Semantics: The goal of semantics is to define the meaning of a programming language. Prose is a bad way to do this; it is imprecise, subjective, impossible to analyze. Semantics is a collection of techniques which define

      Add to Reading List

      Source URL: ericmccorkleblog.files.wordpress.com

      - Date: 2016-11-18 09:20:49
        194

        An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

        Add to Reading List

        Source URL: ceur-ws.org

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

          Exactly-once semantics in a replicated messaging system Abstract Replication, of course, introduces the problem of duplicate delivery. A client can connect to one server

          Add to Reading List

          Source URL: ilpubs.stanford.edu

          - Date: 2008-10-08 20:47:36
            196

            Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning On the Functional Completeness of Argumentation Semantics� Massimiliano Giacomin1 , Thomas Linsbichler2 , and Stefan Woltran2 1

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2015-09-04 11:22:25
              197

              Game Semantics for Paraconsistent Logics Can BA¸ SKENT Department of Computer Science, University of Bath

              Add to Reading List

              Source URL: canbaskent.net

              - Date: 2015-11-19 03:55:42
                198

                Exponential Speedup in U L Subsumption Checking Relative to General TBoxes for the Constructive Semantics Michael Mendler and Stephan Scheele Informatics Theory Group University of Bamberg, Germany

                Add to Reading List

                Source URL: ceur-ws.org

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

                  Game Semantics for some Non-Classical Logics Can BAS ¸ KENT INRIA, Nancy - France

                  Add to Reading List

                  Source URL: canbaskent.net

                  - Date: 2014-07-12 04:11:10
                    200

                    Adding Semantics to Data-Driven Paraphrasing: Supplementary Material 1 Data Annotation

                    Add to Reading List

                    Source URL: aclweb.org

                    - Date: 2015-07-22 03:19:40
                      UPDATE