Valeria de Paiva

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Towards a Brazilian History Knowledge Graph.

Valeria de Paiva, Alexandre Rademaker

CoRR, 2024

Mathematical Entities: Corpora and Benchmarks.

Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2023

Curing the SICK and Other NLI Maladies.

Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva

Comput. Linguistics, March, 2023

Dialectica principles via Gödel doctrines.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Theor. Comput. Sci., February, 2023

MathGloss: Building mathematical glossaries from text.

Lucy Horowitz, Valeria de Paiva

CoRR, 2023

Extracting Mathematical Concepts with Large Language Models.

Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss

CoRR, 2023

Parmesan: mathematical concept extraction for education.

Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian

CoRR, 2023

Extracting Blockchain Concepts from Text.

Rodrigo Veiga, Markus Endler, Valeria de Paiva

CoRR, 2023

2022

Dialectica logical principles: not only rules.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

J. Log. Comput., 2022

Dialectica Logical Principles.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

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

Of Seringueiros and Sambistas: Occupation Mappings in Historical Text.

Valeria de Paiva, Livy Real, Aikaterini-Lida Kalouli

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.

Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian

Proceedings of the Eighth Workshop on Noisy User-generated Text, 2022

2021

An ecumenical notion of entailment.

Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva

Synth., 2021

Preface to Intiutionistic Modal Logic 2017.

Valeria de Paiva, Sergei Artemov

FLAP, 2021

Dialectica Petri nets.

Elena Di Lavore, Wilmer Leal, Valeria de Paiva

CoRR, 2021

The Gödel Fibration.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Dialectica Comonads (Invited Talk).

Valeria de Paiva

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Multiple conclusion linear logic: cut elimination and more.

Harley Eades III, Valeria de Paiva

J. Log. Comput., 2020

Deriving Theorems in Implicational Linear Logic, Declaratively.

Paul Tarau, Valeria de Paiva

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Dialectica Fuzzy Petri Nets.

Valeria de Paiva, Apostolos Syropoulos

CoRR, 2020

XplaiNLI: Explainable Natural Language Inference through Visual Analytics.

Aikaterini-Lida Kalouli, Rita Sevastjanova, Valeria de Paiva, Richard S. Crouch, Mennatallah El-Assady

Proceedings of the 28th International Conference on Computational Linguistics, 2020

Hy-NLI: a Hybrid system for Natural Language Inference.

Aikaterini-Lida Kalouli, Richard S. Crouch, Valeria de Paiva

Proceedings of the 28th International Conference on Computational Linguistics, 2020

2019

Women in Logic 2018 workshop report.

Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin

ACM SIGLOG News, 2019

Preface.

Valeria de Paiva, Ruy J. G. B. de Queiroz

Math. Struct. Comput. Sci., 2019

Portuguese Manners of Speaking.

Valeria de Paiva, Alexandre Rademaker

Proceedings of the 10th Global Wordnet Conference, 2019

Composing Noun Phrase Vector Representations.

Aikaterini-Lida Kalouli, Valeria de Paiva, Richard S. Crouch

Proceedings of the 4th Workshop on Representation Learning for NLP, 2019

Explaining Simple Natural Language Inference.

Aikaterini-Lida Kalouli, Annebeth Buis, Livy Real, Martha Palmer, Valeria de Paiva

Proceedings of the 13th Linguistic Annotation Workshop, 2019

2018

Intuitionistic Modal Logic: A 15-year retrospective.

Charles A. Stewart, Valeria de Paiva, Natasha Alechina

J. Log. Comput., 2018

The ILLTP Library for Intuitionistic Linear Logic.

Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

On the Lambek Calculus with an Exchange Modality.

Jiaming Jiang, Harley Eades III, Valeria de Paiva

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Extending Wordnet to Geological Times.

Henrique Muniz, Fabricio Chalub, Alexandre Rademaker, Valeria de Paiva

Proceedings of the 9th Global Wordnet Conference, 2018

SICK-BR: A Portuguese Corpus for Inference.

Livy Real, Ana Rodrigues, Andressa Vieira e Silva, Beatriz Albiero, Bruna Thalenberg, Bruno Guide, Cindy Silva, Guilherme de Oliveira Lima, Igor C. S. Câmara, Milos Stanojevic, Rodrigo Souza, Valeria de Paiva

Proceedings of the Computational Processing of the Portuguese Language, 2018

Relating Legal Entities via Open Information Extraction.

Giovanni Siragusa, Rohan Nanda, Valeria de Paiva, Luigi Di Caro

Proceedings of the Metadata and Semantic Research - 12th International Conference, 2018

Dialectica Categories for the Lambek Calculus.

Valeria de Paiva, Harley Eades III

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

Linguistic Legal Concept Extraction in Portuguese.

Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva

