Statecharts are a popular representation technique for conceptual models of the dynamics of a universe of discourse. However, designers are not supported in their work with dynamic models as well as they are for working with static models. We present a meta-model and a formalization of the semantics of a statechart language. Important results are the definition of the equivalence of statecharts...

The paper presents an analysis of Hungarian sentence articulation driven by discourse-semantic functions such as topic and focus, hence the information structure of the utterance. In this paper extensions of the standard LTAG framework are proposed to represent the information structure driven positions in simple sentences. The elementary trees are generated by the meta-grammar, using the XMG t...

We introduce a semantic interface into logic grammars to give a natural link to the semantic component of natural language understanding systems. The semantic interface contains five parameters, i.e. input, semantic information, new devices, generator, and output. These parameters specify the procedure of compiling a desired semantic theory into its corresponding logic programs. The semantic in...

A technical discussion often contains conversational expressions like “however,” “as I have stated before,” “next,” etc. These expressions, denoted Meta-technical Utterances (MTUs) carry important information which the listener uses to speed up the comprehension process. In this research we model the meaning of MTUs in terms of their anticipated effect on the listener comprehension, and use the...

Knowledge about the discourse-level structure of a sci-entiic article is useful for exible and sub-domain independent automatic abstraction. We are interested in the automatic identiication of content units (\argu-mentative entities") in the source text, such as Goal or Problem Statement, Conclusions and Results. In this paper, we present an extension of Ku-piec et al.'s methodology for trainab...

This report provides a measure of relatively objective evaluation of our ATT-Meta approach to conducting some of the reasoning needed in the understanding of metaphorical utterances. The approach is partially implemented in our ATT-Meta system, although the report does not evaluate the system itself. The approach and system are not described in detail here. The utterances of most interest in th...

When previous research is cited incorrectly, misinformation can infiltrate scientific discourse and undermine scholarly knowledge. One of the more damaging citation issues involves incorrectly citing article content (called quotation errors); therefore, investigating accuracy an important endeavor. field where needed in learning sciences given its impact on pedagogy. An integral pedagogical dis...

It is generally accepted that a discourse connective expresses a semantic and/or pragmatic relation between its matrix sentence or clause and something in the previous discourse. Usually the sense of this relation is expressed as a label, often within a hierarchy of sense labels. But the meaning of these labels may vary from system to system, and the same connective may be assigned different la...