Publications

Valeria's photo

Recent Papers 38

  • 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]
  • 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]
  • Valeria de Paiva, Eike Ritter. Fibrational Modal Type Theory. Electronic Notes in Theoretical Computer Science, 06 January 2016. Proceedings of the Tenth Workshop on Logical and Semantic Frameworks with Applications (LSFA 2015). [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]
  • 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]
  • 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, 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]

Posters 4

  • 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.