Proceedings of the Legal Knowledge and Information Systems, 2018

2017

Dialectical categories, cardinalities of the continuum and combinatorics of ideals.

Samuel G. Da Silva, Valeria de Paiva

Log. J. IGPL, 2017

Constructive Temporal Logic, Categorically.

Valeria de Paiva, Harley Eades III

FLAP, 2017

Textual Inference: getting logic from humans.

Aikaterini-Lida Kalouli, Livy Real, Valeria de Paiva

Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19, 2017

Universal Dependencies for Portuguese.

Alexandre Rademaker, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, Valeria de Paiva

Proceedings of the Fourth International Conference on Dependency Linguistics, 2017

CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies.

Daniel Zeman, Martin Popel, Milan Straka, Jan Hajic, Joakim Nivre, Filip Ginter, Juhani Luotolahti, Sampo Pyysalo, Slav Petrov, Martin Potthast, Francis M. Tyers, Elena Badmaeva, Memduh Gokirmak, Anna Nedoluzhko, Silvie Cinková, Jan Hajic Jr., Jaroslava Hlavácová, Václava Kettnerová, Zdenka Uresová, Jenna Kanerva, Stina Ojala, Anna Missilä, Christopher D. Manning, Sebastian Schuster, Siva Reddy, Dima Taji, Nizar Habash, Herman Leung, Marie-Catherine de Marneffe, Manuela Sanguinetti, Maria Simi, Hiroshi Kanayama, Valeria de Paiva, Kira Droganova, Héctor Martínez Alonso, Çagri Çöltekin, Umut Sulubacak, Hans Uszkoreit, Vivien Macketanz, Aljoscha Burchardt, Kim Harris, Katrin Marheinecke, Georg Rehm, Tolga Kayadelen, Mohammed Attia, Ali El-Kahky, Zhuoran Yu, Emily Pitler, Saran Lertpradit, Michael Mandl, Jesse Kirchner, Hector Fernandez Alcalde, Jana Strnadová, Esha Banerjee, Ruli Manurung, Antonio Stella, Atsuko Shimada, Sookyoung Kwak, Gustavo Mendonça, Tatiana Lando, Rattima Nitisaroj, Josie Li

Proceedings of the CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies, 2017

2016

22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015).

Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2016

Proceedings of the LexSem+Logics Workshop 2016.

Steven Neale, Valeria de Paiva, Arantxa Otegi, Alexandre Rademaker

CoRR, 2016

An overview of Portuguese WordNets.

Valeria de Paiva, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, Alberto Simões

Proceedings of the 8th Global WordNet Conference, 2016

Making Virtue of Necessity: A Verb Lexicon.

Valeria de Paiva, Fabricio Chalub, Livy Real, Alexandre Rademaker

Proceedings of the Computational Processing of the Portuguese Language, 2016

Semantic Links for Portuguese.

Fabricio Chalub, Livy Real, Alexandre Rademaker, Valeria de Paiva

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.

Alexandre Rademaker, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, Moacyr Alvim

Int. J. Digit. Libr., 2015

Fibrational Modal Type Theory.

Valeria de Paiva, Eike Ritter

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Seeing is Correcting: curating lexical resources using social interfaces.

Livy Real, Fabricio Chalub, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker

Proceedings of the 4th Workshop on Linked Data in Linguistics: Resources and Applications, 2015

Explaining Watson: Polymath Style.

Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Intuitionistic N-Graphs.

Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva

Log. J. IGPL, 2014

Linear logic model of state revisited.

Valeria de Paiva

Log. J. IGPL, 2014

OpenWordNet-PT: A Project Report.

Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy Real, Maira Gatti

Proceedings of the Seventh Global Wordnet Conference, 2014

Embedding NomLex-BR nominalizations into OpenWordnet-PT.

Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy-Maria Real-Coelho

Proceedings of the Seventh Global Wordnet Conference, 2014

Extending a Lexicon of Portuguese Nominalizations with Data from Corpora.

Cláudia Freitas, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, Anne Silva

Proceedings of the Computational Processing of the Portuguese Language, 2014

NomLex-PT: A Lexicon of Portuguese Nominalizations.

Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo

Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Ontologies in Enterprise Application: Dimensional Comparison.

Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh

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.

Valeria de Paiva, Dário Augusto Borges Oliveira, Suemi Higuchi, Alexandre Rademaker, Gerard de Melo

Proceedings of the 10th IEEE International Conference on e-Science, 2014

Sense-Specific Implicative Commitments.

Gerard de Melo, Valeria de Paiva

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2014

2013

Elements of Categorical Logic: Fifty Years Later.

Valeria de Paiva, Andrei Rodin

Logica Universalis, 2013

Natural Number Objects in Dialectica Categories.

Valeria de Paiva, Charles Morgan, Samuel G. Da Silva

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Preface.

Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel

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

