Filters








102,427 Hits in 3.0 sec

Page 28 of Language Sciences Vol. , Issue 33 [page]

1974 Language Sciences  
In effect, designation for Church (and Frege) has a double aspect: one aspect refers to the denotation of a sign, a denotation that may vary from context to context; the 28 other aspect refers to the sense  ...  In particu- lar, he allows that “because the metalinguis- tic phrase which is used in the rule of denotation must itself have a sense, there is a certain sense (though not that of logical consequence)  ... 

Aspectual scope and the difference between logical and semantic representation

Balthasar Bickel
1997 Lingua  
Bickel, 1996) that logical entailments of verbs are in some cases outside the scope of aspect operators.  ...  This suggests that aspect operators are sensitive to a distinction between two types of contextually nondefeasible meaning, viz. semantic and logical information.  ... 
doi:10.1016/s0024-3841(97)00004-1 fatcat:2yqcv55o6fhxxj6aoum4dlbakm

Page 2046 of Mathematical Reviews Vol. , Issue 99c [page]

1991 Mathematical Reviews  
semantics may be used to translate logical semantics into denotational/algebraic semantics.”  ...  In particular, while denotational and algebraic semantics provide excellent tools to de- scribe important aspects of programming systems, and often to prove correctness of implementations, we see that  ... 

Page 370 of Linguistics and Language Behavior Abstracts: LLBA Vol. 23, Issue 1 [page]

1989 Linguistics and Language Behavior Abstracts: LLBA  
Greciano’s Signification et denotation en Allemand: La semantique des expres- sions idiomatiques (Meaning and Denotation in German: The ¢ mantics of Idiomatic Expressions) reviewed; 8900928 German sentences  ...  Kripke’s modal-logical seman- tics; 8901514 PUNDIT natural language system, tense/aspect analysis integration; kinesis/bounedness; actual/event/speech/reference time; 8901406 quantifier types influence  ... 

Page 118 of Linguistics and Language Behavior Abstracts: LLBA Vol. 28, Issue 1 [page]

1994 Linguistics and Language Behavior Abstracts: LLBA  
This semantics is compared with the usual relational semantics for dynamic predicate logic & it is shown that it preserves the most important intuitions of relational semantics.  ...  (Research Instit Language & Speech Rijks U Utrecht, NL-3512 JK Netherlands), Sequence Semantics for Dynam- ic Predicate Logic, WM Journal of Logic, Language and Information, 1993, 2, 3, July, 217-254.  ... 

Page 4343 of Mathematical Reviews Vol. , Issue 2000f [page]

2000 Mathematical Reviews  
We propose to use Horn logic (and eventually constraint logic) instead of the 4-calculus to express denotational semantics.  ...  This view of computing is inspired by logic programming and con- straint logic programming but differs from them in a number of crucial aspects.  ... 

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)

Hai H. Wang, Nick Gibbins, Terry Payne, Ahmed Saleh, Jun Sun
2007 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)  
In this paper, we present a formal Object-Z semantics of WSMO. Different aspects of the language have been precisely defined within one unified framework.  ...  To support the standardization and tool support of WSMO, a formal semantics of the language is highly desirable.  ...  and its super-concepts. hasDefinition denotes the logical expression used to define the semantics of a concept (the logical expression used by WSMO is formally defined in Section 3.7).  ... 
doi:10.1109/iceccs.2007.9 dblp:conf/iceccs/WangGPSS07 fatcat:cqhjrhq2u5fchgctz44oj2bsa4

Results on reasoning about updates in Transaction Logic [chapter]

Anthony J. Bonner, Michael Kifer
1998 Lecture Notes in Computer Science  
aspects: Introduction Paper Outline Syntax of T R Sample T R Program Semantics of T R Properties of Update Programs Conclusion Conclusion • T R is not only a logical language for specifying and executing  ...  in the following aspects: Introduction Paper Outline Syntax of T R Sample T R Program Semantics of T R Properties of Update Programs Conclusion Conclusion • T R is not only a logical language for specifying  ...  • Does every execution of transaction α preserve the database integrity constraints?  ... 
doi:10.1007/bfb0055499 fatcat:bydybcvegbauzoslo7t2k2k7fy

