Relational database systems do not eeectively support complex queries containing quantiiers (quantiied queries) that are increasingly becoming important in decision support applications. Generalized quantiiers provide an eeective way of expressing such queries naturally. In this paper, we consider the problem of processing quantiied queries within the generalized quantiier framework. We demonst...

We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have conditional e ects, universally quanti ed preconditions and e ects, and with universally quanti ed goals. We prove ucpop is both sound and complete for this representation and describe a practical implementation that succeeds...

H. Bosma , M. Jansen , S. Schefman , K.J. Hajema , F. Feron a,c a Maastricht University, CAPHRI, Social Medicine, P.O. Box 616, 6200 MD Maastricht, The Netherlands b Maastricht University, CAPHRI, Health Services Research, P.O. Box 616, 6200 MD Maastricht, The Netherlands c GGD Zuid Limburg, Academische Werkplaats Publieke Gezondheid, P.O. Box 2022, 6160 HA Geleen, The Netherlands d Veiligheids...

Abstract Background Tuberculosis (TB) represents one of the major global health problems worldwide. Italy is a low-incidence country for TB with prevalence 23% extrapulmonary forms (EPTB). Migrants coming from high incidence might modify local epidemiology. Methods We conducted retrospective, single-center observational study including data patients an active diagnosis, admitted to Infectious D...

Harmony-seeking computations, as proposed by Christopher Alexander, offer a way to tackle complexity. Smart, free agents, facing uncertainty, look for order in context powered fifteen attractors, or patterns. would then be relatively guided path across those idealized patterns, towards wholeness and beauty. However, individuals acting change the city must combine circumstances imposed external ...

A fragment of se ond-order lambda al ulus (System F) is de ned that hara terizes the elementary re ursive fun tions. Type quanti ation is restri ted to be non-interleaved and strati ed, i.e., the types are assigned levels, and a quanti ed variable an only be instantiated by a type of smaller level, with a slightly liberalized treatment of the level zero.

We give a survey of three implemented real quantiier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Grr obner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various elds of science, engineering, and economics.

Most studies of the so-called Proportion Problem seek to understand how lexical and structural properties of sentences containing adverbial quanti ers give rise to various proportional readings. This paper explores a related but distinct problem: given a use of a particular sentence in context, why do only some of the expected proportional readings seem to be available? That is, why do some sen...

Various logical languages are compared regarding their expressive power with respect to models consisting of nitely bounded branching in nite trees The basic multimodal logic with backward and forward necessity operators is equivalent to restricted rst order logic by adding the binary temporal operators since and until we get the expressive power of rst order logic on trees Hence restricted pro...