201
click to vote
LRE
2016
10 years 26 days ago
2016
Abstract This paper is an extended description of SemEval-2014 Task 1, the task on the evaluation of Compositional Distributional Semantics Models on full sentences. Systems partic...
LP
2016
10 years 26 days ago
2016
Over 660 Chinese researchers were questioned about their scholarly use, citing, and publishing and how trust is exercised in these key activities. Research showed few signs of new...
103
click to vote
LOGCOM
2016
10 years 26 days ago
2016
Turing, in his immortal 1936 paper, observed that “[human] computing is normally done by writing. . . symbols on [two-dimensional] paper”, but noted that use of a second dimen...
126
click to vote
LOGCOM
2016
10 years 26 days ago
2016
The transition from a theory that turned out trivial to a consistent replacement need not proceed in terms of inconsistencies, which are negation gluts. Logics that tolerate gluts...
117
click to vote
LOGCOM
2016
10 years 26 days ago
2016
Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are allowed to occur within sequents. Nested sequent calculi have been profitably e...
201
click to vote
LOGCOM
2016
10 years 26 days ago
2016
This paper intends to contribute to the debate about the uses of paraconsistent reasoning in the foundations of set theory, by means of employing the logics of formal inconsistenc...
118
click to vote
LOGCOM
2016
10 years 26 days ago
2016
The LFP Framework is an extension of the Harper-Honsell-Plotkin’s Edinburgh Logical Framework LF with external predicates, hence the name Open Logical Framework. This is accompli...
108
click to vote
LOGCOM
2016
10 years 26 days ago
2016
Justification logics refine modal logics by replacing the usual necessity operator with a family of justification terms that embody reasons for the necessity of a formula, rath...