Publications

Valeria's photo

Recent Papers 87

  • Horowitz, Lucy, de Paiva, Valeria. MathGloss: Building mathematical glossaries from text. arXiv:2311.12649 (talk at CICM2023 workshop), 01 September 2023.
  • de Paiva, Valeria, Gao, Qiyue, Kovalev, Pavel, Moss, Lawrence S. Extracting Mathematical Concepts with Large Language Models. arXiv:2309.00642 (talk at CICM2023 workshop), 01 August 2023. [PDF]
  • Collard, Jacob, de Paiva, Valeria, Subrahmanian, Eswaran. Parmesan: mathematical concept extraction for education. arXiv:2307.06699, 01 July 2023.
  • Veiga, Rodrigo, Endler, Markus, de Paiva, Valeria. Extracting Blockchain Concepts from Text. arXiv:2305.10408 (Master's thesis PUC-Rio), 01 May 2023.
  • Trotta, Davide, Valenti, Manlio, de Paiva, Valeria. Categorifying computable reducibilities. arXiv 2208.08656, submitted., 01 February 2023. [PDF]
  • Trotta, Davide, Spadetto, Matteo, de Paiva, Valeria. Dialectica Principles via Gödel Doctrines. Theoretical Computer Science, 01 January 2023. [PDF]
  • Trotta, Davide, Spadetto, Matteo, de Paiva, Valeria. Dialectica logical principles: not only rules. Journal of Logic and Computation, 08 November 2022. https://doi.org/10.1093/logcom/exac079. [PDF]
  • Collard, Jacob, de Paiva, Valeria, Fong, Brendan, Subramanian, Eswaran. Extracting Mathematical Concepts from Text. 8th Workshop on Noisy User-generated Text (W-NUT), 01 October 2022. [PDF]
  • Kalouli, Aikaterini-Lida, Hu, Hai, Webb, Alexander F., Moss, Lawrence S., de Paiva, Valeria. Curing the SICK and other NLI maladies. Computational Linguistics, 01 October 2022. [PDF]
  • de Paiva, Valeria, Kalouli, Aikaterini-Lida, Real, Livy. Of Seringueiros and Sambistas: Occupation Mappings in Historical Text. 2nd DHandNLP, 01 May 2022. [PDF]
  • Baez, John, Cho, Simon, Cicala, Daniel, Otter, Nina, de Paiva, Valeria. Applied category theory in chemistry, computing, and social networks. Notices of the American Mathematical Society, 01 February 2022. [PDF]
  • di Lavore, Elena, Leal, Wilmer, de Paiva, Valeria. Dialectica Petri Nets. ArXiv preprint, submitted to LMCS, 01 June 2021. [PDF]
  • de Paiva, Valeria, Real, Livy. Towards FRACAS-BR. Second Workshop on Digital Humanities and Natural Language Processing, 01 April 2021. [PDF]
  • Trotta, Davide, Spadetto, Matteo, de Paiva, Valeria. The Godel Fibration. In 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), 01 April 2021. [PDF]
  • Kalouli, A.-L., Crouch, R., de Paiva, V.. Hy-NLI: a Hybrid system for Natural Language Inference. Proceedings of the 28th International Conference for Computational Linguistics (COLING). Barcelona - Spain (online), 01 December 2020. COLING-2020. [PDF]
  • Kalouli, A.-L., Sevastjanov, R., Crouch, R., de Paiva, V., El-Assady, M.. XplaiNLI: Explainable Natural Language Inference through Visual Analytics. Proceedings of the 28th International Conference for Computational Linguistics (COLING). Barcelona - Spain (online), 01 December 2020. COLING2-2020. [PDF]
  • Tarau, Paul, de Paiva, Valeria. Deriving Theorems in Implicational Linear Logic, Declaratively. Proceedings of the 36th International Conference on Logic Programming (ICLP) 2020, 01 July 2020. ICLP-2020. [PDF]
  • de Paiva, Valeria, da Silva, Samuel Gomes. Kolgomorov-Veloso Problems and Dialectica Categories. Book for Paulo A. Veloso, 2021, 01 July 2020. [PDF]
  • Kalouli, A.-L., Buis, A., Real, L., Palmer, M., de Paiva, V.. Explaining Simple Natural Language Inference. Proceedings of the 13th Linguistic Annotation Workshop (LAW 2019), 01 August 2019. ACL 2019, Florence, Italy. [PDF]
  • Kalouli, Aikaterini-Lida, Crouch, Richard, de Paiva, Valeria. GKR: Bridging the gap between symbolic/structural and distributional meaning representations. Proceedings of the 1st International Workshop on Designing Meaning Representations (DMR), 01 August 2019. ACL-2019. [PDF]
  • Kalouli, Aikaterini-Lida, de Paiva, Valeria, Crouch, Richard. Composing noun phrase vector representations. Proceedings of the 4th Workshop on Representation Learning for NLP (RepL4NLP-2019), 01 February 2019. ACL-2019. [PDF]
  • Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva. An ecumenical notion of entailment. Synthese, 01 February 2019. For Carolina. [PDF]
  • Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis. The ILLTP Library for Intuitionistic Linear Logic. arXiv preprint arXiv:1904.06850, 01 February 2019. after Linearity 2018. [PDF]
  • Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis. Benchmarking linear logic translations. EPTCS 292, 01 February 2019. Proceedings of Linearity & TLLA 2018. [PDF]
  • Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva. A proof-theoretical view of Ecumenical Systems. , 01 February 2019. Proceedings of LFSA 2018. [PDF]
  • Giovanni Siragusa, Rohan Nanda, Valeria de Paiva, Luigi Di Caro. Relating Legal Entities via Open Information Extraction. informal Proceedings of the 12th International Conference on Metadata and Semantics Research, Limassol, Cyprus, 26 October 2018. short paper. [PDF]
  • Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva. Linguistic Legal Concept Extraction in Portuguese. arXiv preprint https://export.arxiv.org/abs/1810.09379, 22 October 2018. short version to appear in JURIX2018, 12-14th Dec, 2018, Groningen, The Netherlands . [PDF]
  • Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva. A proof theoretical view of ecumenical systems. informal Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), 28 September 2018. short paper. [PDF]
  • Livy Real, Ana Rodrigues, Andressa Vieira e Silva, Beatriz Albiero, Bruna Thalenberg, Bruno Guide, Cindy Silva, Guilherme de Oliveira Lima, Igor C. S. Camara, Miloˇ Stanojevic, Rodrigo Souza, Valeria de Paiva. SICK-BR: a Portuguese corpus for inference. preprint version of paper in PROPOR2018 (International Conference on the Computational Processing of Portuguese), Canela Brazil, 26 September 2018. [PDF]
  • Valeria de Paiva, Alexandre Rademaker, Livy Real, Fabricio Chalub, Gerard de Melo. OpenWordNet-PT: Taking Stock. Proceedings of the 5th Natural Language in Computer Science (NLCS), associated with LiCS 2018, 08 July 2018. Oxford, UK. [PDF]
  • Katerina Kalouli, Dick Crouch, Valeria de Paiva, Livy Real. Graph Knowledge Representations for SICK. informal Proceedings of the 5th Workshop on Natural Language and Computer Science, Oxford, UK, 08 July 2018. short paper. [PDF]
  • Jiaming Jiang, Harley Eades III, Valeria de Paiva. On the Lambek Calculus with an Exchange Modality. informal Proceedings of the Linearity and TTLA Workshop, Oxford, UK, 08 July 2018. https://lipn.univ-paris13.fr/TLLALinearity18/. [PDF]
  • Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis. Benchmarking Linear Logic Translations. Proceedings of the Linearity and TLLA Workshop, 08 July 2018. Oxford, UK. [PDF]
  • Livy Real, Alexandre Rademaker, Fabricio Chalub, Valeria de Paiva. Towards Temporal Reasoning in Portuguese. Proceedings of the 6th Workshop on Linked Data in Linguistics: Towards Linguistic Data Science, 12 May 2018. Miyazaki, Japan. [PDF]
  • Aikaterini-Lida Kalouli, Livy Real, Valeria de Paiva. WordNet for “Easy” Textual Inferences. Proceedings of the Globalex Workshop, associated with LREC 2018, 08 May 2018. Miyazaki, Japan. [PDF]
  • Valeria de Paiva, Gerard de Melo. Integrating Implicative Commitments. Tokens of Meaning: Lauri Karttunen FestSchrift, 22 April 2018. Book edited by Cleo Condoravdi and Tracy H. King, CSLI, 2019.
  • Valeria de Paiva, Harley Eades III. Dialectica Categories for the Lambek Calculus. Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS 2018), 01 February 2018. Florida. [PDF]
  • Henrique Muniz, Fabricio Chalub, Alexandre Rademaker, Valeria de Paiva. Extending Wordnet to Geological Times. Proceedings of the Global WordNet Conference, 01 February 2018. Singapore. [PDF]
  • Aikaterini-Lida Kalouli, Livy Real, Valeria de Paiva. Textual Inference: getting logic from humans. Proceedings of the 12th International Conference on Computational Semantics (IWCS), 22 September 2017. Held in Montpellier, France. [PDF]
  • Aikaterini-Lida Kalouli, Livy Real, Valeria de Paiva. Correcting Contradictions. Proceedings of the Computing Natural Language Inference (CONLI) Workshop, 19 September 2017. Held in Montpellier, France. [PDF]
  • Samuel G. Da Silva, Valeria de Paiva. Dialectica categories, cardinalities of the continuum and combinatorics of ideals. Logic Journal of the IGPL, vol 25 (4), 585--603, 2017, 14 September 2017. https://doi.org/10.1093/jigpal/jzx016. [PDF]
  • Alexandre Rademaker, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, Valeria de Paiva. Universal Dependencies for Portuguese. Proceedings of the Fourth International Conference on Dependency Linguistics (Depling 2017), 10 August 2017. Pisa, Italy. [PDF]
  • 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 Cinkova, Jan Hajic Jr., Jaroslava Hlavacova, Vaclava Kettnerova, Zdenka Uresova, Jenna Kanerva, Stina Ojala, Anna Missila, 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, Hector Martinez Alonso, Cagri Coltekin, 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 Strnadova, Esha Banerjee, Ruli Manurung, Antonio Stella, Atsuko Shimada, Sookyoung Kwak, Gustavo Mendonca, Tatiana Lando, Rattima Nitisaroj, Josie Li. Multilingual Parsing from Raw Text to Universal Dependencies. Proceedings of the CoNLL 2017 Shared Task, 03 August 2017. Vancouver, Canada. [PDF]
  • Valeria de Paiva, Harley Eades III. Constructive Temporal Logic, Categorically. Book for Grigori Mints, 01 February 2017. Series Tributes, College Publications. [PDF]
  • Sabrina Praduroux, Valeria de Paiva, Luigi di Caro. Legal Tech Start-ups: State of the Art and Trends. MIREL Workshop, 14 December 2016. Proceedings of the Workshop on MIning and REasoning with Legal texts' - December 14th, 2016 - Nice (France). [PDF]
  • Valeria de Paiva, Fabricio Chalub, Livy Real, Alexandre Rademaker. Making Virtue of Necessity: a Verb Lexicon. PROPOR, 13 July 2016. Proceedings of the 12th nternational Conference on the Computational Processing of Portuguese, 13-15 July 2016, Tomar, Portugal. [PDF]
  • Livy Real, Valeria de Paiva. Plurality in Wordnets. ArXiv, 01 July 2016. Proceedings of the LexSem+Logics Workshop 2016, associated with PROPOR 2016. [PDF]
  • Valeria de Paiva, Livy Real. Universal POS Tagging for Portuguese: Issues and Opportunities. ArXiv, 01 July 2016. Proceedings of the LexSem+Logics Workshop 2016, associated with PROPOR 2016. [PDF]
  • Valeria de Paiva, Eike Ritter. Fibrational Modal Type Theory. Electronic Notes in Theoretical Computer Science, 01 June 2016. Proceedings of the Tenth Workshop on Logical and Semantic Frameworks with Applications (LSFA 2015). [PDF]
  • Fabricio Chalub, Livy Real, Alexandre Rademaker, Valeria de Paiva. Semantic Links for Portuguese. ACL Anthology, 23 May 2016. Proceedings of the 10th Language Resources and Evaluation Conference (LREC),23-28 May 2016, Portoroz (Slovenia). [PDF]
  • Livy Real, Valeria de Paiva, Fabricio Chalub, Alexandre Rademaker. Gentle with the Gentilics. ACL Anthology, 23 May 2016. Proceedings of the Joint Second Workshop on Language and Ontologies (LangOnto2) and Terminology and Knowledge Structures (TermiKS) (co-located with LREC 2016), Portoroz (Slovenia). [PDF]
  • Harley Eades III, Valeria de Paiva. Multiple Conclusion Linear Logic: Cut-elimination and more. Lecture Notes in Computer Science, 04 January 2016. Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS 2016). [PDF] [PDF (with proofs)]
  • Valeria de Paiva, Livy Real, Hugo Gonçalo Oliveira, Claudia Freitas, Alexandre Rademaker, Alberto Simões. An overview of Portuguese WordNets. Global WordNet Conference, 01 January 2016. Proceedings of the 8th Global WordNet Conference, Bucharest, Romania, 27-30 January 2016. [PDF]
  • Charles Stewart, Natasha Alechina, Valeria de Paiva. Intuitionistic Modal Logic: A 15-year retrospective. Journal of Logic and Computation, 01 August 2015. [PDF]
  • 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. International Journal on Digital Libraries, 01 July 2015. volume 15, number 2-4, pages 153-167. [PDF]
  • Livy Real, Fabricio Chalub, Valeria de Paiva, Claudia Freitas, Alexandre Rademaker. Seeing is Correcting: curating lexical resources using social interfaces. Association for Computational Linguistics, 01 July 2015. Proceedings of 53rd Annual Meeting of the Association for Computational Linguistics and The 7th International Joint Conference on Natural Language Processing of Asian Federation of Natural Language Processing - Fourth Workshop on Linked Data in Linguistics: Resources and Applications (LDL 2015). [PDF]
  • Valeria de Paiva. Bounded Dialectica Interpretation: categorically. Why is this a Proof? Festschrift for Luiz Carlos Pereira, 01 June 2015. Editors: E H Haeusler, W de Campos Sanz, B Lopes. [PDF]
  • Hugo Gonçalo Oliveira, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker, Livy Real, Alberto Simões. As Wordnets do Português. Oslo Studies in Language, 31 March 2015. volume 7, number 1, pages 397-424. [PDF]
  • Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss. Explaining Watson: Polymath Style. Lecture Notes in Computer Science, 04 January 2015. Proceedings of the Association for the Advancement of Artificial Intelligence (www.aaai.org). [PDF]
  • Valeria de Paiva, Dario A. B. Oliveira, Suemi Higuchi, Alexandre Rademaker, Gerard de Melo. Exploratory Information Extraction from a Historical Dictionary. IEEE, 20 October 2014. IEEE 10th International Conference on e-Science, volume 2, pages 11-18. [PDF]
  • Valeria de Paiva. Linear Logic Model of State Revisited. Logic Journal of IGPL, 01 October 2014. volume 22, number 5, pages 791-804. [PDF]
  • Valeria de Paiva, William Jarrold, David Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh. Ontologies in Enterprise Applications: Dimensional Comparison. FOMI (Formal Ontology Meets Industry, 01 September 2014. Pre-proceedings of the Workshop on Formal Ontology Meets Industry, associated with FOIS 2014, Rio de Janeiro, Brazil. [PDF]
  • Vivek Nigam, Valeria de Paiva. Towards a rewriting framework for textual entailment. LSFA, 01 September 2014. Pre-proceedings of the 9th Workshop on Logical and Semantic Frameworks, with Applications LSFA, Brasilia, Brazil. [PDF]
  • Dick Crouch, Valeria de Paiva. If, not when. ENTCS, 01 June 2014. Electronic Notes in Theoretical Computer Science 300 (2014) 3–20, Springer-Verlag. [PDF]
  • Valeria de Paiva. Categorical Semantics of Linear Logic For All. Advances in Natural Deduction, 01 June 2014. Advances in Natural Deduction A Celebration of Dag Prawitz's Work, eds. Pereira, Haeusler and de Paiva, ISBN 978-94-007-7548-0, pages 181-192.. [PDF]
  • Gerard de Melo, Valeria de Paiva. Sense-Specific Implicative Commitments. Computational Linguistics and Intelligent Text Processing, 01 May 2014. Proceedings of the 15th International Conference on Computational Linguistics and Intelligent Text Processing-Volume 8403. Springer-Verlag. [PDF]
  • Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo. NomLex-PT: A Lexicon of Portuguese Nominalizations. ACL Anthology, 01 February 2014. Proceedings of LREC2014. [PDF]
  • Livy Real Coelho, Alexandre Rademaker, Valeria de Paiva, Gerard de Melo. Embedding nomlex-br nominalizations into openwordnet-pt. GWN, 01 February 2014. Proceedings of the 7th Global WordNet Conference. [PDF]
  • Claudia Freitas, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, Anne Silva. Extending a Lexicon of Portuguese Nominalizations with Data from Corpora. Spinger, 01 January 2014. Computational Processing of the Portuguese Language, 2014. [PDF]
  • Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy Real, Maira Gatti. OpenWordNet-PT: A Project Report. GWN, 01 January 2014. Proceedings of the 7th Global WordNet Conference. [PDF]
  • Valeria de Paiva, Charles Morgan, Samuel G. da Silva. Natural Number Objects in Dialectica Categories. ENTCS, 01 January 2014. Electronic Notes in theoretical Computer Science, 305 (2014), pages 53-65. [PDF]
  • Marcela Quispe-Cruz, Anjolina G de Oliveira, Ruy JGB de Queiroz, Valeria de Paiva. Intuitionistic N-graphs. Logic Journal of IGPL, 01 August 2013. Logic Jnl IGPL (2013) doi: 10.1093/jigpal/jzt033. [PDF]
  • Valeria de Paiva, Andrei Rodin. Elements of Categorical Logic: Fifty Years Later. Logica Universalis, 31 July 2013. Log. Univers. 7 (2013), 265–273, published online July 31, 2013,DOI 10.1007/s11787-013-0086-9. [PDF]
  • Valeria de Paiva. Contexts for Quantification. online, 29 May 2013. Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, Ayia Napa, Cyprus, 27-29 May 2013. [PDF]
  • Valeria de Paiva, Alexandre Rademaker, Gerard de Melo. OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. COLING, 01 December 2012. Proceedings of COLING 2012: Demonstration Papers, pages 353–360, COLING 2012, Mumbai, December 2012. [PDF]
  • Patricia Amaral, Valeria de Paiva, Cleo Condoravdi, Annie Zaenen. Where’s the Meeting that was Cancelled? Existential Implications of Transitive Verbs. ACL, 01 December 2012. Proceedings of the 3rd Workshop on Cognitive Aspects of the Lexicon (CogALex-III), pages 183–194, COLING 2012, Mumbai, India. [PDF]
  • Valeria de Paiva, Alexandre Rademaker. Revisiting a Brazilian WordNet. GWC, 01 February 2012. Proceedings of Global Wordnet Conference. Matsue: Global Wordnet Association. 2012. [PDF]
  • Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker. Intuitionistic description logic and legal reasoning. IEEE, 29 August 2011. Proceedings of the 22nd International Workshop on Database and Expert Systems Applications (DEXA). [PDF]
  • Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker. Constructive Description Logics Hybrid-Style. ENTCS, 08 July 2011. Electronic Notes in Theoretical Computer Science 273 (2011) 21–31. [PDF]
  • Apostolos Syropoulos, Valeria de Paiva. Fuzzy Topological Systems. arXiv, 08 July 2011. Proceedings of the 8th Panhellenic Logic Symposium, July 8,2011, Ioannina, Greece. [PDF]
  • Valeria de Paiva. Lorenzen Games for Full Intuitionistic Linear Logic. LMPS, 01 July 2011. Abstracts of the 14th International Congress of Logic, Methodology and Philosophy of Science, Nancy, France, 2011. [PDF]
  • Valeria de Paiva, Eike Ritter. Basic Constructive Modality. College Pubs, 01 June 2011. Logic without frontiers—Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday, pages 411-428. [PDF]
  • Valeria de Paiva, Natasha Alechina. Contextual Constructive Description Logics. ARCOE, 01 June 2011. Proceedings of the IJCAI-11 Workshop ARCOE-11: Automated Reasoning about Context and Ontology Evolution. [PDF]
  • Valeria de Paiva. Bridges from Language to Logic: Concepts, Contexts and Ontologies. ENTCS, 22 April 2011. Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop (LSFA 2010). [PDF]
  • Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker. Intuitionistic logic and legal ontologies. IOS, 12 August 2010. Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010. [PDF]
  • Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker. Using intuitionistic logic as a basis for legal ontologies. IOS, 01 July 2010. Proceedings of the 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques. [PDF]
  • Grigori Mints, Valeria de Paiva, Ruy de Queiroz. Logic, Language, Information and Computation. Information and Computation, special issue preface, 01 October 2009. [PDF]

Posters 5

  • Valeria de Paiva, Giselle Reis. Benchmarking linear logic. Abstract in the Logic Colloquium, Stockholm. 2017. [PDF]
  • Harley Eades III, Valeria de Paiva. Full Intuitionistic Linear Logic (FILL). Presented as a Poster at the 25th jubilee edition of the International Conference on Automated Deduction (CADE). Entry in Encyclopedia of Proof Systems: http://proofsystem.github.io/Encyclopedia/. 2015.
  • Samuel Gomes da Silva, Valeria de Paiva. Dialectica Categories, Cardinalities of the Continuum and Combinatorics of Ideals. Handbook of the 5th World Congress and School on Universal Logic, available from https://uni-log.org/hunilog2015.pdf#page=393. 2015.
  • Valeria de Paiva, Claudia Freitas, Livy Real, Alexandre Rademaker. Improving the Verb Lexicon of OpenWordnet-PT. Poster at the Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp). 2014.
  • Livy Real, Valeria de Paiva, Alexandre Rademaker. Extending NomLex-PT using AnCora-Nom. Poster at the Proceedings of Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp) . 2014.