Valeria de Paiva
Valeria de Paiva publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Language and Linguistics, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Natural Language Processing Techniques.
- World rank
- #1,988,827 of 7,710,434 ranked researchers
- Rank in United States
- #604,217 of 1,627,098
- Works
- 178
- Citations
- 2.5k
- Citations per work
- 14.2
What does Valeria de Paiva research?
Valeria de Paiva's work is mostly in Computer Science (80%), Arts and Humanities (3%), Psychology (2%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences14380.5%
- Computer Science14380.5%
- Everything else2413.3%
- Social Sciences94.9%
- Arts and Humanities63.3%
- Psychology31.6%
- Health Sciences21.3%
- Health Professions21.3%
- 1Artificial Intelligence62% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Language and Linguistics3% of their works
- 4Experimental and Cognitive Psychology2% of their works
- 5Information Systems1% of their works
- 6General Health Professions1% of their works
Research topics
Which keywords describe Valeria de Paiva's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Answer Set Programming, Modal Logic, Formal Verification and Static Analysis.
- Spoken Dialogue Systems
- Symbolic Model Checker
- Residuated Lattices
- Word Representation
- Semantic Web
- Statistical Machine Translation
- Static Analysis
- Modal Logic
- Temporal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Answer Set Programming
- Formal Verification
- Neural Machine Translation
- Ontology
- Neural Networks
- Fuzzy Logic
- Satisfiability Modulo Theories
- Markov Decision Processes
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 20 words, with their numbers
- Model Checking1483 topics
- Description Logics1142 topics
- Knowledge Representation1142 topics
- Temporal Logic942 topics
- Answer Set Programming701 topic
- Modal Logic701 topic
- Formal Verification541 topic
- Static Analysis541 topic
- Neural Machine Translation511 topic
- Statistical Machine Translation511 topic
- Ontology441 topic
- Semantic Web441 topic
- Neural Networks351 topic
- Word Representation351 topic
- Fuzzy Logic311 topic
- Residuated Lattices311 topic
- Satisfiability Modulo Theories241 topic
- Symbolic Model Checker241 topic
- Markov Decision Processes91 topic
- Spoken Dialogue Systems91 topic
Where does Valeria de Paiva work?
Valeria de Paiva's main affiliation in the publication record is Nuance Communications (United States), United States.
How many publications and citations does Valeria de Paiva have?
OpenAlex counts 178 works and 2,523 citations for Valeria de Paiva, an h-index of 24, ranking #1,988,827 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Valeria de Paiva. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.