The individual meanings of words, as opposed to the overall meaning of a passage. The semantics of the terms used are debatable. The semantics of a single preposition is a dissertation in itself. Semantics (computer science) The meaning of computer language constructs, in contrast to their form...
One reason to think that it may have been deliberate is that it makes it very easy for an interpreter to look up the meaning of a name: all that is required is a stack of declarations (we examine this stack more closely in Section 3.4.2). Unfortunately, this simple implementation has ...
The term "Semantics" is one of the overloaded in computer science and used in various meaning. This variety can also be observed in database literature. In computer linguistics or web research, semantics is a component of the language which associates words or components of a grammar with ...
Such a meaning could be (given by) the following sentence of predicate logic. 9x(DOG(x)9y(SEES(x; y)CAT (y))) Even if this ... P& Theory 被引量: 21发表: 1995年 Nanoscale structure and properties of microbial cell surfaces The coalgebraic approach to modal logic provides a uniform ...
But this led to questions about how, even if the encyclopedia could be finished, it could rapidly connect the disparate pieces of information in the numerously varied ways humans could—both in simple, logical cases but also handling metaphors, analogies, inferring meaning when people misspeak, ...
This paper sets out an exploration of the considerations for the reuse of ontologies in the creation of an industry-wide business ontology. The paper introduces the Financial Industry Business Ontology (FIBO), a finance industry initiative and describes a number of ways in which meaning has been ...
A perennial problem in semantics is the delineation of its subject matter. The term meaning can be used in a variety of ways, and only some of these correspond to the usual understanding of the scope of linguistic or computational semantics. We shall take the scope of semantics to be restric...
theory defined by rules, it is instead a computational type theory in the sense of Martin-Lo篓f's meaning explanations and of the NuPRL semantics. The... C Angiuli,R Harper,T Wilson - 《Acm Sigplan Notices》 被引量: 38发表: 2017年 Expressing computational complexity in constructive type ...
electrical engineering and computer science department:电气工程与计算机科学系 热度: GRE Subject Computer Science Test GRE计算机整套真题及详细答案 热度: Language, Logic, and Meaning USEM 40a Spring 2006 James Pustejovsky Thanks to Dan Wedgewood of U. Edinburgh for use of some slides ...
Meaning representation in Montague grammar and situation semantics This paper compares certain aspects of situation semantics and Montague grammar and points out some issues related to natural language programming. It prov... R Coopera - 《Computational Intelligence》 被引量: 6发表: 1987年 ...