We present an extension EL ⊥ T of the description logic EL ⊥ for reasoning about prototypical properties and inheritance with exceptions. EL ⊥ T is obtained by adding to EL ⊥ a typicality operator T, which is intended to select the “typical” instances of a concept. In EL ⊥ T knowledge bases may contain inclusions of the form “T(C) is subsumed by P”, expressing that typical C-members have the pr...

An overview is given of different approaches to describing the process of deconfine-ment in quantum chromodynamics. The analysis of the known approaches demonstrates that the detailed picture of how deconfinement really occurs has not yet been understood. Therefore, one has to be rather cautious when interpreting experimental signals as attributed to deconfinement.

Maps of science representing the structure of science can help us understand science and technology development. However, navigating the recent scientific landscape is still challenging, since application of inter-citation and co-citation analysis for ongoing projects and recently published papers has difficulty. Therefore, in order to characterize what is being attempted in the current scienti...

We investigate the theory IAo + Q, and strengthen [Bu86. Theorem 8.6] to the following: if NP 7 co-NP. then 1-completeness for witness comparison foumulas is not provable in bounded arithmetic.

We study nondeterministic strategies in parity games with the aim of computing a most permissive winning strategy. Following earlier work, we measure permissiveness in terms of the average number/weight of transitions blocked by a strategy. Using a translation into mean-payoff parity games, we prove that deciding (the permissiveness of) a most permissive winning strategy is in NP ∩ coNP. Along ...

Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment. Classical settings include mean-payoff games, where the objective is to optimize the long-run average gain per action, and energy games, where the system has to avoid running out of energy. We study average-energy gam...

1. This document is HS918, one of a series of the Horticultural Sciences Department, Florida Cooperative Extension Service, Institute of Food and Agricultural Sciences, University of Florida. Publication date: May 2003. Please visit the EDIS Web site at http://edis.ifas.ufl.edu. 2. Daniel J. Cantliffe, professor and chair, Horticultural Sciences Department; John J. Vansickle, professor, Food an...