@article{SarsakovSchaubTompitsetal.2004, author = {Sarsakov, Vladimir and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan}, title = {A compiler for nested logic programming}, isbn = {3-540- 20721-x}, year = {2004}, language = {en} } @article{LinkeTompitsWoltran2004, author = {Linke, Thomas and Tompits, Hans and Woltran, Stefan}, title = {On Acyclic and head-cycle free nested logic programs}, isbn = {3-540-22671-01}, year = {2004}, language = {en} } @article{LinkeTompitsWoltran2004, author = {Linke, Thomas and Tompits, Hans and Woltran, Stefan}, title = {On acyclic and head-cycle free nested logic programs}, year = {2004}, language = {en} } @article{DelgrandeSchaubTompitsetal.2004, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan}, title = {On Computing belief change operations using quantifield boolean formulas}, issn = {0955-792X}, year = {2004}, abstract = {In this paper, we show how an approach to belief revision and belief contraction can be axiomatized by means of quantified Boolean formulas. Specifically, we consider the approach of belief change scenarios, a general framework that has been introduced for expressing different forms of belief change. The essential idea is that for a belief change scenario (K, R, C), the set of formulas K, representing the knowledge base, is modified so that the sets of formulas R and C are respectively true in, and consistent with the result. By restricting the form of a belief change scenario, one obtains specific belief change operators including belief revision, contraction, update, and merging. For both the general approach and for specific operators, we give a quantified Boolean formula such that satisfying truth assignments to the free variables correspond to belief change extensions in the original approach. Hence, we reduce the problem of determining the results of a belief change operation to that of satisfiability. This approach has several benefits. First, it furnishes an axiomatic specification of belief change with respect to belief change scenarios. This then leads to further insight into the belief change framework. Second, this axiomatization allows us to identify strict complexity bounds for the considered reasoning tasks. Third, we have implemented these different forms of belief change by means of existing solvers for quantified Boolean formulas. As well, it appears that this approach may be straightforwardly applied to other specific approaches to belief change}, language = {en} } @article{LieckfeldtSimonRosinZoelleretal.2004, author = {Lieckfeldt, Elke and Simon-Rosin, Ulrike and Z{\"o}ller, Daniela and Ebert, Berit and Kehr, Julia and Fisahn, Joachim}, title = {Spatio/temporal analysis of gene exression profiles within single cells and specific tissue types of developing Arabidopsis plants}, isbn = {3-00-011587-0}, year = {2004}, language = {en} } @article{ChristensenSanchezJahnkeetal.2004, author = {Christensen, Lise Bech and Sanchez, Sebastian F. and Jahnke, Knud and Becker, Thomas and Wisotzki, Lutz and Kelz, A. and Popovic, L. C. and Roth, Martin M.}, title = {Integral field spectroscopy of extended Ly alpha emission from the DLA galaxy in Q2233+131}, year = {2004}, abstract = {This paper presents observations of an extended Lyman-alpha emission nebula surrounding the galaxy responsible for the Damped Lyman-alpha Absorption (DLA) line in the spectrum of the quasar Q2233+131. With the Potsdam Multi Aperture Spectrophotometer (PMAS) we measure the properties of the extended Lyalpha emission in an area of 3" x 5" having a total line flux of (2.8 +/- 0.3) x 10(-16) erg cm(-2) s(-1), which at redshift z = 3.15 corresponds to a luminosity of (2.4(-0.2)(+0.3)) x 10(43) erg s(-1) and a size of 23 x 38 kpc. The location of the emission is spatially coincident with the previously detected DLA galaxy, but extends significantly beyond its limb. We argue that the Lya emission is likely to be caused by an outflow from the DLA galaxy, presumably powered by star formation. In the case of negligible dust extinction, the Lya luminosity indicates a star-formation rate of 19 +/- 10 M-. yr(-1) consistent with that derived from the UV continuum flux from the parent galaxy. The wind velocity indicated by the integral field spectra is of the order of several hundred km s(-1). We find no indication of emission originating in a rotating disk}, language = {en} } @article{WisotzkiBeckerChristensenetal.2004, author = {Wisotzki, Lutz and Becker, Thomas and Christensen, Lise Bech and Jahnke, Knud and Helms, Andreas and Kelz, A. and Roth, Martin M. and Sanchez, Sebastian F.}, title = {Integral field spectrophotometry of gravitationally lensed QSOs with PMAS}, issn = {0004-6337}, year = {2004}, abstract = {We present spatially resolved spectrophotometric observations of multiply imaged QSOs, using the Potsdam Multi- Aperture Spectrophotometer (PMAS), with the intention to search for spectral differences between components indicative of either microlensing or dust extinction. For the quadruple QSO HE 0435-1223 we find that the continuum shapes are indistinguishable, therefore differential extinction is negligible. The equivalent widths of the broad emission lines are however significantly different, and we argue that this is most likely due to microlensing. Contrariwise, the two components of the well-known object UM 673 have virtually identical emission line properties, but the continuum slopes differ significantly and indicate different dust extinction along both lines of sight}, language = {en} } @article{ChristensenSanchezJahnkeetal.2004, author = {Christensen, Lise Bech and Sanchez, Sebastian F. and Jahnke, Knud and Becker, Thomas and Kelz, A. and Wisotzki, Lutz and Roth, Martin M.}, title = {Integral field observations of damped Lyman-alpha galaxies}, year = {2004}, abstract = {We report preliminary results from a targeted investigation on quasars containing damped Lyman-alpha absorption (DLA) lines as well strong metal absorption lines, carried out with the Potsdam Multi Aperture Spectrophotometer (PMAS). We search for line-emitting objects at the same redshift as the absorption lines and close to the line of sight of the QSOs. We have observed and detected the already confirmed absorbing galaxies in Q2233+131 (Z(abs) = 3.15) and Q0151+045 (Z(abs),= 0.168), while failing to find spectral signatures for the z = 0.091 absorber in Q0738+313. From the Q2233+131 DLA galaxy, we have detected extended Lyalpha emission from an area of 3" x 5"}, language = {en} } @article{JahnkeWisotzkiSanchezetal.2004, author = {Jahnke, Knud and Wisotzki, Lutz and Sanchez, Sebastian F. and Christensen, Lise Bech and Becker, Thomas and Kelz, A. and Roth, Martin M.}, title = {Integral field spectroscopy of QSO host galaxies}, year = {2004}, abstract = {We describe a project to study the state of the ISM in similar to20 low redshift (z < 0.3) QSO host galaxies observed with the PMAS integral field spectrograph. We describe the development of the method to access the stellar and gas components of the spectrum without the strong nuclear emission, in order to access the host galaxy properties in the central region. It shows that integral field spectroscopy promises to be very efficient in studying the gas distribution and its velocity field, and also the spatially resolved stellar population in the host galaxies of luminous AGN}, language = {en} } @article{Groezinger2004, author = {Gr{\"o}zinger, Karl Erich}, title = {פרשנותו של מרטין בובר לתולדות עם ישראל כניסיון למודרניזציה של היהדות, או: אי-ההבנה הכפולה}, series = {ההיסטוריה הגרמנית-יהודית שירשנו}, journal = {ההיסטוריה הגרמנית-יהודית שירשנו}, publisher = {Leo-Baeck-Institute}, address = {Jerusalem}, isbn = {9654931451}, pages = {36 -- 50}, year = {2004}, language = {mul} }