Types of utterances that belong to meta-levels of activity have been singled out in spoken task-focused dialogues between subjects accomplishing a matching task with no visual contact. The types include activity management and planning, global and local (e.g. signals of activity phase); explicit evaluation of the state of joint project, communicative utterances for conversation management; back...

We give a very brief survey on ZFC theory (Zermelo-Fraenkel Set Theory) and we present an intuitive introduction to the method of forcing and some applications to the real line. Our exposition will be very informal, without any claim of completeness and rigour. The idea is just to give a very intuitive idea of what Set Theory and forcing-method are, and why they are interesting and useful from ...

We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountable branching. Models of such systems have been proposed previously. Here, we introduce a model that extends probabilistic automata to the continuous setting. We identify the class of schedulers that ensures measurability propert...

In this paper we present a Linguistic Meta-Model (LMM) allowing a semiotic-cognitive representation of knowledge. LMM is freely available and integrates the schemata of linguistic knowledge resources, such as WordNet and FrameNet, as well as foundational ontologies, such as DOLCE and its extensions. In addition, LMM is able to deal with multilinguality and to represent individuals and facts in ...

In this paper we present a Linguistic Meta-Model (LMM) allowing a semiotic-cognitive representation of knowledge. LMM is freely available and integrates the schemata of linguistic knowledge resources, such as WordNet and FrameNet, as well as foundational ontologies, such as DOLCE and its extensions. In addition, LMM is able to deal with multilinguality and to represent individuals and facts in ...

In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation. Moreover, to enable that systematic application, we need to capture our understanding of the domain of linguistic abstraction itself in higher-level meta languages. The argument is illustrated with examples from the SDF, Stratego, Spoofax, a...

This paper is about the development of statistical models of prosodic features to generate linguistic meta-data for spoken language. In particular, we are concerned with automatically punctuating the output of a broadcast news speech recogniser. We present a statistical finite state model that combines prosodic, linguistic and punctuation class features. Experimental results are presented using...

Multilinguality in ontologies has become an impending need for institutions worldwide with valuable linguistic resources in different natural languages. Since most ontologies are developed in one language, obtaining multilingual ontologies implies to localize or adapt them to a concrete language and culture community. As the adaptation of the ontology conceptualization demands considerable effo...

To allow for a direct connection of this linguistic information for terms with corresponding classes and properties in a domain ontology, we developed a lexicon model (LingInfo) that enables the definition of LingInfo instances (each of which represents a term) for each class or property. The LingInfo model is represented by use of a meta-class, which allows for the representation of LingInfo i...

Is the Innovation Society sustainable? We argue that the way in which our society organizes its innovation processes generates endogenous crises, and the ideology that sustains this organization makes it difficult to confront this meta-crisis economically or politically. We claim that the key to constructing a socially sustainable future is the mobilization of civil society, with respect to two...