Valeria de Paiva
#48,362
Most Influential Person Now
Brazilian mathematician, logician, and computer scientist
Valeria de Paiva's AcademicInfluence.com Rankings
Valeria de Paivaphilosophy Degrees
Philosophy
#2450
World Rank
#4186
Historical Rank
Logic
#1202
World Rank
#1893
Historical Rank
Valeria de Paivacomputer-science Degrees
Computer Science
#4129
World Rank
#4345
Historical Rank
Computational Linguistics
#2784
World Rank
#2815
Historical Rank
Download Badge
Philosophy Computer Science
Valeria de Paiva's Degrees
- PhD Mathematics University of São Paulo
- Masters Mathematics University of São Paulo
- Bachelors Mathematics University of São Paulo
Similar Degrees You Can Earn
Why Is Valeria de Paiva Influential?
(Suggest an Edit or Addition)According to Wikipedia, Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist. Her work includes research on logical approaches to computation, especially using category theory, knowledge representation and natural language semantics, and functional programming with a focus on foundations and type theories.
Valeria de Paiva's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies (2017) (287)
- On an Intuitionistic Modal Logic (2000) (221)
- A Term Calculus for Intuitionistic Linear Logic (1993) (207)
- Universal Dependencies 2.1 (2017) (146)
- Computational types from a logical perspective (1998) (131)
- Categorical and Kripke Semantics for Constructive S4 Modal Logic (2001) (117)
- Term Assignment for Intuitionistic Linear Logic (1992) (104)
- Entailment, intensionality and text understanding (2003) (92)
- OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning (2012) (90)
- A Dialectica-like Model of Linear Logic (1989) (77)
- Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic (2001) (75)
- Full Intuitionistic Linear Logic (extended abstract) (1993) (70)
- Linear Lambda-Calculus and Categorial Models Revisited (1992) (65)
- Universal Dependencies 2.0 – CoNLL 2017 Shared Task Development and Test Data (2017) (65)
- Making ontologies work for resolving redundancies across documents (2002) (60)
- Intuitionistic hybrid logic (2006) (49)
- Deverbal Nouns in Knowledge Representation (2007) (45)
- A Linear Specification Language for Petri Nets (1991) (41)
- Universal Dependencies for Portuguese (2017) (41)
- A Basic Logic for Textual Inference (2005) (40)
- Relating Categorical Semantics for Intuitionistic Linear Logic (2005) (38)
- Precision-focused Textual Inference (2007) (38)
- Cut-Elimination for Full Intuitionistic Linear Logic (1996) (31)
- Constructive CK for Contexts (2005) (30)
- The ACQUILEX LKB: an introduction (1994) (29)
- Inheritance, Defaults and the Lexicon (2006) (29)
- Preventing existence (2001) (27)
- Full intuitionistic linear logic (1993) (26)
- Default inheritance within unification-based approaches to the lexicon (1992) (25)
- Constructive Description Logics : what , why and how (2006) (23)
- From Quirky Case to Representing Space: Papers in Honor of Annie Zaenen (2013) (23)
- DIALECTICA AND CHU CONSTRUCTIONS: COUSINS? (2007) (22)
- Natural Deduction and Context as (Constructive) Modality (2003) (21)
- The dialectica monad and its cousins (2010) (21)
- Revisiting a Brazilian WordNet (2012) (21)
- NomLex-PT: A Lexicon of Portuguese Nominalizations (2014) (21)
- Explicit Substitutions for Constructive Necessity (1998) (21)
- Modalities in constructive logics and type theories (2004) (21)
- Textual Inference Logic: Take Two (2007) (20)
- Linear Explicit Substitutions (2000) (19)
- Scalability of Redundancy Detection in Focused Document Collections (2002) (19)
- Inheritance, Defaults and the Lexicon: Inheritance, Defaults and the Lexicon (1994) (18)
- A Formulation of Linear Logic Based on Dependency-Relations (1997) (16)
- A SHORT NOTE ON INTUITIONISTIC PROPOSITIONAL LOGIC WITH MULTIPLE CONCLUSIONS (2005) (16)
- An overview of Portuguese WordNets (2016) (15)
- Basic Constructive Modality (2011) (15)
- Correcting Contradictions (2017) (15)
- Fibrational Modal Type Theory (2016) (15)
- Textual Inference: getting logic from humans (2017) (15)
- SICK-BR: A Portuguese Corpus for Inference (2018) (14)
- Exploratory Information Extraction from a Historical Dictionary (2014) (14)
- Intuitionistic Logic and Legal Ontologies (2010) (13)
- Term assignment for intuitionistic linear logic (preliminary report) (1992) (13)
- OpenWordNet-PT: A Project Report (2014) (13)
- Categorical Models for Intuitionistic and Linear Type Theory (2000) (13)
- Hy-NLI: a Hybrid system for Natural Language Inference (2020) (13)
- A linked open data architecture for the historical archives of the Getulio Vargas Foundation (2015) (12)
- Types and constraints in the LKB (1994) (12)
- On Explicit Substitution and Names (Extended Abstract) (1997) (12)
- Using Intuitionistic Logic as a Basis for Legal Ontologies (2010) (11)
- Intuitionistic Description Logic and Legal Reasoning (2011) (11)
- An ecumenical notion of entailment (2019) (11)
- As Wordnets do Português (2015) (10)
- Mechanizing Linear Logic in Isabelle (1995) (9)
- Explaining Simple Natural Language Inference (2019) (9)
- Extending a Lexicon of Portuguese Nominalizations with Data from Corpora (2014) (9)
- A new proof system for intuitionistic logic (1995) (8)
- Poset-valued sets or how to build models for linear logics (2004) (8)
- Designing Testsuites for Grammar-based Systems in Applications (2008) (8)
- Intuitionistic Modal Logic: A 15-year retrospective (2018) (8)
- Seeing is Correcting: curating lexical resources using social interfaces (2015) (8)
- Multiple Conclusion Linear Logic: Cut Elimination and More (2016) (7)
- A Dialectica Model of State (1996) (7)
- Bridges from Language to Logic: Concepts, Contexts and Ontologies (2011) (7)
- Categorical and Kripke Semantics for Constructive Modal Logics (2001) (7)
- Embedding NomLex-BR nominalizations into OpenWordnet-PT (2014) (7)
- Fuzzy Topological Systems (2011) (7)
- Categorical multirelations, linear logic and petri nets (draft) (1991) (7)
- Intuitionistic N-Graphs (2014) (7)
- Categorical Models of Explicit Substitutions (1999) (7)
- WordNet for “ Easy ” Textual Inferences (2018) (6)
- Constructive Description Logics Hybrid-Style (2011) (6)
- Proceedings of the 2007 Workshop on Contexts and ontologies Representations and Reasoning (C og O:RR-2007) (2010) (6)
- Perspectives on Semantic Representations for Textual Inference (2013) (6)
- Dialectica Categories for the Lambek Calculus (2018) (6)
- On the Lambek Calculus with an Exchange Modality (2019) (6)
- Making Virtue of Necessity: A Verb Lexicon (2016) (5)
- Kolmogorov-Veloso Problems and Dialectica Categories (2021) (5)
- Towards Temporal Reasoning in Portuguese (2018) (5)
- The Gödel Fibration (2021) (5)
- Explicit Substitutions for Linear Logical Frameworks: Preliminary Results (1999) (5)
- Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (2014) (4)
- A PARIGOT-STYLE LINEAR -CALCULUS FOR FULL INTUITIONISTIC LINEAR LOGIC (2006) (4)
- An Institutional View on Categorical Logic (2007) (4)
- Deriving Theorems in Implicational Linear Logic, Declaratively (2020) (4)
- Explaining Watson: Polymath Style (2015) (4)
- Inheritance, Defaults and the Lexicon (Studies in Natural Language Processing) (2006) (4)
- Categorical Semantics of Linear Logic for All (2014) (3)
- Sense-Specific Implicative Commitments (2014) (3)
- Linear logic model of state revisited (2014) (3)
- Context Inducing Nouns (2008) (3)
- If, not when (2014) (3)
- Intuitionistic Modal Logic and Applications (IMLA 2008) (2011) (3)
- Inheritance, Defaults and the Lexicon: Frontmatter (1994) (3)
- The ILLTP Library for Intuitionistic Linear Logic (2019) (3)
- Advances in Natural Deduction (2014) (3)
- An Institutional View on Categorical Logic and the Curry-Howard-Tait-Isomorphism (3)
- Semantic Links for Portuguese (2016) (2)
- Natural Number Objects in Dialectica Categories (2014) (2)
- Plurality in Wordnets Livy Real (2016) (2)
- Where’s the meeting that was cancelled? existential implications of transitive verbs (2012) (2)
- Annotation Difficulties in Natural Language Inference (2021) (2)
- A proof theoretical view of ecumenical systems (2018) (2)
- Elements of Categorical Logic: Fifty Years Later (2013) (2)
- Knowledge Tracking: Answering Implicit Questions (2003) (2)
- Extending NomLex-PT using AnCora-Nom (2014) (2)
- Dialectical categories, cardinalities of the continuum and combinatorics of ideals (2017) (2)
- Proceedings of the International Workshop on Hybrid Logic (HyLo 2006) (2007) (2)
- XplaiNLI: Explainable Natural Language Inference through Visual Analytics (2020) (2)
- Towards a Rewriting Framework for Textual Entailment (2014) (1)
- On explicit substitutions and names (1997) (1)
- Proc. 4th ECAI 2008 workshop on Context and ontologies (C&O) (2008) (1)
- Linear Logic and Applications (2008) (1)
- Intuitionistic Modal Logic: 15 Years Later... (2015) (1)
- A Basic Logic for Textual Davidsonian Inference (2005) (1)
- Relating Legal Entities via Open Information Extraction (2018) (1)
- Universal Dependencies 2.0 alpha (obsolete) (2017) (1)
- Linear Explicit Substitutions ( Extended Abstract ) (1998) (1)
- Contexts for Quantification (2011) (1)
- Applied Category Theory in Chemistry, Computing, and Social Networks (2021) (1)
- Composing Noun Phrase Vector Representations (2019) (1)
- Ontologies in Enterprise Applications : Dimensional Comparison (2015) (0)
- Dialectica Comonads (Invited Talk) (2021) (0)
- Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020 (2021) (0)
- Inheritance, Defaults and the Lexicon: Software Availability (1994) (0)
- Inheritance, Defaults and the Lexicon: A Bibliography of ACQUILEX Papers Connected with the LKB (1994) (0)
- Dialectica Fuzzy Petri Nets (2020) (0)
- Preface to Intiutionistic Modal Logic 2017 (2021) (0)
- Ontologies in Enterprise Application: Dimensional Comparison (2014) (0)
- WOLLIC, CSLI, Stanford, USA July 18–21, 2006 (2007) (0)
- How to build models for Linear Logics (2002) (0)
- On Explicit Substitutions and ( Extended Abstract ) Names (0)
- 22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015) (2016) (0)
- Domains and Lambda-Calculi by R. M. Amadio and P.-L. Curien, Springer Verlag, 1999, ISBN 0521587751. (2001) (0)
- 22nd International Conference on Computational Linguistics Proceedings of the workshop on Knowledge and Reasoning for Answering Questions (2008) (0)
- Linear Logic and Applications (Dagstuhl Seminar 99341) (2021) (0)
- Categorical models for relevant logics (1992) (0)
- Categorifying computable reducibilities (2022) (0)
- Extracting Mathematical Concepts from Text (2022) (0)
- Proceedings of the ACQUILEX Workshop on Default Inheritance in the lexicon (1991) (0)
- curating lexical resources using social interfaces (2015) (0)
- Rewriting Properties of Combinators for Rudimentary Linear Logic (1993) (0)
- Linguistic Legal Concept Extraction in Portuguese (2018) (0)
- Proc. 3rd Context 2007 workshop on Context and ontologies: representation and reasoning (C&O:RR) (2007) (0)
- Of Seringueiros and Sambistas: Occupation Mappings in Historical Text (2022) (0)
- Curing the SICK and Other NLI Maladies (2022) (0)
- Normalization bounds in rudimentary linearlambda al ulus ? (2007) (0)
- Universal POS tagging for Portuguese : Issues and Opportunities (2016) (0)
- Proceedings of the International Workshop on Hybrid Logic 2006: Preface (2007) (0)
- Proceedings of the Fourth International Workshop on Contexts and Ontologies (C&O), collocated with the 18th European Conference on Artificial Intelligence (ECAI-2008), Patras, Greece, July 21st, 2008 (2008) (0)
- EasyChair Preprint No 214 OpenWordNet-PT : Taking Stock (0)
- 2 Information States , Tenses and Conditionals (2014) (0)
- Bounded Dialectica Interpretation : categorically (2015) (0)
- Proceedings Second Joint International Workshop on Linearity&Trends in Linear Logic and Applications (2021) (0)
- The G\"odel Fibration (2021) (0)
- Dialectica principles via Gödel doctrines (2022) (0)
- Dialectica logical principles via free categorical constructions (2021) (0)
- Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018 (2019) (0)
- Benchmarking Linear Logic Translations (2018) (0)
- Constructive Temporal Logic, Categorically (2017) (0)
- C L ] 2 2 O ct 2 01 8 Linguistic Legal Concept Extraction in Portuguese (0)
- Preface (2019) (0)
- 2 Contexts as Constructive Modalities (2005) (0)
- A linked open data architecture for the historical archives of the Getulio Vargas Foundation (2015) (0)
- Gentle with the Gentilics Livy Real (2016) (0)
- Logic, language, information, and computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, proceedings (2015) (0)
- Proceedings of the LexSem+Logics Workshop 2016 (2016) (0)
- Subtyping in Ponder (preliminary report) (1990) (0)
- A Substructural Logic for Formal Veriication Formal Veriication of Dynamic Systems (2007) (0)
- The LKB Description Language Syntax (1994) (0)
- Relating Categorical and Kripke Semantics forIntuitionistic Modal (1998) (0)
- Contextual Constructive Description Logics (2015) (0)
- A 1 . Mathematical Logic Lorenzen Games for Full Intuitionistic Linear Logic (2011) (0)
- OpenWordNet-PT: Taking Stock (2018) (0)
- Graph Knowledge Representations for SICK (2018) (0)
- Portuguese Manners of Speaking (2019) (0)
- Finding Similar Content Within Different Documents (2002) (0)
- Introduction (1989) (0)
- Preface (2019) (0)
- An ecumenical notion of entailment (2019) (0)
- Elements of Categorical Logic: Fifty Years Later (2013) (0)
- Going Without: A Linear Modality and its Role (2022) (0)
- Building Models of Linear Logic (1999) (0)
- Women in Logic 2018 workshop report (2019) (0)
This paper list is powered by the following services:
Other Resources About Valeria de Paiva
What Schools Are Affiliated With Valeria de Paiva?
Valeria de Paiva is affiliated with the following schools:
