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

Linear Logic Model of State Revisited

In an unpublished note, Reddy introduced an extended intuitionistic linear calculus, called LLMS (for Linear Logic Model of State), to model state manipulation via the

Read more

Ontologies in Enterprise Applications: Dimensional Comparison

Many important categories of applications such as information integration, data analytics, and personal assistance require access to a general store of knowledge. The usefulness of

Read more

Natural numbers objects in Dialectica categories

This note sets down some facts about natural number objects in the Dialectica category Dial2 (Sets). Natural number objects allow us to model Gödel’s System

Read more

Sense-specific implicative commitments

Natural language processing systems, even when given proper syntactic and semantic interpretations, still lack the common sense inference capabilities required for genuinely understanding a sentence.

Read more

NomLex-BR: a lexicon of Portuguese nominalizations

This paper presents NomLex-PT, a lexical resource describing Portuguese nominalizations. NomLex-PT connects verbs to their nominalizations, thereby enabling NLP systems to observe the potential semantic relationships

Read more


1 2 3 4 5 17