The syntax of these constructions has received a lot of attention in recent years (den Dikken 1995, 1998, Español-Echevarría 1996, Hulk & Tellier 1999ab, Doetjes 1997). However, very little work has concentrated on the relation between both constructions. Milner (1978) had already observed that quantitative and qualitative constructions share the same syntactic structure (see also Ruwet 1982). ...

We consider qualitative and quantitative model-checking problems for probabilistic pushdown automata (pPDA) and various temporal logics. We prove that the qualitative and quantitative model-checking problem for ω-regular properties and pPDA is in 2-EXPSPACE and 3-EXPTIME, respectively. We also prove that model-checking the qualitative fragment of the logic PECTL∗ for pPDA is in 2-EXPSPACE, and ...

In this paper, we present an approach to qualitative description of images containing non-overlapping 2D objects. This approach consists of extracting the properties of the main points of the objects in an image and applying qualitative models to them. Qualitative models of shape and size describe visual features of the objects in the image, while qualitative models of orientation and distance ...

Definitions of categories in existent geospatial ontologies are an invaluable source of information because they provide us with essential knowledge about concepts and their properties. A closer examination reveals that definitions also contain supplementary linguistic items, which are mainly qualitative expressions, such as quantifiers. This inclusion of modifiers in definitions affects the wa...

Qualitative spatial descriptions characterize essential properties of spatial objects or configurations by relying on relative comparisons rather than measuring. Typically, in qualitative approaches only relatively coarse distinctions between configurations are made. Qualitative spatial knowledge can be used to represent incomplete and underdetermined knowledge in a systematic way. This is espe...