Aspect Oriented Software Architecture

Pradip Peter Dey, Ronald F. Gonzales, Gordon W. Romney, Mohammad Amin, Bhaskar Raj Sinha
2012 Zenodo  
The semantic aspect is composed of multiple perspectives including denotational, operational, axiomatic and case frame approaches. Case frame semantics matured in India from deep thematic analysis.  ...  Lexical, syntactic, semantic, and pragmatic aspects of linguistic information are tightly coupled in a manner that requires separation of concerns in a special way in design, implementation and maintenance  ...  ACKNOWLEDGMENT The authors gratefully acknowledge the help and/or encouragements received from John Cicero, Hassan Badkoobehi, Byunggu Yu, Arun Datta, Jodi Reeves and many others during the preparation of  ... 
doi:10.5281/zenodo.1085076 fatcat:lshzuglzxndwnbbl3kq7pwwfja

A survey of semantic description frameworks for programming languages

Yingzhou Zhang, Baowen Xu
2004 SIGPLAN notices  
., Algebraic operational semantics. In: Nori, semantics of constraint logic programs. The Journal of Logic K.V. ed.  ...  to well pragmatic aspects and quality tools for semantic In the second half of this phase, the modularity of frameworks.  ... 
doi:10.1145/981009.981013 fatcat:aq23dovoqvdgzdo5xz7vclcnoe

Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs) [article]

Giovanni Sileno
2020 arXiv   pre-print
The paper reports on an experiment conducted with a propositional version of Logic Programming Petri Nets (LPPNs), a notation extending Petri Nets with logic programming constructs.  ...  Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain.  ...  Denotational semantics One of the possibilities to validate a formal language is to map it into another formal language, i.e. to provide a denotational semantics.  ... 
arXiv:1701.07657v2 fatcat:tk6iqi6kpzdpbn3jau2znnj7la

Bringing Machine Learning and Compositional Semantics Together

Percy Liang, Christopher Potts
2015 Annual Review of Linguistics  
Within this framework, we discuss the task of learning to map utterances to logical forms (semantic parsing) and the task of learning from denotations with logical forms as latent variables.  ...  Computational semantics has long been seen as a field divided between logical and statistical approaches, but this divide is rapidly eroding, with the development of statistical models that learn compositional  ...  To date, these models have been applied only to narrow aspects of the full task of semantic interpretation, with the bulk of the work going to sentiment analysis, where the denotations can modeled by a  ... 
doi:10.1146/annurev-linguist-030514-125312 fatcat:o42hqjhlujbcbnecakcemv4wra

Page 3214 of Mathematical Reviews Vol. 58, Issue 5 [page]

1979 Mathematical Reviews  
Tense-logic and the semantics of the Russian aspects. Theoret. Linguist. 1 (1974), no. 1-2, 158-180. Author’s summary: “We consider the applicability of J. A. W.  ...  02 $8 #21471 “Part II, which is essentially self-contained, deals with an alter- native formulation of higher-order modal logic, denoted by ML,.  ... 

The Varieties of Programming Language Semantics [chapter]

Peter D. Mosses
2000 Lecture Notes in Computer Science  
This brief summary surveys the main varieties of semantics, and considers which of them may be the most appropriate.  ...  It may seem that there are almost as many varieties of programming language semantics as there are of programming languages.  ...  BRICS (Basic Research in Computer Science) is a centre of the Danish National Research Foundation.  ... 
doi:10.1007/3-540-44929-9_49 fatcat:veby7g5smjbofidhm2josfswea

A practical introduction to denotational semantics

R.D. Tennent
1987 Science of Computer Programming  
The most unsatisfactory aspect of the book is the author's failure to convey the differences between denotational and operational approaches to semantics.  ...  design or validation of programming logics and implementations, and only a brief mention of the possibility of semantics-directed compiler generation or semantic analysis.  ... 
doi:10.1016/0167-6423(87)90015-3 fatcat:2mc7kivk4rbjrobvzqyi65tjxq
« Previous Showing results 1 — 15 out of 102,427 results