Valeria de Paiva's Projects
TPTP linear logic version
Automatically exported from code.google.com/p/mate-tools
a corpus of short stories with multiple choice question-answers, from the work of Matthew Richardson, Christopher J.C. Burges and Erin Renshaw.
stuff to discuss with Valentina and Giovanni
NOMLEX (NOMinalization Lexicon) dictionary of Portuguese nominalizations
data about OAB Exams
An open-source, customizable intermediate logic textbook
OpenWordnet-PT: an open Brazilian Wordnet
Temporal annotations for Portuguese
PropS offers an output representation designed to explicitly and uniformly express much of the proposition structure which is implied from syntax.
RTE Experiment
Suggested Upper Merged Ontology (SUMO)
Master the command line, in one page
Parallel Universal Dependencies.
my personal website
Women in Programming Languages and Software Engineering Research