205 research outputs found

    A Preference-Based Approach to Backbone Computation with Application to Argumentation

    Get PDF
    The backbone of a constraint satisfaction problem consists of those variables that take the same value in all solutions. Algorithms for determining the backbone of propositional formulas, i.e., Boolean satisfiability (SAT) instances, find various real-world applications. From the knowledge representation and reasoning (KRR) perspective, one interesting connection is that of backbones and the so-called ideal semantics in abstract argumentation. In this paper, we propose a new backbone algorithm which makes use of a "SAT with preferences" solver, i.e., a SAT solver which is guaranteed to output a most preferred satisfying assignment w.r.t. a given preference over literals of the SAT instance at hand. We also show empirically that the proposed approach is specifically effective in computing the ideal semantics of argumentation frameworks, noticeably outperforming an other state-of-the-art backbone solver as well as the winning approach of the recent ICCMA 2017 argumentation solver competition in the ideal semantics track.Peer reviewe

    KELT-25 b and KELT-26 b: A Hot Jupiter and a Substellar Companion Transiting Young A Stars Observed by TESS

    Get PDF
    We present the discoveries of KELT-25 b (TIC 65412605, TOI-626.01) and KELT-26 b (TIC 160708862, TOI-1337.01), two transiting companions orbiting relatively bright, early A stars. The transit signals were initially detected by the KELT survey and subsequently confirmed by Transiting Exoplanet Survey Satellite (TESS) photometry. KELT-25 b is on a 4.40 day orbit around the V = 9.66 star CD-24 5016 (Teff=8280-180+440 K, M ∗ = 2.18-0.11+0.12 M o˙), while KELT-26 b is on a 3.34 day orbit around the V = 9.95 star HD 134004 (Teff = 8640-240+500 K, M ∗ = 1.93-0.16+0.14 M o˙), which is likely an Am star. We have confirmed the substellar nature of both companions through detailed characterization of each system using ground-based and TESS photometry, radial velocity measurements, Doppler tomography, and high-resolution imaging. For KELT-25, we determine a companion radius of R P = 1.64-0.043+0.039 R J and a 3σ upper limit on the companion\u27s mass of ∼64 M J. For KELT-26 b, we infer a planetary mass and radius of M P = 1.41-0.51+0.43MJ and R P = 1.94-0.058+0.060 R J. From Doppler tomographic observations, we find KELT-26 b to reside in a highly misaligned orbit. This conclusion is weakly corroborated by a subtle asymmetry in the transit light curve from the TESS data. KELT-25 b appears to be in a well-aligned, prograde orbit, and the system is likely a member of the cluster Theia 449

    The Impact of Political Leaders' Profession and Education on Reforms

    Full text link
    This paper analyzes whether the educational and professional background of a head of government matters for the implementation of market-liberalizing reforms. Employing panel data over the period 1970-2002, we present empirical evidence based on a novel data set covering profession and education of more than 500 political leaders from 73 countries. Our results show that entrepreneurs, professional scientists, and trained economists are significantly more reform oriented. Contrary, union executives tend to impede reforms. We also highlight interactions between profession and education with time in office and the political leaning of the ruling party
    • …
    corecore