Sciweavers

CLEF
2006
Springer
13 years 6 months ago
The Effect of Entity Recognition on Answer Validation
The Answer Validation Exercise (AVE) 2006 is aimed at evaluating systems able to decide whether the responses of a Question Answering (QA) system are correct or not. Since most of ...
Álvaro Rodrigo, Anselmo Peñas, Jes&u...
CLEF
2007
Springer
13 years 6 months ago
On the Application of Lexical-Syntactic Knowledge to the Answer Validation Exercise
Abstract. This paper presents a system that applies Textual Entailment recognition techniques to the AVE task. This is performed comparing representations of text snippets by means...
Óscar Ferrández, Daniel Micol, Rafae...
AIIA
2005
Springer
13 years 8 months ago
A Linguistic Inspection of Textual Entailment
Recognition of textual entailment is not an easy task. In fact, early experimental evidences in [1] seems to demonstrate that even human judges often fail in reaching an agreement ...
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio ...
LPAR
2007
Springer
13 years 8 months ago
Completeness and Decidability in Sequence Logic
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
Marc Bezem, Tore Langholm, Michal Walicki
POPL
2004
ACM
14 years 2 months ago
Principal typings for Java-like languages
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
Davide Ancona, Elena Zucca