If, not when.

Dick Crouch, Valeria de Paiva

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

2012

OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning.

Valeria de Paiva, Alexandre Rademaker, Gerard de Melo

Proceedings of the COLING 2012, 2012

2011

Intuitionistic Modal Logic and Applications (IMLA 2008).

Valeria de Paiva, Brigitte Pientka

Inf. Comput., 2011

Fuzzy Topological Systems

Apostolos Syropoulos, Valeria de Paiva

CoRR, 2011

Intuitionistic Description Logic and Legal Reasoning.

Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker

Proceedings of the 2011 Database and Expert Systems Applications, 2011

2010

Constructive Description Logics Hybrid-Style.

Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker

Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010

Bridges from Language to Logic: Concepts, Contexts and Ontologies.

Valeria de Paiva

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

Intuitionistic Logic and Legal Ontologies.

Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker

Proceedings of the Legal Knowledge and Information Systems, 2010

2009

Logic, Language, Information and Computation.

Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz

Inf. Comput., 2009

2008

Deverbal Nouns in Knowledge Representation.

Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva

J. Log. Comput., 2008

2007

An Institutional View on Categorical Logic.

Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder

Int. J. Softw. Informatics, 2007

Textual Inference Logic: Take Two.

Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy Holloway King, Lauri Karttunen, Rowan Nairn, Annie Zaenen

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.

Daniel G. Bobrow, Dick Crouch, Tracy Holloway King, Cleo Condoravdi, Lauri Karttunen, Rowan Nairn, Valeria de Paiva, Annie Zaenen

Proceedings of the ACL-PASCAL@ACL 2007 Workshop on Textual Entailment and Paraphrasing, 2007

2006

Intuitionistic hybrid logic.

Torben Braüner, Valeria de Paiva

J. Appl. Log., 2006

Preface.

Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen

Proceedings of the International Workshop on Hybrid Logic, 2006

2005

Relating Categorical Semantics for Intuitionistic Linear Logic.

Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter

Appl. Categorical Struct., 2005

2004

Poset-valued sets or how to build models for linear logics.

Andrea Schalk, Valeria de Paiva

Theor. Comput. Sci., 2004

Forthcoming Papers.

Valeria de Paiva, Rajeev Goré, Michael Mendler

J. Log. Comput., 2004

Editorial.

Valeria de Paiva, Rajeev Goré, Michael Mendler

J. Log. Comput., 2004

2003

Knowledge Tracking: Answering Implicit Questions.

Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva

Proceedings of the New Directions in Question Answering, 2003

Natural Deduction and Context as (Constructive) Modality.

Valeria de Paiva

Proceedings of the Modeling and Using Context, 2003

2002

Making ontologies work for resolving redundancies across documents.

John O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard S. Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, Livia Polanyi

Commun. ACM, 2002

2001

Preventing existence.

Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg

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

Categorical and Kripke Semantics for Constructive S4 Modal Logic.

Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

On an Intuitionistic Modal Logic.

Gavin M. Bierman, Valeria de Paiva

Stud Logica, 2000

Linear Explicit Substitutions.

Neil Ghani, Valeria de Paiva, Eike Ritter

Log. J. IGPL, 2000

Categorical Models for Intuitionistic and Linear Type Theory.

Maria Emilia Maietti, Valeria de Paiva, Eike Ritter

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

Categorical Models of Explicit Substitutions.

Neil Ghani, Valeria de Paiva, Eike Ritter

Proceedings of the Foundations of Software Science and Computation Structure, 1999

1998

Computational Types from a Logical Perspective.

P. N. Benton, Gavin M. Bierman, Valeria de Paiva

J. Funct. Program., 1998

Explicit Substitutions for Constructive Necessity.

Neil Ghani, Valeria de Paiva, Eike Ritter

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Building Models of Linear Logic.

Valeria de Paiva, Andrea Schalk

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

On Explicit Substitution and Names (Extended Abstract).

Eike Ritter, Valeria de Paiva

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

A Formulation of Linear Logic Based on Dependency-Relations.

Torben Braüner, Valeria de Paiva

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1993

Full Intuitionistic Linear Logic (extended abstract).

Martin Hyland, Valeria de Paiva

Ann. Pure Appl. Log., 1993

A Term Calculus for Intuitionistic Linear Logic.

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland

Proceedings of the Typed Lambda Calculi and Applications, 1993

Rewriting Properties of Combinators for Rudimentary Linear Logic.

Monica Nesi, Valeria de Paiva, Eike Ritter

Proceedings of the Higher-Order Algebra, 1993

1992

Linear Lambda-Calculus and Categorial Models Revisited.

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1989

A Dialectica-like Model of Linear Logic.

Valeria de Paiva

Proceedings of the Category Theory and Computer Science, 1989