Valeria de Paiva

Valeria de Paiva
research category image

Main area of research
Natural language & AI

Valeria de Paiva is a Senior Research Scientist in the Artificial Intelligence and Reasoning group. Her research interest is in the area of Natural Language & AI. As a mathematician, logician and computer scientist, she uses logic to improve communication with computer systems. Before Nuance, she was a research scientist at the Intelligent Systems Laboratory of PARC (Palo Alto Research Center), CA for many years (2000-2008) and a search analyst at Cuil, Inc. and at Rearden Commerce, now Deem. She received her PhD in Mathematics from Cambridge University for work on “Dialectica Categories”, and has ever since worked on logical approaches to computation. She is on the editorial boards of “Theoria and Application of Categories”, “Logical Methods in Computer Science” and of “Logica Universalis”. She's an Honorary Research Fellow at the School of Computer Science, University of Birmingham, UK, where she was an Assistant Professor, and she taught recently at Stanford University and Santa Clara University in California.

Selected articles

Multiple Conclusion Linear Logic: Cut-elimination and more

Full Intuitionistic Linear Logic (FILL) was first introduced by Hyland and de Paiva, and went against current beliefs that it was not possible to incorporate

Read more

An overview of Portuguese WordNets

Semantic relations between words are key to building systems that aim to understand and manipulate language. For English, the “de facto” standard for representing this

Read more

Intuitionistic Modal Logic: A 15-year retrospective

  The series of workshops on Intuitionistic Modal Logic and Applications (IMLA) owes its existence to the hope that philosophers, mathematical logicians and computer scientists

Read more

Seeing is Correcting: curating lexical resources using social interfaces

This note describes OpenWordnet-PT, an automatically created, manually curated wordnet for Portuguese and introduces the newly developed web interface we are using to speed up

Read more

A linked open data architecture for the historical archives of the Getulio Vargas Foundation

This paper presents an architecture for historical archives maintenance based on Open Linked Data technologies and open source distributed development model and tools. The proposed

Read more


1 2 3 4 17