TY - JOUR A1 - Sarsakov, Vladimir A1 - Schaub, Torsten H. A1 - Tompits, Hans A1 - Woltran, Stefan T1 - A compiler for nested logic programming Y1 - 2004 SN - 3-540- 20721-x ER - TY - JOUR A1 - Linke, Thomas A1 - Tompits, Hans A1 - Woltran, Stefan T1 - On Acyclic and head-cycle free nested logic programs Y1 - 2004 SN - 3-540-22671-01 ER - TY - JOUR A1 - Linke, Thomas A1 - Tompits, Hans A1 - Woltran, Stefan T1 - On acyclic and head-cycle free nested logic programs Y1 - 2004 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten H. A1 - Tompits, Hans A1 - Woltran, Stefan T1 - On Computing belief change operations using quantifield boolean formulas N2 - 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 Y1 - 2004 SN - 0955-792X ER - TY - JOUR A1 - Lieckfeldt, Elke A1 - Simon-Rosin, Ulrike A1 - Zöller, Daniela A1 - Ebert, Berit A1 - Kehr, Julia A1 - Fisahn, Joachim T1 - Spatio/temporal analysis of gene exression profiles within single cells and specific tissue types of developing Arabidopsis plants Y1 - 2004 SN - 3-00-011587-0 ER - TY - JOUR A1 - Christensen, Lise Bech A1 - Sanchez, Sebastian F. A1 - Jahnke, Knud A1 - Becker, Thomas A1 - Wisotzki, Lutz A1 - Kelz, A. A1 - Popovic, L. C. A1 - Roth, Martin M. T1 - Integral field spectroscopy of extended Ly alpha emission from the DLA galaxy in Q2233+131 N2 - 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 Y1 - 2004 ER - TY - JOUR A1 - Wisotzki, Lutz A1 - Becker, Thomas A1 - Christensen, Lise Bech A1 - Jahnke, Knud A1 - Helms, Andreas A1 - Kelz, A. A1 - Roth, Martin M. A1 - Sanchez, Sebastian F. T1 - Integral field spectrophotometry of gravitationally lensed QSOs with PMAS N2 - 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 Y1 - 2004 SN - 0004-6337 ER - TY - JOUR A1 - Christensen, Lise Bech A1 - Sanchez, Sebastian F. A1 - Jahnke, Knud A1 - Becker, Thomas A1 - Kelz, A. A1 - Wisotzki, Lutz A1 - Roth, Martin M. T1 - Integral field observations of damped Lyman-alpha galaxies N2 - 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" Y1 - 2004 ER - TY - JOUR A1 - Jahnke, Knud A1 - Wisotzki, Lutz A1 - Sanchez, Sebastian F. A1 - Christensen, Lise Bech A1 - Becker, Thomas A1 - Kelz, A. A1 - Roth, Martin M. T1 - Integral field spectroscopy of QSO host galaxies N2 - 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 Y1 - 2004 ER - TY - JOUR A1 - Grözinger, Karl Erich T1 - פרשנותו של מרטין בובר לתולדות עם ישראל כניסיון למודרניזציה של היהדות, או: אי-ההבנה הכפולה JF - ההיסטוריה הגרמנית-יהודית שירשנו Y1 - 2004 SN - 9654931451 SP - 36 EP - 50 PB - Leo-Baeck-Institute CY - Jerusalem ER -