valeria-de-paiva documents channel
Avatar
All Documents
Universal Dependencies For Inference

Universal Dependencies For Inference

Category: Education
Released: January 28, 2018
Weapons of Math Construction

Weapons of Math Construction

Category: Education
Released: January 28, 2018
Natural Language Inference: Logic from Humans

Natural Language Inference: Logic from Humans

Category: Education
Released: January 28, 2018
Modal Type Theory

Modal Type Theory

Category: Education
Released: April 13, 2017
Seeing is Correcting:Linked Open Data for Portuguese

Seeing is Correcting:Linked Open Data for Portuguese

Category: Data & Analytics
Released: March 22, 2017
Lean Logic for Lean Times: Varieties of Natural Logic

Lean Logic for Lean Times: Varieties of Natural Logic

Category: Education
Released: March 22, 2017
Logics and Ontologies for Portuguese Understanding

Logics and Ontologies for Portuguese Understanding

Category: Education
Released: March 22, 2017
Portuguese Linguistic Tools: What, Why and How

Portuguese Linguistic Tools: What, Why and How

Category: Engineering
Released: March 22, 2017
Lean Logic for Lean Times: Entailment and Contradiction Revisited

Lean Logic for Lean Times: Entailment and Contradiction Revisited

Category: Education
Released: August 02, 2015
Chu and Dialectica: cousins?

Chu and Dialectica: cousins?

Category: Documents
Released: July 18, 2015
Intuitionistic Modal Logic: fifteen years later

Intuitionistic Modal Logic: fifteen years later

Category: Education
Released: July 15, 2015
PORTUGUESE NLP FOR FGV?

PORTUGUESE NLP FOR FGV?

Category: Technology
Released: June 27, 2015