Für die Unterstützung bei der Organisation und Durchführung des nunmehr vierten Workshops dieser Serie danken wir dem Programmkomitee, das insbesondere durch die Begutachtung der eingereichten Beiträge und die Unterstützung der Autoren durch Hinweise zu ihren Arbeiten zum Gelingen beigetragen hat: Christoph Beierle, FernUniversität Hagen; Hans-Joachim Goltz, Fraunhofer FIRST, Berlin; Petra Hofs...

In this article the structure of subjective well-being (SWB), the relationship between household income and SWB and mean differences in components of SWB in China and the USA are investigated. Both China and the USA were characterized in a three-factor model of SWB (life satisfaction, positive affect and negative affect). Household income was more strongly positively correlated with the three m...

Bipartite graphs can model matching problems, hypergraphs and relations between sets. Studying their surface embeddings is an old tradition, illustrated by the utilities problem. I shall show how such embeddings can be described by pairs of permutations, and how this leads to a classification of the regular (most symmetric) embeddings of complete bipartite graphs. This is joint work with Du, Kw...

Low-temperature series have been derived for the q-state Potts model on the Kagomé lattice (q = 3 and 4) and for the 3-state honeycomb lattice. The series are derived by the finitelattice method, with many additional terms obtained by noting the structure of the correction terms. Accurate estimates of the critical points are found, which confirm exact, but not rigorous results in the case of th...

In this paper two external schema generation algorithms are presented. These algorithms are defined in the framework of the new external schema definition methodology for OODBs put forward in (Samos, 1995); they generate an external schema from a set of classes selected from those existing in an external schema definition repository. Their main characteristic is that they avoid the generation o...

Our submission guesses at entailment based on word similarity between the hypotheses and the text. We attempt three kinds of comparisions: original words (with normalized dates and numbers) synonyms, and antonyms. Each of the three comparisions contributes a different weight to the entailment decision. Our results are insignificantly better than chance for the two-way comparison. However, for t...

Virtually every “serious” place where professional astronomy is done has a librarian, even if shared with the physics or math department. Since its creation in 1994 of Departamento de Astronomı́a (DA) of Universidad de Guanajuato (UG) it was neither provided with a librarian, nor with proper space for its holdings, nor with a budget allowing institutional journal subscriptions. I describe my exp...

It is argued that the ‘inner’ negation ∼ familiar from 3-valued logic can be interpreted as a form of ‘conditional’ negation: ∼A is read “A is false if it has a truth value”. It is argued that this reading squares well with a particular 3-valued interpretation of a conditional that in the literature has been seen as a serious candidate for capturing the truth conditions of the natural language ...

A family of Boussinesq systems has been proposed in [8] to describe the bi-directional propagation of small amplitude long waves on the surface of shallow water. In this paper, we investigate the boundary stabilization of the generalized higher order Boussinesq systems of KdV–type posed on a interval. We design a two-parameter family of feedback laws for which the solutions are globally defined...

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional log...