TY - JOUR A1 - González-Galán, Ana A1 - Oskinova, Lidia M. A1 - Popov, Sergei B. A1 - Haberl, F. A1 - Kühnel, M. A1 - Gallagher, John S. A1 - Schurch, Matthew A1 - Guerrero, Martín A. T1 - A multiwavelength study of SXP 1062, the long-period X-ray pulsar associated with a supernova remnant JF - Monthly notices of the Royal Astronomical Society N2 - SXP 1062 is a Be X-ray binary (BeXB) located in the Small Magellanic Cloud. It hosts a long-period X-ray pulsar and is likely associated with the supernova remnant MCSNR J0127−7332. In this work we present a multiwavelength view on SXP 1062 in different luminosity regimes. We consider monitoring campaigns in optical (OGLE survey) and X-ray (Swift telescope). During these campaigns a tight coincidence of X-ray and optical outbursts is observed. We interpret this as typical Type I outbursts as often detected in BeXBs at periastron passage of the neutron star (NS). To study different X-ray luminosity regimes in depth, during the source quiescence we observed it with XMM–Newton while Chandra observations followed an X-ray outburst. Nearly simultaneously with Chandra observations in X-rays, in optical the RSS/SALT telescope obtained spectra of SXP 1062. On the basis of our multiwavelength campaign we propose a simple scenario where the disc of the Be star is observed face-on, while the orbit of the NS is inclined with respect to the disc. According to the model of quasi-spherical settling accretion our estimation of the magnetic field of the pulsar in SXP 1062 does not require an extremely strong magnetic field at the present time. KW - stars: neutron KW - pulsars: individual: SXP 1062 KW - galaxies: individual: Small Magellanic Cloud KW - X-rays: binaries Y1 - 2017 U6 - https://doi.org/10.1093/mnras/stx3127 SN - 0035-8711 SN - 1365-2966 VL - 475 IS - 2 SP - 2809 EP - 2821 PB - Oxford University Press CY - Oxford ER - TY - JOUR A1 - Martinez-Chicharro, M. A1 - Torrejon, J. M. A1 - Oskinova, Lidia M. A1 - Furst, F. A1 - Postnov, K. A1 - Rodes-Roca, J. J. A1 - Hainich, Rainer A1 - Bodaghee, A. T1 - Evidence of Compton cooling during an X-ray flare supports a neutron star nature of the compact object in 4U1700-37 JF - Monthly notices of the Royal Astronomical Society N2 - Based on new Chandra X-ray telescope data, we present empirical evidence of plasma Compton cooling during a flare in the non-pulsating massive X-ray binary 4U1700-37. This behaviour might be explained by quasi-spherical accretion on to a slowly rotating magnetized neutron star (NS). In quiescence, the NS in 4U1700-37 is surrounded by a hot radiatively cooling shell. Its presence is supported by the detection of mHz quasi-periodic oscillations likely produced by its convection cells. The high plasma temperature and the relatively low X-ray luminosity observed during the quiescence, point to a small emitting area similar to 1 km, compatible with a hotspot on an NS surface. The sudden transition from a radiative to a significantly more efficient Compton cooling regime triggers an episode of enhanced accretion resulting in a flare. During the flare, the plasma temperature drops quickly. The predicted luminosity for such transitions, similar to 3 x 10(35) erg s(-1), is very close to the luminosity of 4U1700-37 during quiescence. The transition may be caused by the accretion of a clump in the stellar wind of the donor star. Thus, a magnetized NS nature of the compact object is strongly favoured. KW - stars: individual: 4U1700-37 KW - V*V884 Sco KW - X-rays: binaries Y1 - 2017 U6 - https://doi.org/10.1093/mnrasl/slx165 SN - 0035-8711 SN - 1365-2966 VL - 473 IS - 1 SP - L74 EP - L78 PB - Oxford Univ. Press CY - Oxford ER - TY - JOUR A1 - Torrejon, J. M. A1 - Reig, Pablo A1 - Fürst, F. A1 - Martinez-Chicharro, M. A1 - Postnov, K. A1 - Oskinova, Lidia M. T1 - NuSTAR rules out a cyclotron line in the accreting magnetar candidate 4U2206+54 JF - Monthly notices of the Royal Astronomical Society N2 - Based on our new NuSTAR X-ray telescope data, we rule out any cyclotron line up to 60 keV in the spectra of the high-mass X-ray binary 4U2206+54. In particular, we do not find any evidence of the previously claimed line around 30 keV, independently of the source flux, along the spin pulse. The spin period has increased significantly, since the last observation, up to 5750 +/- 10 s, confirming the rapid spin-down rate (nu)over dot = -1.8 x 10(-14) Hz s(-1). This behaviour might be explained by the presence of a strongly magnetized neutron star (B-s > several times 10(13) G) accreting from the slow wind of its main-sequence O9.5 companion. KW - Stars: individual: 4U2206+54, BD+53 2790 KW - X-rays: binaries Y1 - 2018 U6 - https://doi.org/10.1093/mnras/sty1628 SN - 0035-8711 SN - 1365-2966 VL - 479 IS - 3 SP - 3366 EP - 3372 PB - Oxford Univ. Press CY - Oxford ER - TY - JOUR A1 - Gomez-Moran, Ada Nebot A1 - Oskinova, Lidia M. T1 - The X-ray catalog of spectroscopically identified Galactic O stars Investigating the dependence of X-ray luminosity on stellar and wind parameters JF - Astronomy and astrophysics : an international weekly journal N2 - The X-ray emission of O-type stars was first discovered in the early days of the Einstein satellite. Since then many different surveys have confirmed that the ratio of X-ray to bolometric luminosity in O-type stars is roughly constant, but there is a paucity of studies that account for detailed information on spectral and wind properties of O-stars. Recently a significant sample of O stars within our Galaxy was spectroscopically identified and presented in the Galactic O-Star Spectroscopic Survey (GOSS). At the same time, a large high-fidelity catalog of X-ray sources detected by the XMM-Newton X-ray telescope was released. Here we present the X-ray catalog of O stars with known spectral types and investigate the dependence of their X-ray properties on spectral type as well as stellar and wind parameters. We find that, among the GOSS sample, 127 O-stars have a unique XMM-Newton source counterpart and a Gaia data release 2 (DR2) association. Terminal velocities are known for a subsample of 35 of these stars. We confirm that the X-ray luminosities of dwarf and giant O stars correlate with their bolometric luminosity. For the subsample of O stars with measure terminal velocities we find that the X-ray luminosities of dwarf and giant O stars also correlate with wind parameters. However, we find that these correlations break down for supergiant stars. Moreover, we show that supergiant stars are systematically harder in X-rays compared to giant and dwarf O-type stars. We find that the X-ray luminosity depends on spectral type, but seems to be independent of whether the stars are single or in a binary system. Finally, we show that the distribution of log(L-X/L-bol) in our sample stars is non-Gaussian, with the peak of the distribution at log(L-X/L-bol) approximate to -6.6. KW - stars: massive KW - X-rays: stars Y1 - 2018 U6 - https://doi.org/10.1051/0004-6361/201833453 SN - 1432-0746 VL - 620 PB - EDP Sciences CY - Les Ulis ER - TY - JOUR A1 - Leto, Paolo A1 - Trigilio, C. A1 - Oskinova, Lidia M. A1 - Ignace, R. A1 - Buemi, C. S. A1 - Umana, G. A1 - Cavallaro, Francesco A1 - Ingallinera, A. A1 - Bufano, F. A1 - Phillips, N. M. A1 - Agliozzo, Claudia A1 - Cerrigone, L. A1 - Todt, Helge Tobias A1 - Riggi, S. A1 - Leone, Francesco T1 - The polarization mode of the auroral radio emission from the early-type star HD 142301 JF - Monthly notices of the Royal Astronomical Society N2 - We report the detection of the auroral radio emission from the early-type magnetic star HD142301. New VLA observations of HD142301 detected highly polarized amplified emission occurring at fixed stellar orientations. The coherent emission mechanism responsible for the stellar auroral radio emission amplifies the radiation within a narrow beam, making the star where this phenomenon occurs similar to a radio lighthouse. The elementary emission process responsible for the auroral radiation mainly amplifies one of the two magneto-ionic modes of the electromagnetic wave. This explains why the auroral pulses are highly circularly polarized. The auroral radio emission of HD142301 is characterized by a reversal of the sense of polarization as the star rotates. The effective magnetic field curve of HD142301 is also available making it possible to correlate the transition from the left to the right-hand circular polarization sense ( and vice versa) of the auroral pulses with the known orientation of the stellar magnetic field. The results presented in this letter have implications for the estimation of the dominant magneto-ionic mode amplified within the HD142301 magnetosphere. KW - masers KW - polarization KW - stars: early-type KW - stars: individual: HD142301 KW - stars: magnetic field KW - radio continuum: stars Y1 - 2018 U6 - https://doi.org/10.1093/mnrasl/sly179 SN - 0035-8711 SN - 1365-2966 VL - 482 IS - 1 SP - L4 EP - L8 PB - Oxford Univ. Press CY - Oxford ER - TY - JOUR A1 - Hainich, Rainer A1 - Oskinova, Lidia M. A1 - Shenar, Tomer A1 - Marchant Campos, Pablo A1 - Eldridge, J. J. A1 - Sander, Andreas Alexander Christoph A1 - Hamann, Wolf-Rainer A1 - Langer, Norbert A1 - Todt, Helge Tobias T1 - Observational properties of massive black hole binary progenitors JF - Astronomy and astrophysics : an international weekly journal N2 - Context: The first directly detected gravitational waves (GW 150914) were emitted by two coalescing black holes (BHs) with masses of ≈ 36 M⊙ and ≈ 29 M⊙. Several scenarios have been proposed to put this detection into an astrophysical context. The evolution of an isolated massive binary system is among commonly considered models. Aims: Various groups have performed detailed binary-evolution calculations that lead to BH merger events. However, the question remains open as to whether binary systems with the predicted properties really exist. The aim of this paper is to help observers to close this gap by providing spectral characteristics of massive binary BH progenitors during a phase where at least one of the companions is still non-degenerate. Methods: Stellar evolution models predict fundamental stellar parameters. Using these as input for our stellar atmosphere code (Potsdam Wolf-Rayet), we compute a set of models for selected evolutionary stages of massive merging BH progenitors at different metallicities. Results: The synthetic spectra obtained from our atmosphere calculations reveal that progenitors of massive BH merger events start their lives as O2-3V stars that evolve to early-type blue supergiants before they undergo core-collapse during the Wolf-Rayet phase. When the primary has collapsed, the remaining system will appear as a wind-fed high-mass X-ray binary. Based on our atmosphere models, we provide feedback parameters, broad band magnitudes, and spectral templates that should help to identify such binaries in the future. Conclusions: While the predicted parameter space for massive BH binary progenitors is partly realized in nature, none of the known massive binaries match our synthetic spectra of massive BH binary progenitors exactly. Comparisons of empirically determined mass-loss rates with those assumed by evolution calculations reveal significant differences. The consideration of the empirical mass-loss rates in evolution calculations will possibly entail a shift of the maximum in the predicted binary-BH merger rate to higher metallicities, that is, more candidates should be expected in our cosmic neighborhood than previously assumed. KW - gravitational waves KW - binaries: close KW - stars: early-type KW - stars: atmospheres KW - stars: winds KW - outflows KW - stars: mass-loss Y1 - 2018 U6 - https://doi.org/10.1051/0004-6361/201731449 SN - 1432-0746 VL - 609 PB - EDP Sciences CY - Les Ulis ER - TY - JOUR A1 - Durgud, Meriem A1 - Gupta, Saurabh A1 - Ivanov, Ivan A1 - Omidbakhshfard, Mohammad Amin A1 - Benina, Maria A1 - Alseekh, Saleh A1 - Staykov, Nikola A1 - Hauenstein, Mareike A1 - Dijkwel, Paul P. A1 - Hortensteiner, Stefan A1 - Toneva, Valentina A1 - Brotman, Yariv A1 - Fernie, Alisdair A1 - Müller-Röber, Bernd A1 - Gechev, Tsanko S. T1 - Molecular Mechanisms Preventing Senescence in Response to Prolonged Darkness in a Desiccation-Tolerant Plant JF - Plant physiology : an international journal devoted to physiology, biochemistry, cellular and molecular biology, biophysics and environmental biology of plants N2 - The desiccation-tolerant plant Haberlea rhodopensis can withstand months of darkness without any visible senescence. Here, we investigated the molecular mechanisms of this adaptation to prolonged (30 d) darkness and subsequent return to light. H. rhodopensis plants remained green and viable throughout the dark treatment. Transcriptomic analysis revealed that darkness regulated several transcription factor (TF) genes. Stress-and autophagy-related TFs such as ERF8, HSFA2b, RD26, TGA1, and WRKY33 were up-regulated, while chloroplast-and flowering-related TFs such as ATH1, COL2, COL4, RL1, and PTAC7 were repressed. PHYTOCHROME INTERACTING FACTOR4, a negative regulator of photomorphogenesis and promoter of senescence, also was down-regulated. In response to darkness, most of the photosynthesis-and photorespiratory-related genes were strongly down-regulated, while genes related to autophagy were up-regulated. This occurred concomitant with the induction of SUCROSE NON-FERMENTING1-RELATED PROTEIN KINASES (SnRK1) signaling pathway genes, which regulate responses to stress-induced starvation and autophagy. Most of the genes associated with chlorophyll catabolism, which are induced by darkness in dark-senescing species, were either unregulated (PHEOPHORBIDE A OXYGENASE, PAO; RED CHLOROPHYLL CATABOLITE REDUCTASE, RCCR) or repressed (STAY GREEN-LIKE, PHEOPHYTINASE, and NON-YELLOW COLORING1). Metabolite profiling revealed increases in the levels of many amino acids in darkness, suggesting increased protein degradation. In darkness, levels of the chloroplastic lipids digalactosyldiacylglycerol, monogalactosyldiacylglycerol, phosphatidylglycerol, and sulfoquinovosyldiacylglycerol decreased, while those of storage triacylglycerols increased, suggesting degradation of chloroplast membrane lipids and their conversion to triacylglycerols for use as energy and carbon sources. Collectively, these data show a coordinated response to darkness, including repression of photosynthetic, photorespiratory, flowering, and chlorophyll catabolic genes, induction of autophagy and SnRK1 pathways, and metabolic reconfigurations that enable survival under prolonged darkness. Y1 - 2018 U6 - https://doi.org/10.1104/pp.18.00055 SN - 0032-0889 SN - 1532-2548 VL - 177 IS - 3 SP - 1319 EP - 1338 PB - American Society of Plant Physiologists CY - Rockville ER - TY - JOUR A1 - Rodriguez Cubillos, Andres Eduardo A1 - Tong, Hao A1 - Alseekh, Saleh A1 - de Abreu e Lima, Francisco Anastacio A1 - Yu, Jing A1 - Fernie, Alisdair A1 - Nikoloski, Zoran A1 - Laitinen, Roosa A. E. T1 - Inheritance patterns in metabolism and growth in diallel crosses of Arabidopsis thaliana from a single growth habitat JF - Heredity N2 - Metabolism is a key determinant of plant growth and modulates plant adaptive responses. Increased metabolic variation due to heterozygosity may be beneficial for highly homozygous plants if their progeny is to respond to sudden changes in the habitat. Here, we investigate the extent to which heterozygosity contributes to the variation in metabolism and size of hybrids of Arabidopsis thaliana whose parents are from a single growth habitat. We created full diallel crosses among seven parents, originating from Southern Germany, and analysed the inheritance patterns in primary and secondary metabolism as well as in rosette size in situ. In comparison to primary metabolites, compounds from secondary metabolism were more variable and showed more pronounced non-additive inheritance patterns which could be attributed to epistasis. In addition, we showed that glucosinolates, among other secondary metabolites, were positively correlated with a proxy for plant size. Therefore, our study demonstrates that heterozygosity in local A. thaliana population generates metabolic variation and may impact several tasks directly linked to metabolism. Y1 - 2018 U6 - https://doi.org/10.1038/s41437-017-0030-5 SN - 0018-067X SN - 1365-2540 VL - 120 IS - 5 SP - 463 EP - 473 PB - Nature Publ. Group CY - London ER - TY - JOUR A1 - Banbara, Mutsunori A1 - Inoue, Katsumi A1 - Kaufmann, Benjamin A1 - Okimoto, Tenda A1 - Schaub, Torsten A1 - Soh, Takehide A1 - Tamura, Naoyuki A1 - Wanko, Philipp T1 - teaspoon BT - solving the curriculum-based course timetabling problems with answer set programming JF - Annals of operation research N2 - Answer Set Programming (ASP) is an approach to declarative problem solving, combining a rich yet simple modeling language with high performance solving capacities. We here develop an ASP-based approach to curriculum-based course timetabling (CB-CTT), one of the most widely studied course timetabling problems. The resulting teaspoon system reads a CB-CTT instance of a standard input format and converts it into a set of ASP facts. In turn, these facts are combined with a first-order encoding for CB-CTT solving, which can subsequently be solved by any off-the-shelf ASP systems. We establish the competitiveness of our approach by empirically contrasting it to the best known bounds obtained so far via dedicated implementations. Furthermore, we extend the teaspoon system to multi-objective course timetabling and consider minimal perturbation problems. KW - Educational timetabling KW - Course timetabling KW - Answer set programming KW - Multi-objective optimization KW - Minimal perturbation problems Y1 - 2018 U6 - https://doi.org/10.1007/s10479-018-2757-7 SN - 0254-5330 SN - 1572-9338 VL - 275 IS - 1 SP - 3 EP - 37 PB - Springer CY - Dordrecht ER - TY - JOUR A1 - Ma, Xuemin A1 - Zhang, Youjun A1 - Tureckova, Veronika A1 - Xue, Gang-Ping A1 - Fernie, Alisdair A1 - Mueller-Röber, Bernd A1 - Balazadeh, Salma T1 - The NAC Transcription Factor SlNAP2 Regulates Leaf Senescence and Fruit Yield in Tomato JF - Plant physiology : an international journal devoted to physiology, biochemistry, cellular and molecular biology, biophysics and environmental biology of plants N2 - Leaf senescence is an essential physiological process in plants that supports the recycling of nitrogen and other nutrients to support the growth of developing organs, including young leaves, seeds, and fruits. Thus, the regulation of senescence is crucial for evolutionary success in wild populations and for increasing yield in crops. Here, we describe the influence of a NAC transcription factor, SlNAP2 (Solanum lycopersicum NAC-like, activated by Apetala3/Pistillata), that controls both leaf senescence and fruit yield in tomato (S. lycopersicum). SlNAP2 expression increases during age-dependent and dark-induced leaf senescence. We demonstrate that SlNAP2 activates SlSAG113 (S. lycopersicum SENESCENCE-ASSOCIATED GENE113), a homolog of Arabidopsis (Arabidopsis thaliana) SAG113, chlorophyll degradation genes such as SlSGR1 (S. lycopersicum senescence-inducible chloroplast stay-green protein 1) and SlPAO (S. lycopersicum pheide a oxygenase), and other downstream targets by directly binding to their promoters, thereby promoting leaf senescence. Furthermore, SlNAP2 directly controls the expression of genes important for abscisic acid (ABA) biosynthesis, S. lycopersicum 9-cis-epoxycarotenoid dioxygenase 1 (SlNCED1); transport, S. lycopersicum ABC transporter G family member 40 (SlABCG40); and degradation, S. lycopersicum ABA 8′-hydroxylase (SlCYP707A2), indicating that SlNAP2 has a complex role in establishing ABA homeostasis during leaf senescence. Inhibiting SlNAP2 expression in transgenic tomato plants impedes leaf senescence but enhances fruit yield and sugar content likely due to prolonged leaf photosynthesis in aging tomato plants. Our data indicate that SlNAP2 has a central role in controlling leaf senescence and fruit yield in tomato. Y1 - 2018 U6 - https://doi.org/10.1104/pp.18.00292 SN - 0032-0889 SN - 1532-2548 VL - 177 IS - 3 SP - 1286 EP - 1302 PB - American Society of Plant Physiologists CY - Rockville ER - TY - JOUR A1 - Kamranfar, Iman A1 - Xue, Gang-Ping A1 - Tohge, Takayuki A1 - Sedaghatmehr, Mastoureh A1 - Fernie, Alisdair A1 - Balazadeh, Salma A1 - Mueller-Roeber, Bernd T1 - Transcription factor RD26 is a key regulator of metabolic reprogramming during dark-induced senescence JF - New phytologist : international journal of plant science N2 - Leaf senescence is a key process in plants that culminates in the degradation of cellular constituents and massive reprogramming of metabolism for the recovery of nutrients from aged leaves for their reuse in newly developing sinks. We used molecular-biological and metabolomics approaches to identify NAC transcription factor (TF) RD26 as an important regulator of metabolic reprogramming in Arabidopsis thaliana. RD26 directly activates CHLOROPLAST VESICULATION (CV), encoding a protein crucial for chloroplast protein degradation, concomitant with an enhanced protein loss in RD26 over-expressors during senescence, but a reduced decline of protein in rd26 knockout mutants. RD26 also directly activates LKR/SDH involved in lysine catabolism, and PES1 important for phytol degradation. Metabolic profiling revealed reduced c-aminobutyric acid (GABA) in RD26 overexpressors, accompanied by the induction of respective catabolic genes. Degradation of lysine, phytol and GABA is instrumental for maintaining mitochondrial respiration in carbon-limiting conditions during senescence. RD26 also supports the degradation of starch and the accumulation of mono-and disaccharides during senescence by directly enhancing the expression of AMY1, SFP1 and SWEET15 involved in carbohydrate metabolism and transport. Collectively, during senescence RD26 acts by controlling the expression of genes across the entire spectrum of the cellular degradation hierarchy. KW - Arabidopsis KW - fatty acid KW - primary metabolism KW - protein and amino acid degradation KW - respiration KW - senescence Y1 - 2018 U6 - https://doi.org/10.1111/nph.15127 SN - 0028-646X SN - 1469-8137 VL - 218 IS - 4 SP - 1543 EP - 1557 PB - Wiley CY - Hoboken ER - TY - JOUR A1 - Pousttchi, Key A1 - Dehnert, Maik T1 - Exploring the digitalization impact on consumer decision-making in retail banking JF - Electronic Markets N2 - Retail banking has undergone a massive transformation in the last few years. A major aspect is changing consumer behavior. The aim of the paper is to better understand retail banking consumers regarding the impact of digitalization. Consequently, we acquired online consumer review data from Germany, the UK and US. We analyzed the data using coding techniques of grounded theory, supported by interdisciplinary literature to identify and categorize the relevant influence factors. The outcome of the paper is an integrated model of consumer decision-making in today’s retail banking along with four detailed partial models of the respective decision stages. KW - Digitalization KW - Retail banking KW - Consumer behavior KW - Decision KW - Choice KW - FinTech Y1 - 2018 U6 - https://doi.org/10.1007/s12525-017-0283-0 SN - 1019-6781 SN - 1422-8890 VL - 28 IS - 3 SP - 265 EP - 286 PB - Springer CY - Heidelberg ER - TY - JOUR A1 - Watanabe, Mutsumi A1 - Tohge, Takayuki A1 - Balazadeh, Salma A1 - Erban, Alexander A1 - Giavalisco, Patrick A1 - Kopka, Joachim A1 - Mueller-Roeber, Bernd A1 - Fernie, Alisdair A1 - Hoefgen, Rainer T1 - Comprehensive Metabolomics Studies of Plant Developmental Senescence JF - Plant Senescence: Methods and Protocols N2 - Leaf senescence is an essential developmental process that involves diverse metabolic changes associated with degradation of macromolecules allowing nutrient recycling and remobilization. In contrast to the significant progress in transcriptomic analysis of leaf senescence, metabolomics analyses have been relatively limited. A broad overview of metabolic changes during leaf senescence including the interactions between various metabolic pathways is required to gain a better understanding of the leaf senescence allowing to link transcriptomics with metabolomics and physiology. In this chapter, we describe how to obtain comprehensive metabolite profiles and how to dissect metabolic shifts during leaf senescence in the model plant Arabidopsis thaliana. Unlike nucleic acid analysis for transcriptomics, a comprehensive metabolite profile can only be achieved by combining a suite of analytic tools. Here, information is provided for measurements of the contents of chlorophyll, soluble proteins, and starch by spectrophotometric methods, ions by ion chromatography, thiols and amino acids by HPLC, primary metabolites by GC/TOF-MS, and secondary metabolites and lipophilic metabolites by LC/ESI-MS. These metabolite profiles provide a rich catalogue of metabolic changes during leaf senescence, which is a helpful database and blueprint to be correlated to future studies such as transcriptome and proteome analyses, forward and reverse genetic studies, or stress-induced senescence studies. KW - Senescence KW - Metabolomics KW - Arabidopsis KW - GC/MS KW - LC/MS KW - HPLC KW - IC Y1 - 2018 SN - 978-1-4939-7672-0 SN - 978-1-4939-7670-6 U6 - https://doi.org/10.1007/978-1-4939-7672-0_28 SN - 1064-3745 SN - 1940-6029 VL - 1744 SP - 339 EP - 358 PB - Humana Press CY - Totowa ER - TY - JOUR A1 - Gebser, Martin A1 - Kaminski, Roland A1 - Kaufmann, Benjamin A1 - Lühne, Patrick A1 - Obermeier, Philipp A1 - Ostrowski, Max A1 - Romero Davila, Javier A1 - Schaub, Torsten A1 - Schellhorn, Sebastian A1 - Wanko, Philipp T1 - The Potsdam Answer Set Solving Collection 5.0 JF - Künstliche Intelligenz N2 - The Potsdam answer set solving collection, or Potassco for short, bundles various tools implementing and/or applying answer set programming. The article at hand succeeds an earlier description of the Potassco project published in Gebser et al. (AI Commun 24(2):107-124, 2011). Hence, we concentrate in what follows on the major features of the most recent, fifth generation of the ASP system clingo and highlight some recent resulting application systems. Y1 - 2018 U6 - https://doi.org/10.1007/s13218-018-0528-x SN - 0933-1875 SN - 1610-1987 VL - 32 IS - 2-3 SP - 181 EP - 182 PB - Springer CY - Heidelberg ER - TY - JOUR A1 - Haubelt, Christian A1 - Neubauer, Kai A1 - Schaub, Torsten A1 - Wanko, Philipp T1 - Design space exploration with answer set programming JF - Künstliche Intelligenz N2 - The aim of our project design space exploration with answer set programming is to develop a general framework based on Answer Set Programming (ASP) that finds valid solutions to the system design problem and simultaneously performs Design Space Exploration (DSE) to find the most favorable alternatives. We leverage recent developments in ASP solving that allow for tight integration of background theories to create a holistic framework for effective DSE. Y1 - 2018 U6 - https://doi.org/10.1007/s13218-018-0530-3 SN - 0933-1875 SN - 1610-1987 VL - 32 IS - 2-3 SP - 205 EP - 206 PB - Springer CY - Heidelberg ER -