1,772 research outputs found

    Epistemic Foundation of Stable Model Semantics

    Full text link
    Stable model semantics has become a very popular approach for the management of negation in logic programming. This approach relies mainly on the closed world assumption to complete the available knowledge and its formulation has its basis in the so-called Gelfond-Lifschitz transformation. The primary goal of this work is to present an alternative and epistemic-based characterization of stable model semantics, to the Gelfond-Lifschitz transformation. In particular, we show that stable model semantics can be defined entirely as an extension of the Kripke-Kleene semantics. Indeed, we show that the closed world assumption can be seen as an additional source of `falsehood' to be added cumulatively to the Kripke-Kleene semantics. Our approach is purely algebraic and can abstract from the particular formalism of choice as it is based on monotone operators (under the knowledge order) over bilattices only.Comment: 41 pages. To appear in Theory and Practice of Logic Programming (TPLP

    Discriminations of Color and Pattern on Artificial Flowers by Male and Female Bumble Bees, \u3ci\u3eBombus Impatiens\u3c/i\u3e (Hymenoptera: Apidae)

    Get PDF
    This study examined the performance of male bumble bees (Bombus impatiens) in color and pattern discriminations and compared it to that of female bees. Bees were trained to forage from rewarding (S+) and unrewarding (S-) artificial flowers which differed in color (blue vs yellow) or pattern (e.g., concen­tric vs radial). Learning of the discrimination by the bees was then assessed by examining choice proportions of different flower types while none of the flowers offered reward. Color discriminations were made with 98% accuracy by the males, and the choice proportion was no different for females. Pattern discriminations were very poor or nonexistent for males but significantly better for females, especially in one of three pattern discriminations (radial vs concentric patterns)

    The effect of Walmart on the tax base: evidence from New Jersey

    Get PDF
    This paper measures the impact of 30 Walmart openings on the municipal tax base using panel data for New Jersey municipalities from 1998-2007. We consider the impact of the new Walmart on the home municipality as well as the nearest adjacent municipality in the year the outlet opens as well as the two subsequent years. Because Walmart may exert differing effects on residential and non-residential values, we undertake separate analyses of the impact of Walmart on the residential and non-residential tax bases. We find that a new Walmart has a significant positive impact on the growth in the tax base in host municipalities the second year that it is open, but not in years one and three. In addition, the impact of the Walmart on the growth in the tax base depends on the size of the municipality. In the average-sized municipality, the real equalized tax base growth rate rises only about 0.35 percentage points in the second year. This effect is primarily the result of Walmart’s impact on residential values in the host municipality. By contrast, a new Walmart causes a modest but consistently negative effect on growth of the tax base in the adjacent municipality across all three years that we are able to measure. In the average sized municipality for our sample, the real equalized tax base growth rate falls rate falls 0.065, 0.081, and 0.096 percentage points, respectively. This effect occurs primarily through the Walmart’s impact on growth of non-residential values. The cumulative effect of this reduction in growth in the adjacent municipality is roughly two thirds of the increase in growth experienced by the home municipality.Tax Base, Walmart, Retailing, Big Box

    Parasocial and Social Player-Avatar Relationships: Social Others in Thomas Was Alone

    Get PDF
    The nature of the relationship between the player and a video game avatar has been the cause of much academic discussion and debate. While in the past most studies focused on parasocial relationships, the new Banks-Bowman social categorization system provides a beneficial and enlightening new framework with which to examine how the player relates to the avatar. The interactive mediums through which players relate with playable characters separate such relationships from those created with film or literary protagonists. This interactivity allows for social player-avatar relationships, including the avatar-as-social-other relationship exemplified in the game Thomas Was Alone, and creates new possibilities important for game designers to consider. This article first briefly explores the academic discussions surrounding the player-avatar relationship in light of the new Banks-Bowman categories, then turns attention to the ways in which the avatar-as-social-other relationship and its corresponding emotionally intense gameplay are exemplified in the game Thomas Was Alone.

    L'odieux du stade:Compte-rendu de "Arènes totalitaires : Hitler, Mussolini et les jeux du stade"

    Get PDF
    Une étude sur le rapport ambigu entre sport et politique à la lumière des instrumentalisations du premier par le second dans l'Allemagne et l'Italie des années 1930

    Mona Ozouf, l’histoire, la littérature et la vie:Composition de "Composition française : retour sur une enfance bretonne"

    Get PDF
    À la fois récit de vie, essai d’ego-histoire, ce livre est aussi une réflexion sur l’identité française et la littérature

    La ruée vers le global:Compte rendu de "Ecrire l'histoire du monde"

    Get PDF
    L'histoire du monde en débat

    Des sociologues heureux:Compte-rendu de

    Get PDF
    Le public avignonnais et les sociologues : un nouvel opus plutĂ´t convaincant
    • …
    corecore