Valeria de Paiva

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 51

Top Venues

Publications

Valeria de Paiva, Alexandre Rademaker
Towards a Brazilian History Knowledge Graph. CoRR (2024)
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
Mathematical Entities: Corpora and Benchmarks. CoRR (2024)
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
Mathematical Entities: Corpora and Benchmarks. LREC/COLING (2024)
Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva
Curing the SICK and Other NLI Maladies. Comput. Linguistics 49 (1) (2023)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica principles via Gödel doctrines. Theor. Comput. Sci. 947 (2023)
Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss
Extracting Mathematical Concepts with Large Language Models. CoRR (2023)
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
Parmesan: mathematical concept extraction for education. CoRR (2023)
Lucy Horowitz, Valeria de Paiva
MathGloss: Building mathematical glossaries from text. CoRR (2023)
Rodrigo Veiga, Markus Endler, Valeria de Paiva
Extracting Blockchain Concepts from Text. CoRR (2023)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica Logical Principles. LFCS (2022)
Valeria de Paiva, Livy Real, Aikaterini-Lida Kalouli
Of Seringueiros and Sambistas: Occupation Mappings in Historical Text. DHandNLP@PROPOR (2022)
Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian
Extracting Mathematical Concepts from Text. CoRR (2022)
Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian
Extracting Mathematical Concepts from Text. W-NUT@COLING (2022)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica logical principles: not only rules. J. Log. Comput. 32 (8) (2022)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
The Gödel Fibration. MFCS (2021)
Ugo Dal Lago, Valeria de Paiva
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications. CoRR (2021)
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
Dialectica Petri nets. CoRR (2021)
Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva
An ecumenical notion of entailment. Synth. 198 (22-S) (2021)
Valeria de Paiva, Sergei Artemov
Preface to Intiutionistic Modal Logic 2017. FLAP 8 (8) (2021)
Valeria de Paiva
Dialectica Comonads (Invited Talk). CALCO (2021)
Aikaterini-Lida Kalouli, Rita Sevastjanova, Valeria de Paiva, Richard S. Crouch, Mennatallah El-Assady
XplaiNLI: Explainable Natural Language Inference through Visual Analytics. COLING (Demonstrations) (2020)
Harley Eades III, Valeria de Paiva
Multiple conclusion linear logic: cut elimination and more. J. Log. Comput. 30 (1) (2020)
Aikaterini-Lida Kalouli, Richard S. Crouch, Valeria de Paiva
Hy-NLI: a Hybrid system for Natural Language Inference. COLING (2020)
Valeria de Paiva, Apostolos Syropoulos
Dialectica Fuzzy Petri Nets. CoRR (2020)
Paul Tarau, Valeria de Paiva
Deriving Theorems in Implicational Linear Logic, Declaratively. ICLP Technical Communications (2020)
Aikaterini-Lida Kalouli, Annebeth Buis, Livy Real, Martha Palmer, Valeria de Paiva
Explaining Simple Natural Language Inference. LAW@ACL (2019)
Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin
Women in Logic 2018 workshop report. ACM SIGLOG News 6 (1) (2019)
Valeria de Paiva, Alexandre Rademaker
Portuguese Manners of Speaking. GWC (2019)
Aikaterini-Lida Kalouli, Valeria de Paiva, Richard S. Crouch
Composing Noun Phrase Vector Representations. RepL4NLP@ACL (2019)
Valeria de Paiva, Ruy J. G. B. de Queiroz
Preface. Math. Struct. Comput. Sci. 29 (6) (2019)
Henrique Muniz, Fabricio Chalub, Alexandre Rademaker, Valeria de Paiva
Extending Wordnet to Geological Times. GWC (2018)
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
SICK-BR: A Portuguese Corpus for Inference. PROPOR (2018)
Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva
Linguistic Legal Concept Extraction in Portuguese. CoRR (2018)
Charles Stewart, Valeria de Paiva, Natasha Alechina
Intuitionistic Modal Logic: A 15-year retrospective. J. Log. Comput. 28 (5) (2018)
Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva
Linguistic Legal Concept Extraction in Portuguese. JURIX (2018)
Giovanni Siragusa, Rohan Nanda, Valeria de Paiva, Luigi Di Caro
Relating Legal Entities via Open Information Extraction. MTSR (2018)
Valeria de Paiva, Harley Eades III
Dialectica Categories for the Lambek Calculus. CoRR (2018)
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC (2018)
Jiaming Jiang, Harley Eades III, Valeria de Paiva
On the Lambek Calculus with an Exchange Modality. Linearity-TLLA@FLoC (2018)
Valeria de Paiva, Harley Eades III
Dialectica Categories for the Lambek Calculus. LFCS (2018)
Alexandre Rademaker, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, Valeria de Paiva
Universal Dependencies for Portuguese. DepLing (2017)
Samuel G. Da Silva, Valeria de Paiva
Dialectical categories, cardinalities of the continuum and combinatorics of ideals. Log. J. IGPL 25 (4) (2017)
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
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies. CoNLL Shared Task (2) (2017)
Aikaterini-Lida Kalouli, Livy Real, Valeria de Paiva
Textual Inference: getting logic from humans. IWCS(2) (2017)
Valeria de Paiva, Harley Eades III
Constructive Temporal Logic, Categorically. FLAP 4 (4) (2017)
Valeria de Paiva, Fabricio Chalub, Livy Real, Alexandre Rademaker
Making Virtue of Necessity: A Verb Lexicon. PROPOR (2016)
Steven Neale, Valeria de Paiva, Arantxa Otegi, Alexandre Rademaker
Proceedings of the LexSem+Logics Workshop 2016. CoRR (2016)
Harley Eades III, Valeria de Paiva
Multiple Conclusion Linear Logic: Cut Elimination and More. LFCS (2016)
Valeria de Paiva, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, Alberto Simões
An overview of Portuguese WordNets. GWC (2016)
Fabricio Chalub, Livy Real, Alexandre Rademaker, Valeria de Paiva
Semantic Links for Portuguese. LREC (2016)
Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). Log. J. IGPL 24 (5) (2016)
Valeria de Paiva, Eike Ritter
Fibrational Modal Type Theory. LSFA (2015)
Livy Real, Fabricio Chalub, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker
Seeing is Correcting: curating lexical resources using social interfaces. LDL@IJCNLP (2015)
Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss
Explaining Watson: Polymath Style. AAAI (2015)
Alexandre Rademaker, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, Moacyr Alvim
A linked open data architecture for the historical archives of the Getulio Vargas Foundation. Int. J. Digit. Libr. 15 (2-4) (2015)
Valeria de Paiva
Linear logic model of state revisited. Log. J. IGPL 22 (5) (2014)
Cláudia Freitas, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, Anne Silva
Extending a Lexicon of Portuguese Nominalizations with Data from Corpora. PROPOR (2014)
Gerard de Melo, Valeria de Paiva
Sense-Specific Implicative Commitments. CICLing (1) (2014)
Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy Real, Maira Gatti
OpenWordNet-PT: A Project Report. GWC (2014)
Valeria de Paiva, Dário Augusto Borges Oliveira, Suemi Higuchi, Alexandre Rademaker, Gerard de Melo
Exploratory Information Extraction from a Historical Dictionary. eScience Workshops (2014)
Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
Preface. Electron. Notes Theor. Comput. Sci. 300 (2014)
Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh
Ontologies in Enterprise Application: Dimensional Comparison. FOMI@FOIS (2014)
Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva
Intuitionistic N-Graphs. Log. J. IGPL 22 (2) (2014)
Dick Crouch, Valeria de Paiva
If, not when. Electron. Notes Theor. Comput. Sci. 300 (2014)
Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo
NomLex-PT: A Lexicon of Portuguese Nominalizations. LREC (2014)
Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy-Maria Real-Coelho
Embedding NomLex-BR nominalizations into OpenWordnet-PT. GWC (2014)
Valeria de Paiva, Charles Morgan, Samuel G. Da Silva
Natural Number Objects in Dialectica Categories. LSFA (2013)
Valeria de Paiva, Andrei Rodin
Elements of Categorical Logic: Fifty Years Later. Logica Universalis 7 (3) (2013)
Valeria de Paiva, Alexandre Rademaker, Gerard de Melo
OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. COLING (Demos) (2012)
Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops (2011)
Valeria de Paiva, Brigitte Pientka
Intuitionistic Modal Logic and Applications (IMLA 2008). Inf. Comput. 209 (12) (2011)
Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker
Constructive Description Logics Hybrid-Style. Electron. Notes Theor. Comput. Sci. 273 (2011)
Apostolos Syropoulos, Valeria de Paiva
Fuzzy Topological Systems CoRR (2011)
Valeria de Paiva
Bridges from Language to Logic: Concepts, Contexts and Ontologies. LSFA (2010)
Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
Intuitionistic Logic and Legal Ontologies. JURIX (2010)
Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz
Logic, Language, Information and Computation. Inf. Comput. 207 (10) (2009)
Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva
Deverbal Nouns in Knowledge Representation. J. Log. Comput. 18 (3) (2008)
Daniel G. Bobrow, Dick Crouch, Tracy Holloway King, Cleo Condoravdi, Lauri Karttunen, Rowan Nairn, Valeria de Paiva, Annie Zaenen
Precision-focused Textual Inference. ACL-PASCAL@ACL (2007)
Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder
An Institutional View on Categorical Logic. Int. J. Softw. Informatics 1 (1) (2007)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
Preface. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy Holloway King, Lauri Karttunen, Rowan Nairn, Annie Zaenen
Textual Inference Logic: Take Two. C&O:RR (2007)
Torben Braüner, Valeria de Paiva
Intuitionistic hybrid logic. J. Appl. Log. 4 (3) (2006)
Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva
Deverbal Nouns in Knowledge Representation. FLAIRS Conference (2006)
Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
Relating Categorical Semantics for Intuitionistic Linear Logic. Appl. Categorical Struct. 13 (1) (2005)
Valeria de Paiva, Rajeev Goré, Michael Mendler
Editorial. J. Log. Comput. 14 (4) (2004)
Valeria de Paiva, Rajeev Goré, Michael Mendler
Forthcoming Papers. J. Log. Comput. 14 (4) (2004)
Andrea Schalk, Valeria de Paiva
Poset-valued sets or how to build models for linear logics. Theor. Comput. Sci. 315 (1) (2004)
Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva
Knowledge Tracking: Answering Implicit Questions. New Directions in Question Answering (2003)
Valeria de Paiva
Natural Deduction and Context as (Constructive) Modality. CONTEXT (2003)
John O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard S. Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, Livia Polanyi
Making ontologies work for resolving redundancies across documents. Commun. ACM 45 (2) (2002)
Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg
Preventing existence. FOIS (2001)
Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL (2001)
Gavin M. Bierman, Valeria de Paiva
On an Intuitionistic Modal Logic. Stud Logica 65 (3) (2000)
Neil Ghani, Valeria de Paiva, Eike Ritter
Linear Explicit Substitutions. Log. J. IGPL 8 (1) (2000)
Maria Emilia Maietti, Valeria de Paiva, Eike Ritter
Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS (2000)
Neil Ghani, Valeria de Paiva, Eike Ritter
Categorical Models of Explicit Substitutions. FoSSaCS (1999)
Valeria de Paiva, Andrea Schalk
Building Models of Linear Logic. AMAST (1998)
P. N. Benton, Gavin M. Bierman, Valeria de Paiva
Computational Types from a Logical Perspective. J. Funct. Program. 8 (2) (1998)
Neil Ghani, Valeria de Paiva, Eike Ritter
Explicit Substitutions for Constructive Necessity. ICALP (1998)
Torben Braüner, Valeria de Paiva
A Formulation of Linear Logic Based on Dependency-Relations. CSL (1997)

Valeria de Paiva.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Valeria de Paiva