Valeria de Paiva

121 papers A* 3B 12C 10Misc 4Journal 48Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	C	`ed.`	Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings CICM Valeria de Paiva, Peter Koepke
2026	J	`jnl`	KnowTeX: Visualizing Mathematical Dependencies. CoRR Elif Üsküplü, Lawrence S. Moss, Valeria de Paiva
2025	J	`jnl`	Categorifying computable reducibilities. Log. Methods Comput. Sci. Davide Trotta, Manlio Valenti, Valeria de Paiva
2025	J	`jnl`	Dialectica Petri Nets. Fundam. Informaticae Elena Di Lavore, Wilmer Leal, Valeria de Paiva
2025	J	`jnl`	Math Natural Language Inference: this should be easy! CoRR Valeria de Paiva, Qiyue Gao, Hai Hu, Pavel Kovalev, Yikang Liu, Lawrence S. Moss, Zhiheng Qian
2025	J	`jnl`	Translations and Prawitz's Ecumenical System. Stud Logica Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva
2024	—	`conf`	Mathematical Entities: Corpora and Benchmarks. LREC/COLING Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
2024	J	`jnl`	Mathematical Entities: Corpora and Benchmarks. CoRR Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
2024	B	`ed.`	Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, MFPS XL, Oxford, UK, June 17-21, 2024 MFPS Valeria de Paiva, Alex Simpson
2024	J	`jnl`	Towards a Brazilian History Knowledge Graph. CoRR Valeria de Paiva, Alexandre Rademaker
2023	B	`ed.`	10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Indiana University Bloomington, IN, USA, June 19-21, 2023 CALCO Paolo Baldan, Valeria de Paiva
2023	J	`jnl`	Curing the SICK and Other NLI Maladies. Comput. Linguistics Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva
2023	J	`jnl`	Dialectica principles via Gödel doctrines. Theor. Comput. Sci. Davide Trotta, Matteo Spadetto, Valeria de Paiva
2023	J	`jnl`	Extracting Blockchain Concepts from Text. CoRR Rodrigo Veiga, Markus Endler, Valeria de Paiva
2023	J	`jnl`	Extracting Mathematical Concepts with Large Language Models. CoRR Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss
2023	J	`jnl`	MathGloss: Building mathematical glossaries from text. CoRR Lucy Horowitz, Valeria de Paiva
2023	J	`jnl`	Parmesan: mathematical concept extraction for education. CoRR Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
2022	Misc	`conf`	Dialectica Logical Principles. LFCS Davide Trotta, Matteo Spadetto, Valeria de Paiva
2022	J	`jnl`	Dialectica logical principles: not only rules. J. Log. Comput. Davide Trotta, Matteo Spadetto, Valeria de Paiva
2022	—	`conf`	Extracting Mathematical Concepts from Text. W-NUT@COLING Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian
2022	J	`jnl`	Extracting Mathematical Concepts from Text. CoRR Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian
2022	—	`conf`	Of Seringueiros and Sambistas: Occupation Mappings in Historical Text. DHandNLP@PROPOR Valeria de Paiva, Livy Real, Aikaterini-Lida Kalouli
2022	—	`ed.`	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), Virtual Event, Fortaleza, Brazil, 21st March, 2022. DHandNLP@PROPOR Cássia Trojahn, Maria José Finatto, Valeria de Paiva, Renata Vieira
2021	J	`jnl`	An ecumenical notion of entailment. Synth. Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva
2021	—	`conf`	Annotation Difficulties in Natural Language Inference. STIL Aikaterini-Lida Kalouli, Livy Real, Annebeth Buis, Martha Palmer, Valeria de Paiva
2021	B	`conf`	Dialectica Comonads (Invited Talk). CALCO Valeria de Paiva
2021	J	`jnl`	Dialectica Petri nets. CoRR Elena Di Lavore, Wilmer Leal, Valeria de Paiva
2021	J	`jnl`	Preface to Intiutionistic Modal Logic 2017. FLAP Valeria de Paiva, Sergei Artemov
2021	—	`ed.`	Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. Linearity&TLLA@IJCAR-FSCD Ugo Dal Lago, Valeria de Paiva
2021	B	`conf`	The Gödel Fibration. MFCS Davide Trotta, Matteo Spadetto, Valeria de Paiva
2020	—	`conf`	Deriving Theorems in Implicational Linear Logic, Declaratively. ICLP Technical Communications Paul Tarau, Valeria de Paiva
2020	J	`jnl`	Dialectica Fuzzy Petri Nets. CoRR Valeria de Paiva, Apostolos Syropoulos
2020	B	`conf`	Hy-NLI: a Hybrid system for Natural Language Inference. COLING Aikaterini-Lida Kalouli, Richard S. Crouch, Valeria de Paiva
2020	J	`jnl`	Multiple conclusion linear logic: cut elimination and more. J. Log. Comput. Harley Eades III, Valeria de Paiva
2020	—	`conf`	XplaiNLI: Explainable Natural Language Inference through Visual Analytics. COLING (Demonstrations) Aikaterini-Lida Kalouli, Rita Sevastjanova, Valeria de Paiva, Richard S. Crouch, Mennatallah El-Assady
2019	—	`conf`	Composing Noun Phrase Vector Representations. RepL4NLP@ACL Aikaterini-Lida Kalouli, Valeria de Paiva, Richard S. Crouch
2019	—	`conf`	Explaining Simple Natural Language Inference. LAW@ACL Aikaterini-Lida Kalouli, Annebeth Buis, Livy Real, Martha Palmer, Valeria de Paiva
2019	C	`conf`	Portuguese Manners of Speaking. GWC Valeria de Paiva, Alexandre Rademaker
2019	J	`jnl`	Preface. Math. Struct. Comput. Sci. Valeria de Paiva, Ruy J. G. B. de Queiroz
2019	—	`ed.`	Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. Linearity-TLLA@FLoC Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco
2019	J	`jnl`	Women in Logic 2018 workshop report. ACM SIGLOG News Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin
2018	Misc	`conf`	Dialectica Categories for the Lambek Calculus. LFCS Valeria de Paiva, Harley Eades III
2018	J	`jnl`	Dialectica Categories for the Lambek Calculus. CoRR Valeria de Paiva, Harley Eades III
2018	C	`conf`	Extending Wordnet to Geological Times. GWC Henrique Muniz, Fabricio Chalub, Alexandre Rademaker, Valeria de Paiva
2018	J	`jnl`	Intuitionistic Modal Logic: A 15-year retrospective. J. Log. Comput. Charles A. Stewart, Valeria de Paiva, Natasha Alechina
2018	C	`conf`	Linguistic Legal Concept Extraction in Portuguese. JURIX Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva
2018	J	`jnl`	Linguistic Legal Concept Extraction in Portuguese. CoRR Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva
2018	—	`conf`	On the Lambek Calculus with an Exchange Modality. Linearity-TLLA@FLoC Jiaming Jiang, Harley Eades III, Valeria de Paiva
2018	—	`conf`	Relating Legal Entities via Open Information Extraction. MTSR Giovanni Siragusa, Rohan Nanda, Valeria de Paiva, Luigi Di Caro
2018	—	`conf`	SICK-BR: A Portuguese Corpus for Inference. PROPOR 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
2018	—	`conf`	The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
2017	—	`conf`	CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies. CoNLL Shared Task (2) 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
2017	J	`jnl`	Constructive Temporal Logic, Categorically. FLAP Valeria de Paiva, Harley Eades III
2017	J	`jnl`	Dialectical categories, cardinalities of the continuum and combinatorics of ideals. Log. J. IGPL Samuel G. Da Silva, Valeria de Paiva
2017	—	`conf`	Textual Inference: getting logic from humans. IWCS(2) Aikaterini-Lida Kalouli, Livy Real, Valeria de Paiva
2017	—	`conf`	Universal Dependencies for Portuguese. DepLing Alexandre Rademaker, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, Valeria de Paiva
2016	J	`jnl`	22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). Log. J. IGPL Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz
2016	C	`conf`	An overview of Portuguese WordNets. GWC Valeria de Paiva, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, Alberto Simões
2016	—	`conf`	Making Virtue of Necessity: A Verb Lexicon. PROPOR Valeria de Paiva, Fabricio Chalub, Livy Real, Alexandre Rademaker
2016	Misc	`conf`	Multiple Conclusion Linear Logic: Cut Elimination and More. LFCS Harley Eades III, Valeria de Paiva
2016	J	`jnl`	Proceedings of the LexSem+Logics Workshop 2016. CoRR Steven Neale, Valeria de Paiva, Arantxa Otegi, Alexandre Rademaker
2016	B	`conf`	Semantic Links for Portuguese. LREC Fabricio Chalub, Livy Real, Alexandre Rademaker, Valeria de Paiva
2015	J	`jnl`	A linked open data architecture for the historical archives of the Getulio Vargas Foundation. Int. J. Digit. Libr. Alexandre Rademaker, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, Moacyr Alvim
2015	A*	`conf`	Explaining Watson: Polymath Style. AAAI Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss
2015	—	`conf`	Fibrational Modal Type Theory. LSFA Valeria de Paiva, Eike Ritter
2015	C	`ed.`	Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings WoLLIC Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira
2015	—	`conf`	Seeing is Correcting: curating lexical resources using social interfaces. LDL@IJCNLP Livy Real, Fabricio Chalub, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker
2015	—	`ed.`	Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015 NLCS@ICALP/LICS Makoto Kanazawa, Lawrence S. Moss, Valeria de Paiva
2014	C	`conf`	Embedding NomLex-BR nominalizations into OpenWordnet-PT. GWC Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy-Maria Real-Coelho
2014	—	`conf`	Exploratory Information Extraction from a Historical Dictionary. eScience Workshops Valeria de Paiva, Dário Augusto Borges Oliveira, Suemi Higuchi, Alexandre Rademaker, Gerard de Melo
2014	—	`conf`	Extending a Lexicon of Portuguese Nominalizations with Data from Corpora. PROPOR Cláudia Freitas, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, Anne Silva
2014	J	`jnl`	Intuitionistic N-Graphs. Log. J. IGPL Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva
2014	J	`jnl`	Linear logic model of state revisited. Log. J. IGPL Valeria de Paiva
2014	B	`conf`	NomLex-PT: A Lexicon of Portuguese Nominalizations. LREC Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo
2014	—	`conf`	Ontologies in Enterprise Application: Dimensional Comparison. FOMI@FOIS Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh
2014	C	`conf`	OpenWordNet-PT: A Project Report. GWC Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy Real, Maira Gatti
2014	—	`ed.`	Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013 IMLA@UNILOG Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
2014	—	`conf`	Sense-Specific Implicative Commitments. CICLing (1) Gerard de Melo, Valeria de Paiva
2013	J	`jnl`	Elements of Categorical Logic: Fifty Years Later. Logica Universalis Valeria de Paiva, Andrei Rodin
2013	—	`conf`	If, not when. IMLA@UNILOG Dick Crouch, Valeria de Paiva
2013	—	`conf`	Natural Number Objects in Dialectica Categories. LSFA Valeria de Paiva, Charles Morgan, Samuel G. Da Silva
2013	—	`conf`	Preface. IMLA@UNILOG Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
2012	—	`conf`	OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. COLING (Demos) Valeria de Paiva, Alexandre Rademaker, Gerard de Melo
2011	J	`jnl`	Fuzzy Topological Systems CoRR Apostolos Syropoulos, Valeria de Paiva
2011	—	`conf`	Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
2011	J	`jnl`	Intuitionistic Modal Logic and Applications (IMLA 2008). Inf. Comput. Valeria de Paiva, Brigitte Pientka
2010	—	`conf`	Bridges from Language to Logic: Concepts, Contexts and Ontologies. LSFA Valeria de Paiva
2010	—	`conf`	Constructive Description Logics Hybrid-Style. HyLo@LICS Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker
2010	C	`conf`	Intuitionistic Logic and Legal Ontologies. JURIX Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
2009	J	`jnl`	Logic, Language, Information and Computation. Inf. Comput. Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz
2008	J	`jnl`	Deverbal Nouns in Knowledge Representation. J. Log. Comput. Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva
2007	J	`jnl`	An Institutional View on Categorical Logic. Int. J. Softw. Informatics Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder
2007	—	`conf`	Precision-focused Textual Inference. ACL-PASCAL@ACL Daniel G. Bobrow, Dick Crouch, Tracy Holloway King, Cleo Condoravdi, Lauri Karttunen, Rowan Nairn, Valeria de Paiva, Annie Zaenen
2007	—	`ed.`	Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006 HyLo@FLoC Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
2007	—	`conf`	Textual Inference Logic: Take Two. C&O:RR Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy Holloway King, Lauri Karttunen, Rowan Nairn, Annie Zaenen
2006	Misc	`conf`	Deverbal Nouns in Knowledge Representation. FLAIRS Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva
2006	J	`jnl`	Intuitionistic hybrid logic. J. Appl. Log. Torben Braüner, Valeria de Paiva
2006	—	`conf`	Preface. HyLo@FLoC Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
2005	J	`jnl`	Relating Categorical Semantics for Intuitionistic Linear Logic. Appl. Categorical Struct. Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
2004	J	`jnl`	Editorial. J. Log. Comput. Valeria de Paiva, Rajeev Goré, Michael Mendler
2004	J	`jnl`	Forthcoming Papers. J. Log. Comput. Valeria de Paiva, Rajeev Goré, Michael Mendler
2004	J	`jnl`	Poset-valued sets or how to build models for linear logics. Theor. Comput. Sci. Andrea Schalk, Valeria de Paiva
2003	—	`conf`	Knowledge Tracking: Answering Implicit Questions. New Directions in Question Answering Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva
2003	—	`conf`	Natural Deduction and Context as (Constructive) Modality. CONTEXT Valeria de Paiva
2002	J	`jnl`	Making ontologies work for resolving redundancies across documents. Commun. ACM John O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard S. Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, Livia Polanyi
2001	B	`conf`	Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
2001	C	`conf`	Preventing existence. FOIS Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg
2000	B	`conf`	Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS Maria Emilia Maietti, Valeria de Paiva, Eike Ritter
2000	J	`jnl`	Linear Explicit Substitutions. Log. J. IGPL Neil Ghani, Valeria de Paiva, Eike Ritter
2000	J	`jnl`	On an Intuitionistic Modal Logic. Stud Logica Gavin M. Bierman, Valeria de Paiva
1999	B	`conf`	Categorical Models of Explicit Substitutions. FoSSaCS Neil Ghani, Valeria de Paiva, Eike Ritter
1998	—	`conf`	Building Models of Linear Logic. AMAST Valeria de Paiva, Andrea Schalk
1998	J	`jnl`	Computational Types from a Logical Perspective. J. Funct. Program. P. N. Benton, Gavin M. Bierman, Valeria de Paiva
1998	A*	`conf`	Explicit Substitutions for Constructive Necessity. ICALP Neil Ghani, Valeria de Paiva, Eike Ritter
1997	B	`conf`	A Formulation of Linear Logic Based on Dependency-Relations. CSL Torben Braüner, Valeria de Paiva
1997	A*	`conf`	On Explicit Substitution and Names (Extended Abstract). ICALP Eike Ritter, Valeria de Paiva
1993	—	`conf`	A Term Calculus for Intuitionistic Linear Logic. TLCA P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
1993	J	`jnl`	Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Log. Martin Hyland, Valeria de Paiva
1993	—	`conf`	Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA Monica Nesi, Valeria de Paiva, Eike Ritter
1992	B	`conf`	Linear Lambda-Calculus and Categorial Models Revisited. CSL P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
1989	—	`conf`	A Dialectica-like Model of Linear Logic. Category Theory and Computer Science Valeria de Paiva