Valeria de Paiva

Orcid: 0000-0002-1078-6970

Affiliations:
  • Topos Institute, Berkeley, CA, USA
  • Nuance Communications, Sunnyvale, CA, USA


According to our database1, Valeria de Paiva authored at least 99 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Towards a Brazilian History Knowledge Graph.
CoRR, 2024

Mathematical Entities: Corpora and Benchmarks.
Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2023
Curing the SICK and Other NLI Maladies.
Comput. Linguistics, March, 2023

Dialectica principles via Gödel doctrines.
Theor. Comput. Sci., February, 2023

MathGloss: Building mathematical glossaries from text.
CoRR, 2023

Extracting Mathematical Concepts with Large Language Models.
CoRR, 2023

Parmesan: mathematical concept extraction for education.
CoRR, 2023

Extracting Blockchain Concepts from Text.
CoRR, 2023

2022
Dialectica logical principles: not only rules.
J. Log. Comput., 2022

Dialectica Logical Principles.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

Of Seringueiros and Sambistas: Occupation Mappings in Historical Text.
Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing (2nd DHandNLP 2022) co-located with International Conference on the Computational Processing of Portuguese (PROPOR 2022), 2022

Extracting Mathematical Concepts from Text.
Proceedings of the Eighth Workshop on Noisy User-generated Text, 2022

2021
An ecumenical notion of entailment.
Synth., 2021

Preface to Intiutionistic Modal Logic 2017.
FLAP, 2021

Dialectica Petri nets.
CoRR, 2021

The Gödel Fibration.
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Dialectica Comonads (Invited Talk).
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020
Multiple conclusion linear logic: cut elimination and more.
J. Log. Comput., 2020

Deriving Theorems in Implicational Linear Logic, Declaratively.
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Dialectica Fuzzy Petri Nets.
CoRR, 2020

XplaiNLI: Explainable Natural Language Inference through Visual Analytics.
Proceedings of the 28th International Conference on Computational Linguistics, 2020

Hy-NLI: a Hybrid system for Natural Language Inference.
Proceedings of the 28th International Conference on Computational Linguistics, 2020

2019
Women in Logic 2018 workshop report.
ACM SIGLOG News, 2019

Preface.
Math. Struct. Comput. Sci., 2019

Portuguese Manners of Speaking.
Proceedings of the 10th Global Wordnet Conference, 2019

Composing Noun Phrase Vector Representations.
Proceedings of the 4th Workshop on Representation Learning for NLP, 2019

Explaining Simple Natural Language Inference.
Proceedings of the 13th Linguistic Annotation Workshop, 2019

2018
Intuitionistic Modal Logic: A 15-year retrospective.
J. Log. Comput., 2018

The ILLTP Library for Intuitionistic Linear Logic.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

On the Lambek Calculus with an Exchange Modality.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Extending Wordnet to Geological Times.
Proceedings of the 9th Global Wordnet Conference, 2018

SICK-BR: A Portuguese Corpus for Inference.
Proceedings of the Computational Processing of the Portuguese Language, 2018

Relating Legal Entities via Open Information Extraction.
Proceedings of the Metadata and Semantic Research - 12th International Conference, 2018

Dialectica Categories for the Lambek Calculus.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

Linguistic Legal Concept Extraction in Portuguese.
Proceedings of the Legal Knowledge and Information Systems, 2018

2017
Dialectical categories, cardinalities of the continuum and combinatorics of ideals.
Log. J. IGPL, 2017

Constructive Temporal Logic, Categorically.
FLAP, 2017

Textual Inference: getting logic from humans.
Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19, 2017

Universal Dependencies for Portuguese.
Proceedings of the Fourth International Conference on Dependency Linguistics, 2017


2016
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015).
Log. J. IGPL, 2016

Proceedings of the LexSem+Logics Workshop 2016.
CoRR, 2016

An overview of Portuguese WordNets.
Proceedings of the 8th Global WordNet Conference, 2016

Making Virtue of Necessity: A Verb Lexicon.
Proceedings of the Computational Processing of the Portuguese Language, 2016

Semantic Links for Portuguese.
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 2016

2015
A linked open data architecture for the historical archives of the Getulio Vargas Foundation.
Int. J. Digit. Libr., 2015

Fibrational Modal Type Theory.
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Seeing is Correcting: curating lexical resources using social interfaces.
Proceedings of the 4th Workshop on Linked Data in Linguistics: Resources and Applications, 2015

