| 词汇 | example_english_logical-framework |
| 释义 | logical frameworkcollocation in Englishmeanings of logicaland frameworkThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with framework. logical adjective uk /ˈlɒdʒ.ɪ.kəl/ us /ˈlɑː.dʒɪ.kəl/ using ... See more at logical framework noun uk /ˈfreɪm.wɜːk/ us /ˈfreɪm.wɝːk/ a supporting structure around which something can ... See more at framework Examples of logical frameworkThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. In this paper, we defined a logicalframework for modeling queries, updates and update propagation against a set of heterogeneous knowledge bases. As an aside, this approach allows for formalized proofs about the logicalframework itself. So, a proper logicalframework would require two interacting logical structures, one being (multiplicative) linear, and the other being intuitionistic. In-uence of selected issues on system reliability, safety and quality was analysed and a uniform logicalframework for discussion was put forward. In order to compare our logicalframework to these two languages, we will give a complete presentation of both of the languages. It is meant to be a manifestation of our view that a logicalframework is a setting for defining frame languages. First, however, we need to make clear what we mean by a logicalframework in this paper. It is not easy, on the other hand, to propose a logicalframework that could have been used. Using temporal logic, a new logicalframework for specifying and analyzing precedence constraints underlying routesequence planning is proposed. The principal advantage of that approach over a shallow embedding is that an appropriately chosen logicalframework naturally excludes exotic terms. The result is a logicalframework modeling both static and dynamic aspects in integrating knowledge from multiple heterogeneous sources. All that was needed was a language that supported the development of efficient, clean rule definitions within a logicalframework. These examples suggest a gain in generality by using the proposed logicalframework for representation of sharing and disjointness of data structures. This is the formulation of the logicalframework for which we define the proof-irrelevant model here. We have proposed a logicalframework that is well suited to model theoretical analysis. Still, call-by-need does not fit directly into the logicalframework. One of the key observations is that we can specify type theories with the simpler logicalframework without arbitrary lambda-abstraction. This is not necessary in a logicalframework. One important point of view taken in this paper is that a logicalframework is a setting for defining frame languages. A prominent question a designer of a logicalframework must address is how are the variables in an object language represented in the framework? These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Want to learn more? Go to the definition of logical Go to the definition of framework See other collocations with framework |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。