114 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

    A Morphometric Assessment of the Intended Function of Cached Clovis Points

    Get PDF
    A number of functions have been proposed for cached Clovis points. The least complicated hypothesis is that they were intended to arm hunting weapons. It has also been argued that they were produced for use in rituals or in connection with costly signaling displays. Lastly, it has been suggested that some cached Clovis points may have been used as saws. Here we report a study in which we morphometrically compared Clovis points from caches with Clovis points recovered from kill and camp sites to test two predictions of the hypothesis that cached Clovis points were intended to arm hunting weapons: 1) cached points should be the same shape as, but generally larger than, points from kill/camp sites, and 2) cached points and points from kill/camp sites should follow the same allometric trajectory. The results of the analyses are consistent with both predictions and therefore support the hypothesis. A follow-up review of the fit between the results of the analyses and the predictions of the other hypotheses indicates that the analyses support only the hunting equipment hypothesis. We conclude from this that cached Clovis points were likely produced with the intention of using them to arm hunting weapons
    • …
    corecore