5 search results - page 1 / 1 » A categorical semantics for polarized MALL |
APAL
2007
13 years 5 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentā...
EDM
2010
13 years 6 months ago
2010
In this paper we present an evaluation of new techniques for automatically detecting sentiment polarity (Positive or Negative) in the students responses to Unit of Study Evaluation...
LREC
2010
13 years 6 months ago
2010
We describe a new method for extracting Negative Polarity Item candidates (NPI candidates) from dependency-parsed German text corpora. Semi-automatic extraction of NPIs is a chall...
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we ļ¬rst have the deļ¬nition of interaction-composition and then we have semantical types, as a set of strategies ...
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...