Results 261 to 270 of about 12,871 (286)
Some of the next articles are maybe not open access.
1999
The paper presents a concise description of a comprehensive approach to computational lexical semantics and focuses on the treatment of events. We reason about the semantic information that should be encoded in a lexicon entry to support the twin tasks of constructing Text Meaning Representations (TMRs) for input texts and generating texts off TMRs. As
Evelyne Viegas +3 more
openaire +1 more source
The paper presents a concise description of a comprehensive approach to computational lexical semantics and focuses on the treatment of events. We reason about the semantic information that should be encoded in a lexicon entry to support the twin tasks of constructing Text Meaning Representations (TMRs) for input texts and generating texts off TMRs. As
Evelyne Viegas +3 more
openaire +1 more source
Action semantics-directed prototyping
Computer Languages, 1993We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific ''analysis functions'', such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into ...
Kyung-Goo Doh, David A Schmidt
openaire +1 more source
1992
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness ...
openaire +1 more source
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness ...
openaire +1 more source
Action semantics in PurposeNet
2011 World Congress on Information and Communication Technologies, 2011PurposeNet is a semantic network of artifacts and actions related to artifacts. Since man tends to classify objects and artifacts around him in terms of some primary purpose attributed to them, purpose is taken as an organizing principle for the knowledge base. Actions play a pivotal role in describing artifacts. All processes that describe an artifact,
P. Kiran Mayee, Rajeev Sangal, Soma Paul
openaire +1 more source
Semantical Analysis of Logic of Actions
Journal of Logic and Computation, 1995Summary: It is shown that the validity questions in propositional temporal logic of actions can be translated into validity questions of a temporal logic and vice versa. In particular, actions of propositional temporal logic of actions can be equivalently replaced by propositional symbols.
Tiomkin, Michael, Kaminski, Michael
openaire +1 more source
About Semantic Action Refinement
Fundamenta Informaticae, 1991A notion of semantic action refinement is defined both on Synchronization Trees and on Causal Trees, a class of trees recently devised for giving a full account to causality [DD89]. The branching bisimulation, as introduced in [GW89a], is shown to be preserved under semantic action refinement.
Darondeau, Philippe, Degano, Pierpaolo
openaire +1 more source
The Semantics of Parsing with Semantic Actions
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012The recovery of structure from flat sequences of input data is a problem that almost all programs need to solve. Computer Science has developed a wide array of declarative languages for describing the structure of languages, usually based on the context-free grammar formalism, and there exist parser generators that produce efficient parsers for these ...
openaire +1 more source
1992
We hold that there is no difference, qua act, between an intentional act and an act simpliciter.1 The relationship which exists between acts simpliciter and unintentional or intentional acts is as follows. ‘Unintentional’ means that the standard case of an act has been generically departed from, that the object being described, although having some of ...
S. C. Coval, P. G. Campbell
openaire +1 more source
We hold that there is no difference, qua act, between an intentional act and an act simpliciter.1 The relationship which exists between acts simpliciter and unintentional or intentional acts is as follows. ‘Unintentional’ means that the standard case of an act has been generically departed from, that the object being described, although having some of ...
S. C. Coval, P. G. Campbell
openaire +1 more source
1994
We designed Procope as a computational architecture system to model users’ Knowledge through semantic networks of action (S.N.O.A.) and to simulate with the computer the carrying out of tasks issued of varied S.N.O.A. where hierarchies of classes of objects are built using applied goals as properties of objects.
Charles Albert Tijus +1 more
openaire +1 more source
We designed Procope as a computational architecture system to model users’ Knowledge through semantic networks of action (S.N.O.A.) and to simulate with the computer the carrying out of tasks issued of varied S.N.O.A. where hierarchies of classes of objects are built using applied goals as properties of objects.
Charles Albert Tijus +1 more
openaire +1 more source
Declarative Semantics of Actions and Instructions
2020A complete information modeling method must address both the process- and data-perspectives, preferably in an integrated manner (i.e., also specifying which state change each process should achieve exactly). However, most approaches either emphasize only data or only processes.
openaire +1 more source