logical framework
collocation in Englishmeaningsoflogicalandframework
These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withframework.
logical
adjective
uk/ˈlɒdʒ.ɪ.kəl/us/ˈlɑː.dʒɪ.kəl/
using ...
See more atlogical
framework
noun
uk/ˈfreɪm.wɜːk/us/ˈfreɪm.wɝːk/
a supporting structure around which something can ...
See more atframework
(Definition oflogicalandframeworkfrom theCambridge English Dictionary© Cambridge University Press)
Examplesoflogical 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.
In this paper, we defined alogicalframeworkfor modeling queries, updates and update propagation against a set of heterogeneous knowledge bases.
From theCambridge English Corpus
As an aside, this approach allows for formalized proofs about thelogicalframeworkitself.
From theCambridge English Corpus
So, a properlogicalframeworkwould require two interacting logical structures, one being (multiplicative) linear, and the other being intuitionistic.
From theCambridge English Corpus
In-uence of selected issues on system reliability, safety and quality was analysed and a uniformlogicalframeworkfor discussion was put forward.
From theCambridge English Corpus
In order to compare ourlogicalframeworkto these two languages, we will give a complete presentation of both of the languages.
From theCambridge English Corpus
It is meant to be a manifestation of our view that alogicalframeworkis a setting for defining frame languages.
From theCambridge English Corpus
First, however, we need to make clear what we mean by alogicalframeworkin this paper.
From theCambridge English Corpus
It is not easy, on the other hand, to propose alogicalframeworkthat could have been used.
From theCambridge English Corpus
Using temporal logic, a newlogicalframeworkfor specifying and analyzing precedence constraints underlying routesequence planning is proposed.
From theCambridge English Corpus
The principal advantage of that approach over a shallow embedding is that an appropriately chosenlogicalframeworknaturally excludes exotic terms.
From theCambridge English Corpus
The result is alogicalframeworkmodeling both static and dynamic aspects in integrating knowledge from multiple heterogeneous sources.
From theCambridge English Corpus
All that was needed was a language that supported the development of efficient, clean rule definitions within alogicalframework.
From theCambridge English Corpus
These examples suggest a gain in generality by using the proposedlogicalframeworkfor representation of sharing and disjointness of data structures.
From theCambridge English Corpus
This is the formulation of thelogicalframeworkfor which we define the proof-irrelevant model here.
From theCambridge English Corpus
We have proposed alogicalframeworkthat is well suited to model theoretical analysis.
From theCambridge English Corpus
Still, call-by-need does not fit directly into thelogicalframework.
From theCambridge English Corpus
One of the key observations is that we can specify type theories with the simplerlogicalframeworkwithout arbitrary lambda-abstraction.
From theCambridge English Corpus
This is not necessary in alogicalframework.
From theCambridge English Corpus
One important point of view taken in this paper is that alogicalframeworkis a setting for defining frame languages.
From theCambridge English Corpus
A prominent question a designer of alogicalframeworkmust address is how are the variables in an object language represented in the framework?
From theCambridge English Corpus
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 oflogical
Go to the definition offramework
See other collocations withframework