Results 301 to 310 of about 253,413 (321)
Some of the next articles are maybe not open access.
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
Action nominals inside: lexical-semantic issues
2010The main aim of this paper is to investigate a relevant portion of Event/Result polysemy by focusing on its regular patterns and looking "inside" action nominals, hence paying attention to verbal semantics, rather than examining their behaviour in the syntactic context.
openaire +2 more sources
Interpersonal action semantics
Physics of Life Reviews, 2014Arthur M. Glenberg, Tamer Soliman
openaire +1 more source
Describing actions : the semantic role of gestures
Rivista di psicolinguistica applicataWords and gestures are semiotic acts that build up our everyday social interactions. The semiotic resources of our body underpin language, and several papers from the field of gesture studies, psycholinguistics, and philosophy call for a language model incorporating all the visible actions engaged when speaking.
openaire +2 more sources
Proceedings of the 1995 ACM 23rd annual conference on Computer science - CSC '95, 1995
openaire +1 more source
openaire +1 more source