Explaining Watson: Polymath Style.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Intuitionistic N-Graphs.
Log. J. IGPL, 2014

Linear logic model of state revisited.
Log. J. IGPL, 2014

OpenWordNet-PT: A Project Report.
Proceedings of the Seventh Global Wordnet Conference, 2014

Embedding NomLex-BR nominalizations into OpenWordnet-PT.
Proceedings of the Seventh Global Wordnet Conference, 2014

Extending a Lexicon of Portuguese Nominalizations with Data from Corpora.
Proceedings of the Computational Processing of the Portuguese Language, 2014

NomLex-PT: A Lexicon of Portuguese Nominalizations.
Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Ontologies in Enterprise Application: Dimensional Comparison.
Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

Exploratory Information Extraction from a Historical Dictionary.
Proceedings of the 10th IEEE International Conference on e-Science, 2014

Sense-Specific Implicative Commitments.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2014

2013
Elements of Categorical Logic: Fifty Years Later.
Logica Universalis, 2013

Natural Number Objects in Dialectica Categories.
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Preface.
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013

If, not when.
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013

2012
OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning.
Proceedings of the COLING 2012, 2012

2011
Intuitionistic Modal Logic and Applications (IMLA 2008).
Inf. Comput., 2011

Fuzzy Topological Systems
CoRR, 2011

Intuitionistic Description Logic and Legal Reasoning.
Proceedings of the 2011 Database and Expert Systems Applications, 2011

2010
Constructive Description Logics Hybrid-Style.
Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010

Bridges from Language to Logic: Concepts, Contexts and Ontologies.
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

Intuitionistic Logic and Legal Ontologies.
Proceedings of the Legal Knowledge and Information Systems, 2010

2009
Logic, Language, Information and Computation.
Inf. Comput., 2009

2008
Deverbal Nouns in Knowledge Representation.
J. Log. Comput., 2008

2007
An Institutional View on Categorical Logic.
Int. J. Softw. Informatics, 2007

Textual Inference Logic: Take Two.
Proceedings of the International Workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR) Collocated with the 6th International and Interdisciplinary Conference on Modelling and Using Context (CONTEXT-2007), 2007

Precision-focused Textual Inference.
Proceedings of the ACL-PASCAL@ACL 2007 Workshop on Textual Entailment and Paraphrasing, 2007

2006
Intuitionistic hybrid logic.
J. Appl. Log., 2006

Preface.
Proceedings of the International Workshop on Hybrid Logic, 2006

2005
Relating Categorical Semantics for Intuitionistic Linear Logic.
Appl. Categorical Struct., 2005

2004
Poset-valued sets or how to build models for linear logics.
Theor. Comput. Sci., 2004

Forthcoming Papers.
J. Log. Comput., 2004

Editorial.
J. Log. Comput., 2004

2003
Knowledge Tracking: Answering Implicit Questions.
Proceedings of the New Directions in Question Answering, 2003

Natural Deduction and Context as (Constructive) Modality.
Proceedings of the Modeling and Using Context, 2003

2002
Making ontologies work for resolving redundancies across documents.
Commun. ACM, 2002

2001
Preventing existence.
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

Categorical and Kripke Semantics for Constructive S4 Modal Logic.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000
On an Intuitionistic Modal Logic.
Stud Logica, 2000

Linear Explicit Substitutions.
Log. J. IGPL, 2000

Categorical Models for Intuitionistic and Linear Type Theory.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
Categorical Models of Explicit Substitutions.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

1998
Computational Types from a Logical Perspective.
J. Funct. Program., 1998

Explicit Substitutions for Constructive Necessity.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Building Models of Linear Logic.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
On Explicit Substitution and Names (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

A Formulation of Linear Logic Based on Dependency-Relations.
Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1993
Full Intuitionistic Linear Logic (extended abstract).
Ann. Pure Appl. Log., 1993

A Term Calculus for Intuitionistic Linear Logic.
Proceedings of the Typed Lambda Calculi and Applications, 1993

Rewriting Properties of Combinators for Rudimentary Linear Logic.
Proceedings of the Higher-Order Algebra, 1993

1992
Linear Lambda-Calculus and Categorial Models Revisited.
Proceedings of the Computer Science Logic, 6th Workshop, 1992

1989
A Dialectica-like Model of Linear Logic.
Proceedings of the Category Theory and Computer Science, 1989


  Loading...