Nexing Corpus: a corpus of verbal protocols on syllogistic reasoning.

António Branco José Leitão João Ricardo Silva Luís Gomes

Published in: LREC (2002)

Keyphrases

open domain
manually annotated
test set
data sets
knowledge base
knowledge representation
logic programming
reasoning tasks