Formal language

Results: 1838



#Item
1

Hilbert II Presentation of Formal Correct Mathematical Knowledge Logical Language Michael Meyling

Add to Reading List

Source URL: www.qedeq.org

Language: English - Date: 2013-05-24 16:15:03
    2

    Formal Issues in Natural Language Generation Kees van Deemter *, Ehud Reiter *, and Helmut Horacek † (*) Dept. of Computing Science, University of Aberdeen, UK (†) Universit¨at des Saarlandes, Saarbr¨ucken, Germany

    Add to Reading List

    Source URL: homepages.abdn.ac.uk

    Language: English - Date: 2006-08-18 09:24:19
      3

      Towards a Formal Language for Electronic Contracts Gerardo Schneider gerardo@i.uio.no Joint work with Cristian Prisacariu (cristi@i.uio.no)

      Add to Reading List

      Source URL: www.cse.chalmers.se

      - Date: 2012-01-20 16:13:27
        4

        Fabienne Martin, Dennis Spohr, Achim Stein Representing a Resource of Formal Lexical-Semantic Descriptions in the Web Ontology Language This paper presents an approach to disambiguating verb senses which

        Add to Reading List

        Source URL: www.jlcl.org

        - Date: 2011-01-03 04:19:41
          5

          A formal account of WS-BPEL? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We introduce Blite, a lightweight language for we

          Add to Reading List

          Source URL: rap.dsi.unifi.it

          - Date: 2008-03-19 11:59:53
            6

            Formal Language Recognition with the Java Type Checker Yossi Gil1 and Tomer Levy2 1 Department of Computer Science, The Technion—Israel Institute of

            Add to Reading List

            Source URL: drops.dagstuhl.de

            - Date: 2016-07-18 08:03:01
              7

              Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

              Add to Reading List

              Source URL: formal.iti.kit.edu

              - Date: 2014-03-13 08:30:05
                8

                AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING AND THE AI PROBLEMS IT RAISES John McCarthy Computer Science Department Stanford University

                Add to Reading List

                Source URL: www-formal.stanford.edu

                - Date: 2002-03-26 18:16:58
                  9

                  國家華語測驗推動工作委員會 2016 年駐洛杉磯教育組轄區華語文能力測驗報名表 Test of Chinese as a Foreign Language (TOCFL) Formal Test Registration Form 測驗時間Test Date:____(月/M)___(

                  Add to Reading List

                  Source URL: www.tw.org

                  - Date: 2016-01-15 18:46:42
                    10

                    Introduction Semantics of Modeling Languages and Transformations The Rewriting Logic Semantics Project Case Study: Multi-Rate PALS and AADL Why Formal Modeling Language Semantics

                    Add to Reading List

                    Source URL: models2014.webs.upv.es

                    - Date: 2014-10-29 20:38:03
                      UPDATE