Alexandre Rademaker

77 papers A* 1B 4C 21Journal 16Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CSLib: The Lean Computer Science Library. CoRR Clark W. Barrett, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, Sorrachai Yingchareonthawornchai
2026	J	`jnl`	Hennessy-Milner Logic in CSLib, the Lean Computer Science Library. CoRR Fabrizio Montesi, Marco Peressotti, Alexandre Rademaker
2025	J	`jnl`	ULKB Logic: A HOL-based framework for reasoning over knowledge graphs. Sci. Comput. Program. Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa
2025	C	`conf`	Vector Graphics through Category Theory. CICM Davi Sales Barreira, Henrique Borges Carvalho, Alexandre Rademaker, Asla Medeiros e Sá, Flávio Codeço Coelho
2024	J	`jnl`	Automated, LLM enabled extraction of synthesis details for reticular materials from scientific literature. CoRR Viviane Torres da Silva, Alexandre Rademaker, Krystelle Lionti, Ronaldo Giro, Geisa Lima, Sandro Rama Fiorini, Marcelo Archanjo, Breno W. Carvalho, Rodrigo Neumann, Anaximandro Souza, João Pedro Souza, Gabriela de Valnisio, Carmen Nilda Paz, Renato Cerqueira, Mathias Steiner
2024	J	`jnl`	Towards a Brazilian History Knowledge Graph. CoRR Valeria de Paiva, Alexandre Rademaker
2023	C	`conf`	Documenting the Open Multilingual Wordnet. GWC Francis Bond, Michael Wayne Goodman, Ewa Rudnicka, Luís Morgado da Costa, Alexandre Rademaker, John P. McCrae
2023	—	`conf`	Extracting higher-order logic formulas from English sentences. ICNLSP Alexandre Rademaker, Guilherme Lima, Renato Cerqueira
2023	—	`conf`	PriMeSRL-Eval: A Practical Quality Metric for Semantic Role Labeling Systems Evaluation. EACL (Findings) Ishan Jindal, Alexandre Rademaker, Khoi-Nguyen Tran, Huaiyu Zhu, Hiroshi Kanayama, Marina Danilevsky, Yunyao Li
2023	C	`ed.`	Proceedings of the 12th Global Wordnet Conference, GWC 2023, University of the Basque Country, Donostia - San Sebastian, Basque Country, Spain, 23 - 27 January 2023 GWC German Rigau, Francis Bond, Alexandre Rademaker
2023	C	`conf`	Semantic Parsing and Sense Tagging the Princeton WordNet Gloss Corpus. GWC Alexandre Rademaker, Abhishek Basu, Rajkiran Veluri
2023	—	`conf`	ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. SBMF Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa
2022	—	`conf`	Extracting Valences from a Dependency Treebank for Populating the Verb Lexicon of a Portuguese HPSG Grammar. PROPOR Leonel Figueiredo de Alencar, Lucas Ribeiro Coutinho, Wellington José Leite da Silva, Ana Luiza Nunes, Alexandre Rademaker
2022	J	`jnl`	PriMeSRL-Eval: A Practical Quality Metric for Semantic Role Labeling Systems Evaluation. CoRR Ishan Jindal, Alexandre Rademaker, Khoi-Nguyen Tran, Huaiyu Zhu, Hiroshi Kanayama, Marina Danilevsky, Yunyao Li
2022	B	`conf`	Universal Proposition Bank 2.0. LREC Ishan Jindal, Alexandre Rademaker, Michal Ulewicz, Ha Linh, Huyen Nguyen, Khoi-Nguyen Tran, Huaiyu Zhu, Yunyao Li
2021	J	`jnl`	A faster and less aggressive algorithm for correcting conservativity violations in ontology alignments. Appl. Ontology Cauã Roca Antunes, Alexandre Rademaker, Mara Abel
2021	—	`conf`	Explorando a revisão de corpora por meio da comparação de regras gramaticais em padrões sintáticos. STIL Wellington José Leite da Silva, Alexandre Rademaker, Leonel Figueiredo de Alencar
2021	C	`conf`	On the Utility of Word Embeddings for Enriching OpenWordNet-PT. LDK Hugo Gonçalo Oliveira, Fredson Silva de Souza Aguiar, Alexandre Rademaker
2021	C	`ed.`	Proceedings of the 11th Global Wordnet Conference, GWC 2021, University of South Africa (UNISA), Potchefstroom, South Africa, January 18-21, 2021 GWC Sonja Bosch, Christiane Fellbaum, Marissa Griesel, Alexandre Rademaker, Piek Vossen
2021	C	`conf`	The GlobalWordNet Formats: Updates for 2020. GWC John P. McCrae, Michael Wayne Goodman, Francis Bond, Alexandre Rademaker, Ewa Rudnicka, Luís Morgado da Costa
2021	—	`conf`	Utilizando um dicionário morfológico para expandir a cobertura lexical de uma gramática do português no formalismo HPSG. STIL Ana Luiza Nunes, Alexandre Rademaker, Leonel Figueiredo de Alencar
2020	—	`conf`	English WordNet 2020: Improving and Extending a WordNet for English using an Open-Source Methodology. MMW@LREC John Philip McCrae, Alexandre Rademaker, Ewa Rudnicka, Francis Bond
2020	—	`conf`	Inclusion of Lithological terms (rocks and minerals) in The Open Wordnet for English. MMW@LREC Alexandre Tessarollo, Alexandre Rademaker
2020	—	`conf`	The Construction of a Corpus from the Brazilian Historical-Biographical Dictionary. PROPOR Lucas Ribeiro, Jaqueline P. Zulini, Alexandre Rademaker
2019	—	`conf`	A Category-theoretic Approach for the Detection of Conservativity Violations in Ontology Alignments. ONTOBRAS Cauã Roca Antunes, Alexandre Rademaker, Mara Abel
2019	C	`conf`	Completing the Princeton Annotated Gloss Corpus Project. GWC Alexandre Rademaker, Bruno Cuconato, Alessandra Cid, Alexandre Tessarollo, Henrique Andrade
2019	—	`conf`	Distant reading Brazilian politics. DHN Suemi Higuchi, Diana Santos, Cláudia Freitas, Alexandre Rademaker
2019	C	`conf`	English WordNet 2019 - An Open-Source WordNet for English. GWC John P. McCrae, Alexandre Rademaker, Francis Bond, Ewa Rudnicka, Christiane Fellbaum
2019	—	`conf`	Extending SUMO to Geological Times. ONTOBRAS Alexandre Tessarollo, Alexandre Rademaker, Adam Pease
2019	C	`conf`	Fast developing of a Natural Language Interface for a Portuguese WordNet: Leveraging on Sentence Embeddings. GWC Hugo Gonçalo Oliveira, Alexandre Rademaker
2019	C	`conf`	Portuguese Manners of Speaking. GWC Valeria de Paiva, Alexandre Rademaker
2018	—	`conf`	Challenges for Information Extraction in the Oil and Gas Domain. ONTOBRAS Alexandre Rademaker
2018	C	`conf`	Extending Wordnet to Geological Times. GWC Henrique Muniz, Fabricio Chalub, Alexandre Rademaker, Valeria de Paiva
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	J	`jnl`	On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. CoRR Edward Hermann Haeusler, Alexandre Rademaker
2018	—	`conf`	Tagsets and Datasets: Some Experiments Based on Portuguese Language. PROPOR Cláudia Freitas, Luiza F. Trugo, Fabricio Chalub, Guilherme Paulino-Passos, Alexandre Rademaker
2018	B	`conf`	Text Mining for History: first steps on building a large dataset. LREC Suemi Higuchi, Cláudia Freitas, Bruno Cuconato, Alexandre Rademaker
2018	C	`conf`	Using OpenWordnet-PT for Question Answering on Legal Domain. GWC Pedro Delfino, Bruno Cuconato, Guilherme Paulino-Passos, Gerson Zaverucha, Alexandre Rademaker
2018	—	`conf`	Utilizing iALC to Formalize the Brazilian OAB Exam. XAILA@JURIX Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker
2017	C	`conf`	Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. JURIX Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker
2017	J	`jnl`	Passing the Brazilian OAB Exam: data preparation and some experiments. CoRR Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker
2017	—	`conf`	Two Corpus Based Experiments with the Portuguese and English Wordnets. LDK Workshops Alexandre Rademaker, Fabricio Chalub, Cláudia Freitas
2017	—	`conf`	Universal Dependencies for Portuguese. DepLing Alexandre Rademaker, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, Valeria de Paiva
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	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
2016	C	`conf`	Verifying Integrity Constraints of a RDF-based WordNet. GWC Alexandre Rademaker, Fabricio Chalub
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	J	`jnl`	A scalable architecture for real-time analysis of microblogging data. IBM J. Res. Dev. Paulo Rodrigo Cavalin, Maíra A. de C. Gatti, Tiago Gomes Pessoa de Moraes, Fabio Silva Oliveira, Claudio S. Pinhanez, Alexandre Rademaker, Rogério Abreu de Paula
2015	—	`conf`	Anotação de corpus com a OpenWordNet-PT: um exercício de desambiguação (Sense annotation with OpenWordNet-PT: an exercise of word sense disambiguation). STIL Cláudia Freitas, Livy Real, Alexandre Rademaker
2015	—	`conf`	HAREM and Klue: how to put two tagsets for named entities annotation together. NEWS@ACL Livy Real, Alexandre Rademaker
2015	—	`ed.`	Proceedings of the 10th Brazilian Symposium in Information and Human Language Technology, STIL 2015, Natal, Brazil, November 4-7, 2015 STIL Cláudia Freitas, Alexandre Rademaker
2015	—	`ed.`	Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22nd, 2014. FOMI@FOIS Alexandre Rademaker, Vinay K. Chaudhri
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
2014	J	`jnl`	An Intuitionisticaly based Description Logic. CoRR Edward Hermann Haeusler, Alexandre Rademaker
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	B	`conf`	NomLex-PT: A Lexicon of Portuguese Nominalizations. LREC Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo
2014	C	`conf`	OpenWordNet-PT: A Project Report. GWC Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy Real, Maira Gatti
2014	—	`conf`	Semantic Traffic Diagnosis with STAR-CITY: Architecture and Lessons Learned from Deployment in Dublin, Bologna, Miami and Rio. ISWC (2) Freddy Lécué, Robert Tucker, Simone Tallevi-Diotallevi, Rahul Nair, Yiannis Gkoufas, Giuseppe Liguori, Mauro Borioni, Alexandre Rademaker, Luciano Barbosa
2014	J	`jnl`	Specifying ubiquitous systems through the algebra of contextualized ontologies. Knowl. Eng. Rev. Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
2013	—	`conf`	A Linked Open Data Architecture for Contemporary Historical Archives. SDA Alexandre Rademaker, Suemi Higuchi, Dário Augusto Borges Oliveira
2012	—	`book`	A Proof Theory for Description Logics. Alexandre Rademaker
2012	—	`conf`	OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. COLING (Demos) Valeria de Paiva, Alexandre Rademaker, Gerard de Melo
2011	—	`conf`	Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker
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
2010	J	`jnl`	Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and J. Univers. Comput. Sci. Alexandre Rademaker, Edward Hermann Haeusler
2009	—	`conf`	Is It Important to Explain a Theorem? A Case Study on UML and ER Workshops Edward Hermann Haeusler, Alexandre Rademaker
2008	C	`conf`	A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. ISoLA Isabel Cafezeiro, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
2008	A*	`conf`	Ontology and Context. PerCom Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker
2008	—	`conf`	Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. SBIA Alexandre Rademaker, Edward Hermann Haeusler
2006	—	`conf`	An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler
2004	—	`conf`	A Rewriting Semantics for a Software Architecture Description Language. SBMF Alexandre Rademaker, Christiano de Oliveira Braga, Alexandre Sztajnberg