Abstract In this article, we take into consideration two semantics of the future tense: linearism, according to which future-tense sentences are interpreted on a single history, and universalism, they evaluated by universally quantifying plurality histories that radiate from present instant. Specifically, focus objection advanced against universalism: if universalism were correct will , negated...

This article explores negation in Chinese on the basis of written and spoken corpora of Mandarin Chinese. The use of corpus data not only reveals central tendencies in language based on quantitative data, it also provides typical examples attested in authentic contexts. In this study we will first discuss negation variants in general terms, on the basis of which the focus will be shifted to the...

Inclusion of negation into logic programs is considered traditionally to be painful as the incorporation of full logic negation tends to super-exponential time complexity of the prover. Therefore the alternative approaches to negation in logic programs are studied and among them, the procedural negation as failure sounds to be the most successful and the most widely used. However, Constraint Lo...

Inclusion of negation into logic programs is considered traditionally to be painful as the incorporation of full logic negation tends to super-exponential time complexity of the prover. Therefore the alternative approaches to negation in logic programs are studied and among them, the procedural negation as failure sounds to be the most successful and the most widely used. However, with the spre...

Identification of the certainty of events is an important text mining problem. In particular, biomedical texts report medical conditions or findings that might be factual, hedged or negated. Identification of negation and its scope over a term of interest determines whether a finding is reported and is a challenging task. Not much work has been performed for Spanish in