Valeria de Paiva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
15
Active years
1992–2024
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | COLING | Mathematical Entities: Corpora and Benchmarks. | Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian |
| 2022 | COLING | Extracting Mathematical Concepts from Text. | Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian |
| 2022 | LFCS | Dialectica Logical Principles. | Davide Trotta, Matteo Spadetto, Valeria de Paiva |
| 2021 | CALCO | Dialectica Comonads (Invited Talk). | Valeria de Paiva |
| 2021 | MFCS | The Gdel Fibration. | Davide Trotta, Matteo Spadetto, Valeria de Paiva |
| 2020 | COLING | Hy-NLI: a Hybrid system for Natural Language Inference. | Aikaterini-Lida Kalouli, Richard S. Crouch, Valeria de Paiva |
| 2020 | COLING | XplaiNLI: Explainable Natural Language Inference through Visual Analytics. | Aikaterini-Lida Kalouli, Rita Sevastjanova, Valeria de Paiva, Richard S. Crouch, Mennatallah El-Assady |
| 2018 | JURIX | Linguistic Legal Concept Extraction in Portuguese. | Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva |
| 2018 | LFCS | Dialectica Categories for the Lambek Calculus. | Valeria de Paiva, Harley Eades III |
| 2017 | CoNLL | 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 Hlavcov, Vclava 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, Hctor Martnez 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 Mendona, Tatiana Lando, Rattima Nitisaroj, Josie Li |
| 2016 | LFCS | Multiple Conclusion Linear Logic: Cut Elimination and More. | Harley Eades III, Valeria de Paiva |
| 2016 | LREC | Semantic Links for Portuguese. | Fabricio Chalub, Livy Real, Alexandre Rademaker, Valeria de Paiva |
| 2015 | AAAI | Explaining Watson: Polymath Style. | Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss |
| 2014 | CICLING | Sense-Specific Implicative Commitments. | Gerard de Melo, Valeria de Paiva |
| 2014 | FOIS | Ontologies in Enterprise Application: Dimensional Comparison. | Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh |
| 2014 | LREC | NomLex-PT: A Lexicon of Portuguese Nominalizations. | Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo |
| 2012 | COLING | OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. | Valeria de Paiva, Alexandre Rademaker, Gerard de Melo |
| 2010 | JURIX | Intuitionistic Logic and Legal Ontologies. | Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker |
| 2007 | ACL | Precision-focused Textual Inference. | Daniel G. Bobrow, Dick Crouch, Tracy Holloway King, Cleo Condoravdi, Lauri Karttunen, Rowan Nairn, Valeria de Paiva, Annie Zaenen |
| 2006 | FlAIRS | Deverbal Nouns in Knowledge Representation. | Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva |
| 2001 | CSL | Categorical and Kripke Semantics for Constructive S4 Modal Logic. | Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter |
| 2001 | FOIS | Preventing existence. | Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg |
| 2000 | FOSSACS | Categorical Models for Intuitionistic and Linear Type Theory. | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter |
| 1999 | FOSSACS | Categorical Models of Explicit Substitutions. | Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1998 | ICALP | Explicit Substitutions for Constructive Necessity. | Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1997 | CSL | A Formulation of Linear Logic Based on Dependency-Relations. | Torben Braner, Valeria de Paiva |
| 1997 | ICALP | On Explicit Substitution and Names (Extended Abstract). | Eike Ritter, Valeria de Paiva |
| 1992 | CSL | Linear Lambda-Calculus and Categorial Models Revisited. | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |