「Semantics」の共起表現(1語右で並び替え)

意味
共起
表現

「Semantics」の共起表現一覧(1語右で並び替え)

Semantics

1 2 次へ＞

1語右で並び替え

該当件数:231件

The appeal of this approach is the elegant semantics: a change in the axioms has a well-defined c
With Peter Mosses he developed action semantics, a combination of denotational semantics, op
Functional Semantics: A Theory of Meaning, Structure and Tense in
In Henkin semantics, a separate domain is included in each inter
Action Semantics aims to be pragmatic.
Commit or rollback semantics, also known as strong exception safety or no
In denotational semantics an object function f : A → B can be modelled
Linguistic Semantics: An introduction (1995)
introduced his adaptive Universal Syntax and Semantics Analyzer (USSA) in 1992.
essor Victor Raskin, a father of ontological semantics and noted international authority in the fie
l, The Navya-Nyaya Doctrine of Negation: The Semantics and Ontology of Negative Statements in Navya
n both Hindi and English, about the grammar, semantics, and dialectology of Hindi.
th continuous-time and event-driven modeling semantics, and so is suitable for analog, digital, and
ocument presentations, that assigns specific semantics and processing expectations to a fixed set o
It has first-order logic semantics, and includes machinery for reasoning, inclu
al basis, i.e. they have a formal syntax and semantics, and can be mapped to an existing formal lan
etical computer science (lambda-calculus and semantics) and higher dimensional algebra.
In many Wiki markup languages, the semantics and effect of HTML <blockquote> is different
"Structural Semantics and Instrumental Music".
anguage (especially the relationship between semantics and syntax), but he claims, "I'm probably be
nguage are used to represent both syntax and semantics, and function is assigned in hard to grasp w
he original, relative to a particular formal semantics and in fewer cases the transformations resul
ISO/IEC 26300 specification states that the semantics and the syntax is dependant on the used name
Semantics and Pragmatics: Meaning in Language and Disc
ther related dialects, their interpretation, semantics, and compilation and contains code for 11 in
r debate is raging today between traditional semantics and cognitive linguistics, over the view whe
It had largely Lisp-like semantics and Algol 60-like syntax.
ge, since each of them has its own concepts, semantics and terminology; the term may not even be ap
Well-defined formal semantics and support for formal analysis
t whose expertise includes modals, situation semantics, and a range of topics relating to the synta
ed a leading role in the development of game semantics, and its applications to the semantics of pr
so interpret the model to provide executable semantics and perform complex analyses.
"Moral Semantics and Empirical Enquiry," Moral Psychology, ed
f the OWL family have model theoretic formal semantics, and so have strong logical foundations.
He was one of the founders of denotational semantics, and a pioneer in programming language desig
veloper of domain theory in logic form, game semantics and categorical quantum mechanics
Jackendoff takes syntax, semantics and phonology all to be generative, connecte
a-3 is defined with a structured operational semantics and with a set of static type rules.
of Auckland, researcher on language syntax, semantics and standardology.
The book is "a study in sociological semantics and the sociology of science", as the subtit
tions in the study of modal logic and formal semantics, and is author of Modal Logic for Philosophe
, Joachim (1971), Torsion theories, additive semantics, and rings of quotients, With an appendix by
iding a common interface usable for defining semantics applicable toward arbitrary language binding
t, and *-s, are highly widespread, but their semantics are difficult to reconstruct (Matisoff 2003:
Newsqueak's syntax and semantics are influenced by the C language, but its ap
to A(I,K), assuming the multiple assignment semantics are left to right.
to a verbal structure; the arguments and the semantics are determined by the N and the tense marker
More abstract semantics are then derived; for instance, one may cons
Its syntax and semantics are based on procedural (imperative) and fun
Ghinnawa semantics are well-defined only in context, because of
2.0 defines a mode of execution in which the semantics are modified to be as close as possible to X
to an immutable object behaves with the same semantics as a value type variable-for example, in bot
gramming language) is a future with blocking semantics as defined above.
It happens that defining Actor semantics as in Clinger [1981] does not require solvin
Semantics aside, I think that your version looks bette
d Korzybski founded the Institute of General Semantics at the former Richardson mansion in Lime Roc
aught English, creative writing, and general semantics at San Francisco State College, where he was
(1879-1950) founded the Institute of General Semantics at a country estate in the Salisbury hamlet
Aside from formal semantics, attribute grammars have also been used for
s spurred on by the development of Cognitive Semantics, beginning in 1975 and extending through the
level adds expressibility to the expression semantics, but either loses some desirable property or
A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
ink this is incredibly disingenuous to bandy semantics by calling it so.
g Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge Tract
ations that exist in the industry containing semantics compatible with leading business process mod
Denotational semantics concerns itself with finding more appropriat
Their work has spawned work on semantics, connections between classical logic and com
Political Philosophy, Philosophy of Biology, Semantics, Critical Race Theory and Postcolonialism.
1975, Semantics, Crowell, 1975.
ves two operations, with simple denotational semantics defined in terms of lambda calculus.
The most precise semantics, describing very closely the actual executio
Formal semantics: Description by mathematics.
Since Tarskian semantics does not allow indeterminate truth values, i
hristi," in which he utilized "governmental" semantics drawn from his training in law and his gener
pers and articles on his theory of cognitive semantics, first called Three-Dimensional Semantics an
a formal language that provides a syntax and semantics for the Web Service Modeling Ontology (WSMO)
the language (including a description of its semantics) for a subset of Modula-2.
The game-theoretic semantics for FOL treats a FOL formula as a game of pe
In Kripke semantics for relevant logic, the implication operator
S defines a system architecture, syntax, and semantics for representation of presence information a
Formal Semantics for VHDL, pp.
The rewrite semantics for RCGs is rather simple, identical to the
To prove that a particular operational semantics for a language satisfies the logical formula
can therefore provide different meaning, or semantics, for an operation, as well as differing impl
Superstructure that defines the notation and semantics for diagrams and their model elements
Selinger gives a denotational semantics for these languages in a category of superop
Vereofy uses constraint automata as formal semantics for the components behavior and for Reo Coor
two objects, especially systems of axioms or semantics for them, are called cryptomorphic if they a
Default Semantics: Foundations of a Compositional Theory of Ac
The Action Semantics framework was originally developed at the Un
OWL Full is based on a different semantics from OWL Lite or OWL DL, and was designed to
Although deriving much of its semantics from Scheme and other Lisps-some implementat
Program Verification and Semantics: Further Work (2004)
tion mix from the disciplines of ontological semantics, fuzzy logic, computational linguistics, and
carried out in Carl Hewitt's Message-Passing Semantics Group at Massachusetts Institute of Technolo
A denotational semantics guarantees the soundness of this definition.
In particular, HOL with Henkin semantics has all the model-theoretic properties of fi
uropean language (PIE), their morphology and semantics, have been reconstructed by modern linguists
The well-founded semantics, however, has a built-in mechanism to circum
functional programming language with strict semantics, implicit parallelism, and efficient array h
ecifying the new language features execution semantics in terms of simple instructions: basic actio
theory of discourse interpretation, Default Semantics, in which she breaks away from the tradition
Extension mechanisms allow refining standard semantics in strictly additive manner, so that they ca
They are also related to Heyting algebra semantics in intuitionistic logic.
mally defined using a structured operational semantics in the style invented by Gordon Plotkin.
litigation against such companies as Circuit Semantics, Inc. (CSI), Technology Modeling Associates,
mn, in which he comments on how language and semantics influence culture and political discourse.
ent in that BPDM provides a specification of semantics integrated in a metamodel, and it includes a
and STEP-NC aim to build the information and semantics into the tool.
In logic programming, the well-founded semantics is one definition of how we can make conclus
puter to apply these rules; the well-founded semantics is one of these ways.
The semantics is similar to English lord (from hlaford "br
FP84's semantics is embodied in an underlying algebra of prog
The possibility of giving a type-erasure semantics is a kind of abstraction principle, ensuring
The well-founded semantics is also a way of making safe inferences in t
The cognitive linguistics view of semantics is that any definition of a word ultimately
In mathematical logic, algebraic semantics is a formal semantics based on algebras stud
Action semantics is a framework for the formal specification
The Journal of Semantics is a leading international peer-reviewed jou
A semantics is a mathematical characterization of a poss
ALF's operational semantics is based on the resolution rule to solve lit
Failure Semantics is a concept used in distributed computing t
HOL with these semantics is equivalent to many-sorted first-order log
In programming language theory, semantics is the field concerned with the rigorous mat
ifically: Computational linguistics, Lexical semantics, Knowledge representation, temporal reasonin
re David Crystal was a co-founder of Crystal Semantics Limited.
ct interpretation consists in giving several semantics linked by relations of abstraction.
Natural Language Semantics Markup Language is a markup language for pro
Natural Language Semantics Markup Language is currently a World Wide We
ming language with throw and catch exception semantics much like in ML.
e grammar is an approach to natural language semantics, named after American logician Richard Monta
In programming language semantics, normalisation by evaluation (NBE) is a styl
Regardless of semantics, nothing came of the week at Goodison Park,
-readable and intuitive, but the nesting and semantics of the XML document are still clear.
Hintikka further argues that the standard semantics of FOL cannot accommodate IF logic because t
ge in the UML family, designed to define the semantics of subject matters precisely."
programming language isolates the execution semantics of a computer architecture from the specific
issue in the development of the denotational semantics of concurrency, and later became part of res
The semantics of fork are that it creates a child process
currency, though the run-to-completion (RTC) semantics of State machines limited the expressiveness
independent modeling element may affect the semantics of the dependent modeling element.
ntactic approach, which does not incorporate semantics of the assertions.
cing a number of important techniques in the semantics of model theory, most importantly presenting
tion of the World Wide Web with well-defined semantics of data structures, which makes it easy for
nd technology for storing and retrieving the semantics of data elements, terminologies, and concept
ation, since bisimulation cannot capture the semantics of the 'eventually' (or 'finally') operator
into consideration when defining the default semantics of the feature.
"ANSI/ISO C leaves the semantics of the wide character set to the specific im
ended to specify the encoding, structure and semantics of a patient summary clinical document for e
d) to define an "abstract variable" with the semantics of imperative variables (namely, with fetch
Based on the semantics of Z39.50, its design objective is that quer
The semantics of bunched logic can be given in terms of Kr
alternative semantics of default logic;
Main article: Formal semantics of programming languages
ge specifications has been influenced by the semantics of a test suite (eg, in the past the specifi
der it possible to comprehend the syntax and semantics of both kinds of language within a single na
ic link to be any type of file) and have the semantics of a hardlink (i.e., they must be immediatel
Structads are an approach to the semantics of logic that are based upon generalising th
The Semantics of Programming Languages: An Elementary Intr
In the formal semantics of programming languages, two terms M and N
l modal algebras is the equivalent algebraic semantics of the modal logic K in the sense of abstrac
of Language (1964) and Harman and Davidson's Semantics of Natural Language (1972).
s, in the case of Objective-C because of the semantics of the #import directive, but more generally
This is the semantics of remote promises in E.
f Objects, laying out formal calculi for the semantics of object-oriented programming languages.
For instance, the concrete semantics of an imperative programming language may as
ilored to expose the topics, terminology and semantics of individual document collections.
o be efficiency gains that do not change the semantics of the emitted object code.
aluation, or McCarthy evaluation denotes the semantics of some Boolean operators in some programmin
n programming language theory, the algebraic semantics of a programming language is a form of axiom
The syntax and semantics of the language are explicit in the behavior
of representation which fully determines the semantics of a sentence.
otes on A Structural Approach to Operational Semantics of 1981 were very influential.
The formal semantics of CTL* formulae are defined with respect to
The syntax and semantics of concatenative languages form the algebrai
primarily concerned with syntax, grammar and semantics of programming languages.
nsible for popularizing this approach to the semantics of natural languages among linguists, especi
is a framework for describing the syntax and semantics of natural languages.
The semantics of μ-calculus in general are related to two-
As you can see, the semantics of hierarchical state decomposition are desi
However, many believed that the syntax and semantics of table:formula was not defined in sufficie
The same holds for the standard semantics of IF logic, except that the games are of im
If the semantics of "self::$word" had been based on "late sta
rus" is a famous sentence in relation to the semantics of proper names.
The formal semantics of a language is given by a mathematical mod
rrectness of the program based on the formal semantics of program statements.
Thus, in standard semantics, once the set of individuals is specified, t
It shows how denotational semantics, operational semantics and algebraic semanti
larity) may be based on either the reduction semantics or on the labelled transition semantics.
McDowell, eds., Truth and Meaning: Essays in Semantics, Oxford University Press, 1976.
ciolinguistics, Phonetics/Phonology, Syntax, Semantics, Pragmatics, Orthography, Historical linguis
, phonetics, morphology, syntax, vocabulary, semantics, pragmatics, and sociolinguistics.
In the standard or full semantics, quantifiers over higher-type objects range
His interests include semantics, reference, naturalism, and relativism.
ality, restricted higher order logic (Henkin semantics), restricted deontic and alethic modal logic
spreadsheet functions, including syntax and semantics, should be created to augment these examples
r a small cost in performance, this provides semantics similar to ext3 ordered mode and increases t

1 2 次へ＞