Abstract. This paper describes the results of the INAOE’s answer validation system evaluated at the Spanish track of the AVE 2007. The system is based on a supervised learning ap...
The principal result of this paper answers a long-standing question in the model theory of arithmetic [KS, Question 7] by showing that there exists an uncountable arithmetically cl...
Answering a question of Pereira we show that it is possible to have a model violating the Singular Cardinal Hypothesis without a tree-like continuous scale.
In this paper, we evaluate a number of machine learning techniques for the task of ranking answers to why-questions. We use TF-IDF together with a set of 36 linguistically motivate...
Suzan Verberne, Hans van Halteren, Daphne Theijsse...
GikiCLEF focused on the evaluation of the reasoning capabilities of systems to provide right answers for geographically-challenging topics. As we did not have previous experience ...
Nuno Cardoso, David Batista, Francisco J. Ló...