Alexandre Rademaker
Bachelor's at Computer Science from Universidade Federal do Rio de Janeiro (2001), master's at Computer Science from Universidade Federal Fluminense (2005) and doctorate at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2010). Has experience in Computer Science, focusing on Computability and Computational Models, acting on the following subjects: description logic, proof theory, ontology, functional programming, category theory and natural language processing.
Informações coletadas do Lattes em 10/06/2025
Acadêmico
Formação acadêmica
Doutorado em Informática
2005 - 2010
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: A Proof Theory for Description Logics
, Ano de obtenção: 2010. Edward Hermann Haeusler. Palavras-chave: proof theory; description logic.Grande área: Ciências Sociais AplicadasGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Mestrado em Computação
2003 - 2005
Universidade Federal Fluminense
Título: Uma ferramenta formal para especificação e análise de arquiteturas de software
, Ano de Obtenção: 2005.Christiano de Oliveira Braga.Palavras-chave: Architecture Description Language; rewriting logic; Maude; Lógica Equacional; Formal Methods.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Graduação em Informática
1995 - 2001
Universidade Federal do Rio de Janeiro
Título: Um simulador de leilões: simulador de leilões para experimentos científicos em Economia
Orientador: Eber Schmitz
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
Organização de eventos
RADEMAKER, Alexandre ; ALENCAR, L. F. . Thematic Session of Mathematical Linguistics. 2023. (Congresso).
DE PAIVA, Valeria ; RADEMAKER, Alexandre ; NEALE, S. ; OTEGI, A. . Third Workshop on Logics and Ontologies. 2016. (Congresso).
FREITAS, C. ; RADEMAKER, Alexandre . Symposium in Information and Human Language Technology. 2015. (Congresso).
NEALE, S. ; DE PAIVA, Valeria ; OTEGI, A. ; RADEMAKER, Alexandre . Third Workshop on Logics and Ontologies and the First Workshop on Lexical Semantics for Lesser-Resourced Languages. 2015. (Congresso).
RADEMAKER, Alexandre ; DE PAIVA, Valeria . Workshop on Logics and Ontologies for Natural Language (LogOnto). 2014. (Congresso).
RADEMAKER, Alexandre ; CHAUDHRI, V. K. . 6th Workshop on Formal Ontologies meet Industry. 2014. (Concurso).
ALEMANY, L. A. ; PADRO, M. ; RADEMAKER, A. ; VILLAVICENCIO, A. . Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp). 2014. (Congresso).
RADEMAKER, A. ; DE PAIVA, Valeria . Logics and Ontologies for Portuguese. 2011. (Congresso).
RADEMAKER, Alexandre ; DE PAIVA, Valeria . Workshop on Logics and Ontologies for Natural Language (LogOnto). 2014. (Congresso).
RADEMAKER, Alexandre ; CHAUDHRI, V. K. . 6th Workshop on Formal Ontologies meet Industry. 2014. (Concurso).
Participação em eventos
15th DELPH-IN summit.A high throughput cloud computation architecture for 'deep' parsing. 2019. (Encontro).
AAAI 2019 Spring Symposium.Information extraction on financial reports of oil and gas industry: First steps. 2019. (Simpósio).
Global Wordnet Conference. Completing the Princeton Annotated Gloss Corpus Project. 2019. (Congresso).
Seminário de Pesquisas em Ontologias do Brasil.Extending SUMO to Geological Times. 2019. (Seminário).
11th edition of the Language Resources and Evaluation Conference. Text Mining for History: First Steps on Building a Large Dataset. 2018. (Congresso).
Fifth Workshop on Natural Language and Computer Science (F.OpenWordNet-PT: Taking Stock. 2018. (Oficina).
Global Wordnet Conference. Extending Wordnet to Geological Times. 2018. (Congresso).
30th international conference on Legal Knowledge and Information Systems. Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. 2017. (Congresso).
Language, Data and Knowledge. Two Corpus Based Experiments With the Portuguese and English Wordnets. 2017. (Congresso).
10th Edition Of Its Language Resources and Evaluation Conference (LREC). Semantic Links For Portuguese. 2016. (Congresso).
Global Wordnet Conference. An Overview of Portuguese WordNets. 2016. (Congresso).
International Joint Conference on Automated Reasoning - GetFun Workshop. InFeRe Law: Investigating the feasibility of reasoning on legal ontologies. 2016. (Congresso).
PROPOR ? International Conference On the Computational Processing of Portuguese. Making a Virtue of Necessity: a Verb Lexicon. 2016. (Congresso).
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. Seeing is Correcting: curating lexical resources using social interfaces. 2015. (Congresso).
5th World Congress and School On Universal Logic. On How Kelsenian Jurisprudence And Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes In Legal Ontologies. 2015. (Congresso).
Symposium in Information and Human Language Technology.Anotação De Corpus Com a OpenWordNet-PT: Um Exercício De Desambiguação. 2015. (Simpósio).
VIVO Conference 2015. Using OpenWordnet-PT to Improve VIVO. 2015. (Congresso).
17th Brazilian Logic Conference. On the Computational Complexity of the Intuitionistic Hybrid Modal Logics. 2014. (Congresso).
7th Global WordNet Conference. OpenWordNet-PT: A Project Report. 2014. (Congresso).
17th International Conference on Theory and Practice of Digital Libraries. 2013. (Congresso).
3rd International Workshop on Semantic Digital Archives.A linked open data architecture for contemporary historical archives. 2013. (Oficina).
European Common Lisp Meeting. 2013. (Encontro).
European Lisp Symposium. 2013. (Simpósio).
VIVO 2013. Semantic Lattes and VIVO Project. 2013. (Congresso).
Global Wordnet Conference. Revisiting a Brazilian WordNet. 2012. (Congresso).
LSFA 2012 - 7th Workshop on Logical and Semantic Frameworks, with Applications. 2012. (Oficina).
Transcendental Syntax: The conditions of Possibility of Language. 2012. (Congresso).
10th International Semantic Web Conference. 2011. (Congresso).
European Common Lisp Meeting. 2011. (Encontro).
The Brazilian Logic Conference. Intuitionistic Description Logic for Legal Reasoning. 2011. (Congresso).
4th Workshop on Legal Ontologies and Artificial Intelligence Techniques.Intuitionistic Logic as a basis for Legal Ontologies. 2010. (Oficina).
Federated Logic Conference. 2010. (Congresso).
Hybrid Logic and Applications.Constructive Description Logic, Hybrid-Style. 2010. (Oficina).
28th International Conference on Conceptual Modeling - Evolving Theories of Conceptual Modelling (ETheCoM) Workshop. 2009. (Congresso).
Mintsfest: A Conference in Celebration of Grigori Mints's 70th Birthday. 2009. (Simpósio).
5th IEEE Workshop on Context Modeling and Reasoning.Ontology and Context. 2008. (Oficina).
Brazilian Symposium on Artificial Intelligence.Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach. 2008. (Simpósio).
CAV 2008: 20th International Conference on Computer Aided Verification. 2008. (Congresso).
10th Brazilian Symposium on Formal Methods. 2007. (Simpósio).
26th International Conference on Conceptual Modeling. Semantic Interoperability via Category Theory. 2007. (Congresso).
Second Workshop on Logical and Semantic Frameworks with Applications. 2007. (Simpósio).
Encontro Brasileiro de Lógica. 2006. (Congresso).
Brazilian Symposium on Programming Languages. 2004. (Simpósio).
Participação em bancas
FINGER, M.; RADEMAKER, Alexandre; MARANHAO, J. S. A.. Ranking decisions in Brazilian Supreme Court decisions: a study of network of decisions robustness and leading cases identification. 2023. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
CAMPOS, T. E.; RADEMAKER, Alexandre; FALEIROS, T. P.; RODRIGUES, G. N.. Domain-specific datasets for document classification and named entity recognition. 2021. Dissertação (Mestrado em Informática) - Universidade de Brasília.
RADEMAKER, Alexandre;BENEVIDES, M. R. F.; VARZINCZAK, I. J.; VELOSO, S. R. M.. Video Game Development Ontology. 2015. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
HAEUSLER, Edward HermannENDLER, M.Viterbo, JoséSILVA, G. M. H.; RADEMAKER, Alexandre. Patient-Buddy-Build: Customized Mobile Monitoring for Patients with Chronic Diseases. 2013. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
MOTA, R.; GUTIERREZ, C.; TASISTRO, A.; TURHAN, A.; CORCHO, O.; RADEMAKER, Alexandre. Design and Foundations of Ontologies with Meta-Modelling. 2022. Tese (Doutorado em Doctorado en Informática) - Universidad de la Republica Uruguay.
TORRENT, T. T.;RADEMAKER, A.; MOURA, H. M. M.; SALOMAO, M. M. M.; ALMEIDA, M. J. A.. Modelagem Linguístico-Computacional de Metonímias na Base de Conhecimento Multilíngue (M.Knob) da FrameNet Brasil. 2017. Tese (Doutorado em Lingüística) - Universidade Federal de Juiz de Fora.
SOUZA, C. S.; RODRIGUEZ, N. L. R.; CERQUEIRA, R. F. G.; IERUSALIMSCHY, R.; RADEMAKER, Alexandre; BIGONHA, R. S.. Communicative Dimensions of Application Programming Interfaces (APIs). 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
BORGES NETO, J.; NEGRI, L.; FARACO, C. A.; RADEMAKER, Alexandre; PAGANI, L. A.. Nominalizações. 2014. Tese (Doutorado em Doutorado em Estudos Lingüísticos) - Universidade Federal do Paraná.
ARARIPE, L. F. A.; RADEMAKER, Alexandre; TEIXEIRA, E. N.. As valências dos verbos de mudança do português brasileiro: descrição e implementação computacional via gramática léxico-funcional. 2018. Exame de qualificação (Doutorando em Lingüística) - Universidade Federal do Ceará.
ARARIPE, L. F. A.; RADEMAKER, Alexandre; SILVA, P. H. S.; SOARES, M. E.. Expansão do morphoBr através da modelagel de processos de formação de palavras no português. 2018. Exame de qualificação (Mestrando em Lingüística) - Universidade Federal do Ceará.
RADEMAKER, Alexandre;ABEL, M.; MACHADO, R.; CARBONERA, J. L.. A proposal for ontology formalization based on category theory. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
HAEUSLER, Edward Hermann; RADEMAKER, Alexandre; BARBOSA, Simone; VIEIRA, Bruno Lopes. Ferramenta para Auxílio à Formalização em Lógica com Validação. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio de Janeiro.
HAEUSLER, Edward Hermann; RADEMAKER, Alexandre; BARBOSA, Simone; VIEIRA, Bruno Lopes. Implementação nas Nuvens de aplicação web: ambiente BlueMix. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio de Janeiro.
CECHINEL, C.; TAVARES, T. A.;BRAUNER, D. F.; RADEMAKER, Alexandre. Alinhamento de nomes de coautores em produções científicas de currículos de pesquisadores. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.
TAVARES, T. A.; FLEISCHMANN, A. M. P.; RADEMAKER, Alexandre;BRAUNER, D. F.. Cirrículos Lattes: Expansão Automática de Termos baseada em Ontologia. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.
ANDREATTA, A. A.DIAS, V. F.; RADEMAKER, Alexandre;PROTTI, F.. Concurso Público Professor Auxiliar. 2013. Universidade Federal do Estado do Rio de Janeiro.
RADEMAKER, Alexandre;FIGUEIREDO, L. C.VIEIRA, N.. Concurso Público Professor Assistente, nível I. 2011. Universidade Federal de Ouro Preto.
Orientou
Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework; 2020; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Coorientador: Alexandre Rademaker;
Expanding the Open Wordnets for English and Portuguese to Geology Domain: Inclusion of Lythology and Geological Time Concepts; 2020; Dissertação (Mestrado em Mestrado em Matemática Aplicada) - Fundação Getúlio Vargas, ; Orientador: Alexandre Rademaker;
A computational grammar for Portuguese; 2019; Dissertação (Mestrado em Mestrado em Matemática Aplicada) - Fundação Getúlio Vargas, ; Orientador: Alexandre Rademaker;
A Lógica sobre Leis iALC: Implementação de Provas de Correção e Completude e Proposta de Formalização da Legislação Brasileira; 2019; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, ; Coorientador: Alexandre Rademaker;
A formal model for Universal Dependencies; 2017; Dissertação (Mestrado em Ciência da Informação) - Universidade Federal do Rio de Janeiro, ; Coorientador: Alexandre Rademaker;
Unlocking Big Data value in Massive Open Online Courses (MOOC): Exploratory Research; 2014; Dissertação (Mestrado em Mestrado Executivo em Gestão Empresarial) - Fundação Getúlio Vargas, ; Orientador: Alexandre Rademaker;
Utilizando Word Embeddings para expansão e revisão da OpenWordNet-PT; 2020; Trabalho de Conclusão de Curso; (Graduação em Graduação em Matemática Aplicada) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
Um interface de busca para representações semânticas; 2020; Trabalho de Conclusão de Curso; (Graduação em Graduação em Matemática Aplicada) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
Contribuições e Desafios Guiados por um pipeline de processamento de Linguagem Natural; 2019; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
Construindo o primeiro algoritmo aprovado no Exame da OAB; 2018; Trabalho de Conclusão de Curso; (Graduação em Direito) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
Semântica Computacional para Textos Normativos; 2016; Trabalho de Conclusão de Curso; (Graduação em Graduação em Matemática Aplicada) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
Formalização de SUMO em Tipos Dependentes; 2019; Iniciação Científica; (Graduando em Matemática) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
mecanização da prova de corretude de iALC; 2019; Iniciação Científica; (Graduando em Matemática) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
formalizing the mapping of SUMO to TPTP/THF; 2019; Iniciação Científica; (Graduando em Matemática) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
textual entailment, exercício em SICK; 2019; Iniciação Científica; (Graduando em Matemática) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
Recursos para o PLN; 2018; Iniciação Científica; (Graduando em Graduação em Matemática Aplicada) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
Recursos e Ferramentas para processamento de documentos jurídicos; 2018; Iniciação Científica; (Graduando em Matemática) - Fundação Getúlio Vargas; Orientador: Alexandre Rademaker;
Recursos Léxicos para o Português; 2018; Iniciação Científica; (Graduando em Matemática) - Fundação Getúlio Vargas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alexandre Rademaker;
Um sistema de PLN para passar na Prova da OAB; 2017; Iniciação Científica; (Graduando em Graduação em Matemática Aplicada) - Fundação Getúlio Vargas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alexandre Rademaker;
CL-CONLLU: uma biblioteca para processamento de corpora UD; 2017; Iniciação Científica; (Graduando em Matemática) - Fundação Getúlio Vargas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alexandre Rademaker;
Formalização de Decisões Legais usando iALC; 2014; Iniciação Científica; (Graduando em Graduação em Matemática Aplicada) - Fundação Getúlio Vargas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alexandre Rademaker;
Produções bibliográficas
-
ALENCAR, LEONEL FIGUEIREDO DE ; RADEMAKER, Alexandre . Modelação da valência verbal numa gramática computacional do português no formalismo HPSG. DOMÍNIOS DE LINGU@GEM , v. 16, p. 1339-1400, 2022.
-
ANTUNES, C. R. ; RADEMAKER, Alexandre ; ABEL, M. . A faster and less aggressive algorithm for correcting conservativity violations in ontology alignments. APPLIED ONTOLOGY (ONLINE) , v. 16, p. 277-296, 2021.
-
FIGUEIREDO DE ALENCAR, LEONEL ; Cuconato, Bruno ; RADEMAKER, Alexandre . MorphoBr: an open source large-coverage full-form lexicon for morphological analysis of Portuguese. TEXTO LIVRE , v. 11, p. 1-25, 2018.
-
RADEMAKER, Alexandre ; OLIVEIRA, D. A. B. ; DE PAIVA, Valeria ; HIGUCHI, Suemi ; SÁ, Asla Medeiros ; SILVA, Moacyr Alvim Horta Barbosa da . A linked open data architecture for the historical archives of the Getulio Vargas Foundation. International Journal on Digital Libraries (Print) , v. 15, p. 153-167, 2015.
-
OLIVEIRA, H. G. ; DE PAIVA, Valeria ; FREITAS, C. ; RADEMAKER, Alexandre ; COELHO, L. M. R. ; SIMOES, A. . As Wordnets do Português. Oslo Studies in Language , v. 7, p. 397-424, 2015.
-
CAVALIN, P. R. ; GATTI, M. A. C. ; MORAES, T. G. P. ; OLIVEIRA, F. S. ; PINHANEZ, C. S. ; RADEMAKER, A. ; DE PAULA, R. A. . A scalable architecture for real-time analysis of microblogging data. IBM Journal of Research and Development (Print) , v. 59, p. 16:1-16:10, 2015.
-
Cafezeiro, Isabel ; Viterbo, José ; RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann ; ENDLER, M. . Specifying ubiquitous systems through the algebra of contextualized ontologies. Knowledge Engineering Review (Print) , v. 29, p. 171-185, 2014.
-
LECUE, F. ; TUCKE, R. ; TALLEVI-DIOTALLEVI, S. ; NAIR, R. ; GKOUFAS, Y. ; LIGUORI, G. ; BORIONI, M. ; RADEMAKER, A ; BARBOSA, L. . Semantic Traffic Diagnosis with STAR-CITY: Architecture and Lessons Learned from Deployment in Dublin, Bologna, Miami and Rio. Lecture Notes in Computer Science , v. 8797, p. 292-307, 2014.
-
DE PAIVA, Valeria ; HAEUSLER, Edward Hermann ; RADEMAKER, Alexandre . Constructive Description Logics Hybrid-Style. Electronic Notes in Theoretical Computer Science , v. 273, p. 21-31, 2011.
-
Rademaker, A. ; HAEUSLER, Edward Hermann ; DE PAIVA, Valeria . Using Intuitionistic Logic as a Basis for Legal Ontologies. Informatica e diritto , v. 1, p. 289-298, 2011.
-
HAEUSLER, Edward Hermann ; DE PAIVA, Valeria ; RADEMAKER, A . Using Intuitionistic Logic as a Basis for Legal Ontologies. Informatica e diritto , v. 1, p. 289-298, 2010.
-
Rademaker, A. ; HAEUSLER, Edward Hermann . Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. Journal of Universal Computer Science (Online) , v. 16, p. 3016-3042, 2010.
-
Rademaker, A. ; HAEUSLER, Edward Hermann ; PEREIRA, L. C. . On The Proof Theory of ALC. CLE e-Prints (Impresso) , v. 8, p. Article 14, 2008.
-
Rademaker, A. ; BRAGA, C. ; SZTAJNBERG, A . A Rewriting Semantics for a Software Architecture Description Language. Electronic Notes in Theoretical Computer Science , v. 130, p. 345-377, 2005.
-
ALEMANY, L. A. (Org.) ; PADRO, M. (Org.) ; RADEMAKER, Alexandre (Org.) ; VILLAVICENCIO, A. (Org.) . Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp). 1. ed. São Carlos: , 2014. v. 1. 100p .
-
RADEMAKER, A. . A Proof Theory for Description Logics. 1. ed. London: Springer, 2012. v. 1. 116p .
-
ALENCAR, L. F. ; COUTINHO, L. R. ; SILVA, W. J. L. ; NUNES, A. L. ; RADEMAKER, Alexandre . Extracting Valences from a Dependency Treebank for Populating the Verb Lexicon of a Portuguese HPSG Grammar. In: Pinheiro, V.. (Org.). PROPOR 2022: Computational Processing of the Portuguese Language. 1ed.: Springer, Cham, 2022, v. 13208, p. 365-375.
-
Ribeiro, Lucas ; Zulini, Jaqueline P. ; RADEMAKER, Alexandre . The Construction of a Corpus from the Brazilian Historical-Biographical Dictionary. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. , p. 109-117.
-
Freitas, Cláudia ; Trugo, Luiza F. ; Chalub, Fabricio ; Paulino-Passos, Guilherme ; RADEMAKER, Alexandre . Tagsets and Datasets: Some Experiments Based on Portuguese Language. In: Aline Villavicencio, Viviane Moreira, Alberto Abad, Helena Caseli, Pablo Gamallo, Carlos Ramisch, Hugo Gonçalo Oliveira, Gustavo Henrique Paetzold. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 11122, p. 459-469.
-
HAEUSLER, Edward Hermann ; RADEMAKER, Alexandre . Is it important to explain a theorem? A case study on UML and ALCQI. In: C.A. Heuser and G. Pernul.. (Org.). Advances in Conceptual Modeling - Challenging Perspectives (LNCS, ER-2009 Proceedings). Berlim: Springer-Verlag, 2009, v. 5833, p. 34-44.
-
RADEMAKER, A ; HAEUSLER, Edward Hermann ; PEREIRA, L. C. . On the Proof Theory of ALC. In: Walter Carnielli; Marcelo Coniglio; Itala D'Ottaviano. (Org.). The Many Sides of Logic. London: College Pulications, 2009, v. 21, p. 273-285.
-
RADEMAKER, A. ; LIMA, G. ; FIORINI, S. R. ; SILVA, Viviane Torres da . Deductive Verification of LLM Generated SPARQL Queries. In: Workshop on Deep Learning and Linked Data (DLnLD) @ LREC-COLING 2024, 2024, Torino. Proceedings of the Workshop on Deep Learning and Linked Data (DLnLD) @ LREC-COLING 2024. Torino: ELRA and ICCL, 2024. v. 1. p. 45-52.
-
SILVA, Viviane Torres da ; RADEMAKER, Alexandre ; LIONTI, Krystelle ; GIRO, Ronaldo ; LIMA, Geisa ; FIORINI, S. R. ; ARCHANJO, Marcelo ; CARVALHO, Breno W. S. R. ; FERREIRA, Rodrigo N. B. ; SOUZA, Anaximandro ; SOUZA, João Pedro G. ; VALNISIO, Gabriela ; PAZ, Carmen ; CERQUEIRA, R. ; STEINER, Mathias B. . Automated, LLM enabled extraction of synthesis details for reticular materials from scientific literature. In: AI for Accelerated Materials Design, 2024, Vancouver. Proceedings of the AI for Accelerated Materials Discovery (AI4Mat) Workshop at NeurIPS 2024, 2024. v. 1. p. 1-16.
-
RADEMAKER, Alexandre ; BASU, A. ; VELURI, R. . Semantic Parsing and Sense Tagging the Princeton WordNet Gloss Corpus. In: Global Wordnet Conference, 2023, Donostia. Proceedings of the 12th International Global Wordnet Conference. Donostia: Global WordNet Association, 2023. p. 243-253.
-
BOND, Francis ; COSTA, L. M. ; RUDNICKA, Ewa ; RADEMAKER, Alexandre ; GOODMAN, M. W. . Documenting the Open Multilingual Wordnet. In: 12th International Global Wordnet Conference, 2023, Donostia. Proceedings of the 12th International Global Wordnet Conference. Donostia: Global WordNet Association, 2023. p. 150-157.
-
LIMA, G. ; RADEMAKER, Alexandre ; UCEDA-SOSA, R. . ULKB Logic: A HOL-based framework for reasoning over knowledge graphs. In: Brazilian Symposium on Formal Methods, 2023, Manaus. Formal Methods: Foundations and Applications. SBMF 2023. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2023. v. 14414. p. 55-71.
-
RADEMAKER, Alexandre ; LIMA, G. ; CERQUEIRA, R. . Extracting higher-order logic formulas from English sentences. In: International Conference on Natural Language and Speech Processing (ICNLSP), 2023, online. Proceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023), 2023. v. 1. p. 192-199.
-
JINDAL, ISHAN ; RADEMAKER, Alexandre ; TRAN, KHOI-NGUYEN ; ZHU, HUAIYU ; KANAYAMA, HIROSHI ; DANILEVSKY, MARINA ; LI, YUNYAO . PriMeSRL-Eval: A Practical Quality Metric for Semantic Role Labeling Systems Evaluation. In: Findings of the Association for Computational Linguistics: EACL 2023, 2023, Dubrovnik. Findings of the Association for Computational Linguistics: EACL 2023. Stroudsburg: Association for Computational Linguistics, 2023. p. 1806-1818.
-
JINDAL, I. ; RADEMAKER, A. ; ULEWICZ, M. ; LINH, H. ; NGUYEN, H. ; TRAN, K. ; ZHU, H. ; LI, Y. . Universal Proposition Bank 2.0. In: The 13th Language Resources and Evaluation Conference, 2022, Marseille. Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022. p. 1700-1711.
-
MCCRAE, J. ; GOODMAN, M. W. ; BOND, Francis ; RADEMAKER, Alexandre ; RUDNICKA, Ewa ; COSTA, L. M. . The GlobalWordNet Formats: Updates for 2020. In: 11th Global Wordnet Conference, 2021, Potchefstroom. Proceedings of the 11th Global Wordnet Conference, 2021. p. 91-99.
-
NUNES, ANA LUIZA ; RADEMAKER, Alexandre ; ALENCAR, LEONEL FIGUEIREDO DE . Utilizando um dicionário morfológico para expandir a cobertura lexical de uma gramática do português no formalismo HPSG. In: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana, 2021, Brasil. Anais do XIII Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL 2021). Porto Alegre: Sociedade Brasileira de Computação. p. 11-18.
-
SILVA, WELLINGTON JOSÉ LEITE DA ; RADEMAKER, Alexandre ; ALENCAR, LEONEL FIGUEIREDO DE . Explorando a revisão de corpora por meio da comparação de regras gramaticais em padrões sintáticos. In: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana, 2021, Brasil. Anais do XIII Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL 2021). Porto Alegre: Sociedade Brasileira de Computação, 2021. p. 19-28.
-
IWAMOTO, RAN ; KANAYAMA, HIROSHI ; RADEMAKER, Alexandre ; OHKO, TAKUYA . A Universal Dependencies Corpora Maintenance Methodology Using Downstream Application. In: Proceedings of the Third Workshop on Computational Typology and Multilingual NLP, 2021, Online. Proceedings of the Third Workshop on Computational Typology and Multilingual NLP. Stroudsburg: Association for Computational Linguistics, 2021. p. 23-31.
-
OLIVEIRA, H. G. ; AGUIAR, F. S. S. ; RADEMAKER, Alexandre . On the utility of word embeddings for enriching OpenWordnet-PT. In: 3rd Conference on Language, Data and Knowledge (LDK), 2021, Zaragoza. Proceedings of 3rd Conference on Language, Data and Knowledge (LDK). Dagstuhl: Schloss Dagstuhl, 2021. v. 93. p. 1-13.
-
MCCRAE, J. P. ; RADEMAKER, Alexandre ; RUDNICKA, Ewa ; BOND, Francis . English WordNet 2020: Improving and Extending a WordNet for English Using an Open-Source Methodology. In: LREC 2020 Workshop on Multimodal Wordnets (MMW2020), 2020, Marseille. Proceedings of the LREC 2020 Workshop on Multimodal Wordnets (MMW2020), 2020. p. 14-19.
-
TESSAROLLO, Alexandre ; RADEMAKER, Alexandre . Inclusion of Lithological terms (rocks and minerals) in The Open Wordnet for English. In: https://www.aclweb.org/anthology/2020.mmw-1.6/, 2020, Marseille. Proceedings of the LREC 2020 Workshop on Multimodal Wordnets (MMW2020), 2020. p. 33-38.
-
COUTINHO, L. R. ; ZULINI, J. P. ; RADEMAKER, Alexandre . The Construction of a Corpus from the Brazilian Historical-Biographical Dictionary. In: PROPOR - Computational Processing of the Portuguese Language, 2020, Evora. Computational Processing of the Portuguese Language, 2020. p. 109-117.
-
RADEMAKER, A. ; LIMA, G. ; FIORINI, S. R. ; SILVA, Viviane Torres da . Deductive Verification of LLM Generated SPARQL Queries. In: LREC-COLING 2024: Workshop on Deep Learning and Linguistic Linked Data (DLnLD), 2020, Torino. Proceedings of the Workshop on DLnLD: Deep Learning and Linked Data @ LREC-COLING-2024. Torino: ELRA and ICCL, 2024. v. 1. p. 45-52.
-
HIGUCHI, Suemi ; SANTOS, D. ; FREITAS, C. ; RADEMAKER, Alexandre . Distant reading Brazilian politics. In: The Digital Humanities in the Nordic Countries 4th Conference, 2019, Copenhagen. Proceedings of the Digital Humanities in the Nordic Countries 4th Conference, 2019. v. 1. p. 190-200.
-
ALKMIM, B. ; HAEUSLER, Edward Hermann ; RADEMAKER, Alexandre . Utilizando iALC para Formalizar a Legislação Brasileira. In: 19th Brazilian Logic Conference, 2019, João Pessoa. Book of Abstracts 19th Brazilian Logic Conference (EBL). Campina Grande: EDUFCG, 2019. p. 69-70.
-
OLIVEIRA, H. G. ; RADEMAKER, Alexandre . Fast developing of a Natural Language Interface for a Portuguese WordNet: Leveraging on Sentence Embeddings. In: The 10th Global Wordnet Conference, 2019, Wroclaw. Proceedigns of the 10th Global Wordnet Conference, 2019. v. 1.
-
MCCRAE, J. ; RADEMAKER, Alexandre ; BOND, Francis ; RUDNICKA, Ewa ; FELLBAUM, Christiane . English WordNet 2019 ? An Open-Source WordNet for English. In: The 10th Global Wordnet Conference, 2019, Wroclaw. Proceedigns of the 10th Global Wordnet Conference, 2019.
-
DE PAIVA, Valeria ; RADEMAKER, Alexandre . Portuguese Manners of Speaking. In: The 10th Global Wordnet Conference, 2019, Wroclaw. Proceedigns of the 10th Global Wordnet Conference, 2019.
-
RADEMAKER, Alexandre ; Cuconato, Bruno ; CID, Alessandra ; TESSAROLLO, Alexandre . Completing the Princeton Annotated Gloss Corpus Project. In: The 10th Global Wordnet Conference, 2019, Wroclaw. Proceedigns of the 10th Global Wordnet Conference, 2019.
-
RADEMAKER, Alexandre ; TESSAROLLO, Alexandre ; PEASE, Adam ; MUNIZ, H. . Extending SUMO to Geological Times. In: 12th Seminar on Ontology Research in Brazil, 2019, Porto Alegre. Proceedings of the 12th Seminar on Ontology Research in Brazil, 2019.
-
ANTUNES, C. R. ; RADEMAKER, A. ; ABEL, M. . A Category-theoretic Approach for the Detection of Conservativity Violations in Ontology Alignments. In: 12th Seminar on Ontology Research in Brazil, 2019, Porto Alegre. Proceedings of the 12th Seminar on Ontology Research in Brazil. Porto Alegre, 2019.
-
COUTINHO, L. R. ; ZULINI, J. P. ; RADEMAKER, A . On the first steps for the construction of a Corpus from the Brazilian Historical-Biographical Dictionary. In: International Conference on the Computational Processing of Portuguese, 2019, Evora. Proceedings of the 14th International Conference on the Computational Processing of Portuguese. Evora, 2020.
-
HIGUCHI, Suemi ; FREITAS, C. ; Cuconato, Bruno ; RADEMAKER, A. . Text Mining for History: First Steps on Building a Large Dataset. In: 11th Edition of the Language Resources and Evaluation Conference, 2018, Miyazaki. Proceedings of 11th Edition of the Language Resources and Evaluation Conference. Paris: European Language Resources Association (ELRA), 2018. v. 1. p. 3754-3760.
-
COELHO, L. M. R. ; RADEMAKER, A. ; CHALUB, F. ; DE PAIVA, Valeria . Towards Temporal Reasoning in Portuguese. In: The 6th Workshop on Linked Data in Linguistics, 2018, Miyazaki. Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018. Paris: European Language Resources Association, 2018. p. 7-12.
-
MUNIZ, H. ; CHALUB, F. ; RADEMAKER, A. ; DE PAIVA, Valeria . Extending Wordnet to Geological Times. In: The 9th Global WordNet Conference, 2018, Singapore. Proceedings of the 9th Global WordNet Conference. Weesp: Global Wornet Association, 2018. p. 1-8.
-
DELFINO, P. ; Cuconato, Bruno ; PASSOS, G. P. ; ZAVERUCHA, G. ; RADEMAKER, A. . Using OpenWordnet-PT for Question Answering on Legal Domain. In: The 9th Global WordNet Conference, 2018, Singapore. Proceedings of the 9th Global WordNet Conference. Weesp: Global Wornet Association, 2018. p. 1-8.
-
RADEMAKER, A . Challenges for Information Extraction in the Oil and Gas Domain. In: XI Seminar on Ontology Research in Brazil, 2018, São Paulo. Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies, 2018. p. 11-25.
-
CID, Alessandra ; RADEMAKER, Alexandre ; Cuconato, Bruno ; DE PAIVA, Valeria . Linguistic Legal Concept Extraction in Portuguese. In: 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018), 2018, Groningen. Proceedings of the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018). Groningen: IOF Press, 2018. v. 313. p. 181-185.
-
ALKMIM, B. ; HAEUSLER, Edward Hermann ; RADEMAKER, Alexandre . Utilizing iALC to Formalize the Brazilian OAB Exam. In: EXplainable AI in Law Workshop (XAILA 2018), 2018, Groningen. Proceedings of the EXplainable AI in Law Workshop (XAILA 2018), 2018. v. 1. p. 42-50.
-
DE PAIVA, Valeria ; RADEMAKER, Alexandre ; COELHO, L. M. R. ; CHALUB, F. ; Melo, Gerard . OpenWordNet-PT: Taking Stock. In: Fifth Workshop on Natural Language and Computer Science, 2018, Oxford. Proceedings of Fifth Workshop on Natural Language and Computer Science, 2018. v. 1.
-
RADEMAKER, Alexandre ; CHALUB, F. ; FREITAS, C. . Two corpus based experiments with the Portuguese and English Wordnets. In: Challenges for WordNets, 2017, Galway. Proceedings of the Challenges for Wordnets Workshop, 2017.
-
MUNIZ, H. ; CHALUB, F. ; RADEMAKER, Alexandre . CL-CONLLU: Dependências Universais em Common Lisp. In: V Workshop de Iniciação Científica em Tecnologia da Informação e da Linguagem Humana, 2017, Uberlândia. Anais do V Workshop de Iniciação Científica em Tecnologia da Informação e da Linguagem Humana, 2017. v. 1.
-
DELFINO, P. ; Cuconato, Bruno ; HAEUSLER, Edward Hermann ; RADEMAKER, A. . Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. In: The 30th international conference on Legal Knowledge and Information Systems, 2017, Luxembourg. Proceedings of the 30th International Conference on Legal Knowledge and Information Systems ? JURIX 2017. Amsterdam: IOS Press, 2017. p. 89-94.
-
DE PAIVA, Valeria ; CHALUB, F. ; COELHO, L. M. R. ; RADEMAKER, Alexandre . Making Virtue Of Necessity: a Verb Lexicon. In: 12th International Conference, PROPOR 2016, 2016, Tomar. Computational Processing of the Portuguese Language, 2016. v. 1. p. 271-282.
-
CHALUB, F. ; COELHO, L. M. R. ; RADEMAKER, Alexandre ; DE PAIVA, Valeria . Semantic Links For Portuguese. In: 10th edition of the Language Resources and Evaluation Conference, 2016, Portoro?. LREC 2016, Tenth International Conference on Language Resources and Evaluation. Portoro?: European Language Resources Association, 2016.
-
COELHO, L. M. R. ; DE PAIVA, Valeria ; CHALUB, F. ; RADEMAKER, Alexandre . Gentle With Gentilics. In: Joint Second Workshop On Language and Ontologies (LangOnto2) and Terminology and Knowledge Structures (TermiKS) - LREC 2016, 2016, Portoro?. LREC 2016, Tenth International Conference on Language Resources and Evaluation. Portoro?: European Language Resources Association, 2016.
-
DE PAIVA, Valeria ; COELHO, L. M. R. ; OLIVEIRA, H. G. ; RADEMAKER, Alexandre ; FREITAS, C. ; SIMOES, A. . An Overview of Portuguese WordNets. In: Global WordNet Conference 2016, 2016, Bucharest. Proceedings of the Eighth Global WordNet Conference. Bucharest: University of IASI, 2016. p. 74-81.
-
RADEMAKER, Alexandre ; CHALUB, F. . Verifying Integrity Constraints of a RDF-based WordNet. In: Global WordNet Conference 2016, 2016, Bucharest. Proceedings of the Eighth Global WordNet Conference. Bucharest: University of IASI, 2016. p. 309-316.
-
FREITAS, C. ; COELHO, L. M. R. ; RADEMAKER, Alexandre . Anotação de corpus com a OpenWordNet-PT: um exercício de desambiguação. In: 10th Brazilian Symposium in Information and Human Language Technology, 2015, Natal. Proceedings of the 10th Brazilian Symposium in Information and Human Language Technology. Natal: UFRN, 2015. p. 51-55.
-
COELHO, L. M. R. ; CHALUB, F. ; DE PAIVA, Valeria ; FREITAS, C. ; RADEMAKER, Alexandre . Seeing Is Correcting: Curating Lexical Resources Using Social Interfaces. In: Annual Meeting of the Association for Computational Linguistics (ACL), 2015, Beijing. Proceedings of the 4th Workshop on Linked Data in Linguistics (LDL-2015) joint with 53rd ACL and the 7th IJCNLP. Beijing: Association for Computational Linguistics and Asian Federation of Natural Language Processing, 2015. p. 20-29.
-
COELHO, L. M. R. ; RADEMAKER, Alexandre . HAREM and Klue: How to Compare Two Tagsets for Named Entities Annotation. In: 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 - Named Entities Workshop (NEWS 2015), 2015, Beijing. Proceedings of the Fifth Named Entity Workshop, joint with 53rd ACL and the 7th IJCNLP. Beijing: Association for Computational Linguistics, 2015. p. 43-49.
-
RADEMAKER, Alexandre ; DE PAIVA, Valeria ; Melo, Gerard ; COELHO, L. M. R. ; GATTI, M. A. C. . OpenWordNet-PT: A Project Report. In: 7th Global WordNet Conference, 2014, Tartu. Proceedings of 7th Global WordNet Conference. Tartu: University of Tartu, 2014. v. 1. p. 383-390.
-
COELHO, L. M. R. ; RADEMAKER, Alexandre ; DE PAIVA, Valeria ; Melo, Gerard . Embedding NomLex-BR Nominalizations Into OpenWordnet-PT. In: 7th Global WordNet Conference, 2014, Tartu. Proceedings of 7th Global WordNet Conference. Tartu: University of Tartu, 2014. v. 1. p. 378-382.
-
DE PAIVA, Valeria ; COELHO, L. M. R. ; RADEMAKER, Alexandre ; Melo, Gerard . NomLex-PT: A Lexicon of Portuguese Nominalizations. In: 9th Language Resources and Evaluation Conference LREC 2014, 2014, Reykjavik. Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14), 2014. v. 1. p. 2851-2858.
-
RADEMAKER, Alexandre ; HIGUCHI, Suemi ; OLIVEIRA, D. A. B. . A Linked Open Data Architecture For Contemporary Historical Archives. In: 3rd Edition of the Semantic Digital Archives Workshop, 2013, Valetta. Proceedings of 3rd Edition of the Semantic Digital Archives Workshop. Valleta: CEUR-WS, 2013. v. 1. p. 52-64.
-
DE PAIVA, Valeria ; RADEMAKER, Alexandre . Revisiting a Brazilian WordNet. In: Global Wornet Conference 2012, 2012, Matsue. Proceedings of Global Wordnet Conference. Matsue: Global Wordnet Association, 2012. v. 1. p. 100-104.
-
DE PAIVA, Valeria ; RADEMAKER, Alexandre ; Melo, Gerard . OpenWordNet-PT: An Open Brazilian WordNet for Reasoning. In: 24th International Conference on Computational Linguistics, 2012, Mumbai. Proceedings of COLING 2012: Demonstration Papers. Mumbai: The COLING 2012 Organizing Committee, 2012. v. 1. p. 353-360.
-
SOUZA, Renato Rocha ; HIGUCHI, Suemi ; RADEMAKER, Alexandre ; SÁ, Asla Medeiros ; Coelho, Flávio Codeço ; SILVA, Moacyr Alvim Horta Barbosa da . Portal Semântico do CPDOC. In: IV Encontro de Bases de Dados Sobre Informações Arquivísticas, 2011, Rio de Janeiro. Anais do IV Encontro de Bases de Dados Sobre Informações Arquivísticas, 2011. v. 1.
-
HAEUSLER, Edward Hermann ; DE PAIVA, Valeria ; RADEMAKER, Alexandre . Intuitionistic Description Logic and Legal Reasoning. In: 22nd International Workshop on Database and Expert Systems Applications, 2011, Toulouse. 2011 Database and Expert Systems Applications, DEXA, International Workshops. Toulouse: IEEE Computer Society, 2011. p. 345-349.
-
HAEUSLER, Edward Hermann ; DE PAIVA, Valeria ; Rademaker, A. . Using Intuitionistic Logic as a basis for Legal Ontologies. In: 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques, 2010, Fiesole (Florence). Proceedings of the 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques. Fiesole (Florence): European University Institute, 2010. v. 605. p. 69-76.
-
DE PAIVA, Valeria ; HAEUSLER, Edward Hermann ; RADEMAKER, A . Constructive Description Logic, Hybrid-Style. In: HyLo 2010. Hybrid Logic and Applications Workshop in FLOCS 2010, 2010, Edinburgh. Pre-Proceedings of International Workshop on Hybrid Logic and Applications. Edinburgh, 2010.
-
HAEUSLER, Edward Hermann ; DE PAIVA, Valeria ; RADEMAKER, Alexandre . Intuitionistic Logic and Legal Ontologies. In: The 23rd International Conference on Legal Knowledge and Information Systems, 2010, Liverpool. Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press, 2010. v. 223. p. 155-158.
-
Cafezeiro, Isabel ; Viterbo, José ; RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann ; ENDLER, M. . Designing ubiquitous applications: proposal of a specification environment. In: International Conference on Autonomic Computing, 2009, Barcelona. MUCS '09: Proceedings of the 6th international workshop on Managing ubiquitous communications and services. New York, NY, USA: ACM, 2009. p. 17-26.
-
HAEUSLER, Edward Hermann ; RADEMAKER, A . Is it important to explain a theorem? A case study on UML and ALCQI. In: ETHECOM - ER-2009, 2009, Gramado. Advances in Conceptual Modeling - Chalenging Perspectives. Berlin: Springer-Verlag, 2009. v. 5833. p. 33-44.
-
RADEMAKER, A. ; HAEUSLER, Edward Hermann . Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach. In: Brazilian Symposium on Artificial Intelligence, 2008, Salvador. Advances in Artificial Intelligence - SBIA 2008. Heidelberg: Springer Berlin, 2008. v. 5249. p. 167-176.
-
Cafezeiro, Isabel ; HAEUSLER, Edward Hermann ; RADEMAKER, A. . Ontology and Context. In: 5th IEEE Workshop on Context Modeling and Reasoning CoMoRea co-Located with PerCom2008, 2008, Hong Kong. IEEE International Conference on Pervasive Computing and Communications. Los Alamitos, CA, USA: IEEE Computer Society, 2008. v. 0. p. 417-422.
-
Cafezeiro, Isabel ; Viterbo, José ; RADEMAKER, A. ; HAEUSLER, Edward Hermann ; ENDLER, M. . A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. In: Third International Symposium, ISoLA 2008, 2008, Porto Sani. Third International Symposium, ISoLA 2008, Proceddings. Heidelberg: Springer Berlin, 2008. v. 17. p. 519-533.
-
SILVA, G. M. H. ; RADEMAKER, A. ; VASCONCELOS, D. R. ; AMARAL, F. N. ; MARTINS, Carlos Bazilio ; COSTA, Vaston ; HAEUSLER, Edward Hermann . Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study. In: Third Australasian Ontology Workshop, 2007, Queensland. Third Australasian Ontology Workshop (AOW 2007). Sydney: Australian Computer Society, 2007. v. 85.
-
AMARAL, F. N. ; MARTINS, Carlos Bazilio ; SILVA, G. M. H. ; Rademaker, A. ; HAEUSLER, Edward Hermann . An Ontology-based Approach to the Formalization of Information Security Policies. In: VORTE - Workshop on Vocabularies, Ontologies, and Rules for the Enterprise, 2006, Hong Kong. VORTE - Workshop on Vocabularies, Ontologies, and Rules for the Enterprise, 2006. v. 1.
-
RADEMAKER, A ; BRAGA, Christiano ; SZTAJNBERG, Alexandre . A Rewriting Semantics for a Software Architecture Description Language. In: Simpósio Brasileiro de Métodos Formais, SBMF, 2005, Recife. Anais do Simpósio Brasileiro de Métodos Formais de 2004. Recife. v. 130. p. 249-265.
-
RADEMAKER, Alexandre ; CHALUB, F. ; HAEUSLER, Edward Hermann . Investigations on the axiomatic presentation of ALC Description Logic and its formalization in Lean. In: The 6th World Congress and School on Universal Logic, 2018, Vichy. Handbook of the 6th World Congress and School on Universal Logic. Vichy, France: Vichy University Campus, 2018. p. 453-455.
-
RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann . How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. In: 3rd Workshop on Generalizations of Truth‑Functionality (NAT@Logic 2015), 2015, Natal. Book of Abstracts - NAT@Logic. Natal: Department of Informatics and Applied Mathematics, UFRN, 2015. p. 72-74.
-
COELHO, L. M. R. ; RADEMAKER, Alexandre . An Overview on Portuguese Nominalisation. In: TYTLES: TYpe Theory and LExical Semantics in 27th European Summer School in Logic, Language and Information (ESSLLI 2015), 2015, Barcelona. Proceedings of TYpe Theory and LExical Semantics Workshop. Barcelona: LIRMM, 2015.
-
HAEUSLER, Edward Hermann ; RADEMAKER, Alexandre . On How Kelsenian Jurisprudence And Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes In Legal Ontologies. In: 5th World Congress and School On Universal Logic, 2015, Istanbul. Handbook Of the 5th World Congress and School On Universal Logic. Istanbul: Istanbul University, 2015. p. 208-307.
-
GATTI, M. A. C. ; RADEMAKER, Alexandre ; LEMES, D. ; CAVALIN, P. ; PINHANEZ, C. ; PAULA, R. . Visual Analytics of Sentiment Trends in Social Media Streams: The 2013 Confederation Cup Case. In: INFOVIS 2013, 2013, Atlanta. Proceedings of VIS 2013, 2013.
-
RADEMAKER, A. ; HAEUSLER, Edward Hermann ; PEREIRA, L. C. . On The Proof Theory of ALC. In: Brazilian Logic Conference, 2008, Paraty. Proceedings of XV Brazilian Logic Conference. Campinas: Unicamp, 2008.
-
SILVA, Viviane Torres da ; FERREIRA, Rodrigo N. B. ; SOUZA, João Pedro G. ; GIRO, Ronaldo ; PAZ, Carmen ; RADEMAKER, Alexandre ; VALNISIO, Gabriela . Dataset of Reticular Materials? Syntheses Automatically Created from PDFs by using LLMs. In: American Chemical Society Fall 2024, 2024, Denver. Abstracts from ACS Fall 2024. Denver: ACS, 2024.
-
Cuconato, Bruno ; RADEMAKER, Alexandre . A computational grammar for Portuguese. In: International Conference on Computational Processing of Portuguese (PROPOR), 2018, Canela. Demos Proceedings of the International Conference on Computational Processing of Portuguese (PROPOR), 2018. v. 1.
-
RADEMAKER, Alexandre ; CHALUB, F. ; Cuconato, Bruno ; MUNIZ, H. ; PASSOS, G. P. . CL-CONLLU Universal Dependencies in Common Lisp. In: The International Conference on Computational Processing of Portuguese (PROPOR), 2018, Canela. Demos Proceedings of the International Conference on Computational Processing of Portuguese (PROPOR), 2018. v. 1.
-
CHALUB, F. ; RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann . What is the SUO-KIF semantics?. In: XVIII Brazilian Logic Conference, 2017, Pirenópolis. XVIII BraBzilian Logic Conference: Book of Abstracts, 2017.
-
CONLON, M. ; TRIGGS, G. ; ILIK, V. ; LAWLESS, T. ; HOLMES, K. ; BLAKE, J. ; FRIEDMAN, P. ; JAVED, M. ; HAENDEL, M. ; WHITE, M. ; EICHMANN, D. ; PORTER, S. ; SZOMSZOR, M. ; SERAFIN, J. ; ESSAID, S. ; RADEMAKER, A ; BRUSH, M. ; GUZMAN, K. . OpenVIVO: A VIVO Anyone Can Join. In: Force 11 Conference 2016, 2016, Oregon. Force 2016 Conference. Oregon: Force 11, 2016.
-
RADEMAKER, Alexandre ; BRAUNER, D. F. ; MUNSBERG, G. ; PEIL, A. . Using OpenWordnet-PT to Improve VIVO. In: VIVO Conference 2015, 2015, Cambridge. VIVO 2015 Conference. Cambridge: VIVO Project, 2015. p. 2-2.
-
HAEUSLER, Edward Hermann ; BENEVIDES, M. ; RADEMAKER, Alexandre ; DE PAIVA, Valeria . On the Computational Complexity of the Intuitionistic Hybrid Modal Logics. In: 17th Brazilian Logic Conference, 2014, Petrópolis. Proceedings of 17th Brazilian Logic Conference. Petrópolis, 2014. v. 1. p. 54-54.
-
Branco, A.C.S. ; DARGAM, F. ; RADEMAKER, A ; SOUZA, Renato Rocha . Applying Ontology in the Analysis of a DSS Research Collaboration Network. In: 25th European Conference on Operational Research, EURO XXV, 2012, Vilnius. Proceedings of the 25th European Conference on Operational Research, EURO XXV, 2012. v. 1.
-
HAEUSLER, Edward Hermann ; DE PAIVA, Valeria ; RADEMAKER, A. . Intuitionistic Description Logic and Legal Reasoning. In: The XVI Brazilian Logic Conference, 2011, Petrópolis. XVI The Brazilian Logic Conference. Petrópolis, 2011.
-
RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann . An Intuitionistic ALC Description Default Logic. 2014. (Apresentação de Trabalho/Congresso).
-
RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann . An Intuitionisticaly based Description Logic. 2014. (Apresentação de Trabalho/Congresso).
-
RADEMAKER, Alexandre ; ILIK, V. . Using OAI-PMH protocol for Data Ingest into VIVO Instances. 2014. (Apresentação de Trabalho/Conferência ou palestra).
-
RADEMAKER, Alexandre . Overview of Tools used to Ingest Data into VIVO at FGV. 2014. (Apresentação de Trabalho/Conferência ou palestra).
-
RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann . Semantic Lattes and VIVO Project. 2013. (Apresentação de Trabalho/Congresso).
-
RADEMAKER, A . Connecting OpenWordNet-PT and SUMO Ontology. 2012. (Apresentação de Trabalho/Comunicação).
-
RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann . Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach. 2008. (Apresentação de Trabalho/Congresso).
-
Cafezeiro, Isabel ; HAEUSLER, Edward Hermann ; RADEMAKER, A. . Ontology and Context. 2008. (Apresentação de Trabalho/Congresso).
-
Rademaker, A. ; BRAGA, Christiano ; SZTAJNBERG, Alexandre . A rewriting semantics for a software architecture description language. 2004. (Apresentação de Trabalho/Simpósio).
Outras produções
Rademaker, A. ; CHALUB, F. . Reformulação dos processos editoriais da Revista Brasileira de Economia (RBE). 2002.
RADEMAKER, A ; HAEUSLER, Edward Hermann . SALC - A Sequent Calculus for ALC. 2010.
RADEMAKER, A. ; FONSECA, Erick Rocha . R Package - Dicionários IBGE. 2010.
RADEMAKER, A ; HAEUSLER, Edward Hermann . Lattes2RDF. 2009.
RADEMAKER, A ; HAEUSLER, Edward Hermann . The Hemera theorem prover. 2008.
Rademaker, A. ; CHALUB, F. . Portal da Escola de Pós-Graduação em Economia da FGV. 2002.
Rademaker, A. ; DUTRA, J. C. ; CHALUB, F. ; SILVA, Viviane Torres da . Simulador de Leilões para realização de experimentos pelo Centro de Economia Experimental da EPGE/FGV. 2001.
Rademaker, A. . Timesheet da Divisão de Tecnologia da Informação. 2001.
Rademaker, A. ; MARTELLO FILHO, Sérgio Pedro . Sistema de Controle de Projetos. 2000.
Rademaker, A. . Sistema Pré-SCE de controle de cursos e conveniados da FGV. 2000.
Rademaker, A. . Sistema de controle de Cursos para o Centro de Educação Continuada da FGV/EPGE. 1999.
Rademaker, A. ; MARTELLO FILHO, Sérgio Pedro ; ISSLER, J. V. . Volatility Watch. 1998.
RADEMAKER, A. . Parecer sobre pôsteres enviados para o II EUSEER (Encontro Nacional de Usuários do Sistema Eletrônico de Editoração de Revistas). 2012.
RADEMAKER, A . Introdução ao R. 2011. (Curso de curta duração ministrado/Outra).
Projetos de pesquisa
-
2019 - 2021
Desenvolvimento e aplicação de técnicas de linguística computacional para a extração de informações do DHBB, Descrição: criação de datasets e ferramentas para processamento do Português. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Alexandre Rademaker - Coordenador / Suemi Higuchi - Integrante / Jaqueline Porto Zulini - Integrante / Daniel Bonato - Integrante / Ana Luiza - Integrante / Wellington Silva - Integrante / Igor Patrício Michels - Integrante., Financiador(es): Fundação Getúlio Vargas - Bolsa.
-
2019 - 2020
Sistema de Identificação de Correspondências de Argumentos e Precedentes entre Diferentes Documentos Judiciais, Descrição: Em conjunto com a Escola de Direito da FGV, neste projeto treinamos um sistema para extração de informações de decisões judiciais, em especial, identificação de: doutrinas; precedentes; referências legislativas e pessoas.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Alexandre Rademaker - Coordenador / Ivar Hartmann - Integrante / Fernando Correia - Integrante / José Luis Nunes - Integrante / Felipe Araújo - Integrante / Guilherme Almeida - Integrante / Kaline Santos - Integrante.
-
2017 - 2018
Desenvolvimento da gramática computacional livre do Português: PorGram, Descrição: Desenvolvimento da Gramática Computacional do Português no framework HPSG. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Alexandre Rademaker - Coordenador / Bruno Cuconato - Integrante / Leonel Figueiredo de Alencar - Integrante.
-
2010 - Atual
OpenWordNet-PT: a open Wordnet for Portuguese, Descrição: Desenvolvimento de uma Wordnet Aberta para o Português. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Alexandre Rademaker - Coordenador / Henrique Muniz - Integrante / Bruno Cuconato - Integrante / Yuri Luis Faria - Integrante / Fredson Aguiar - Integrante.
-
2007 - 2009
MIST: representação, mineração e recuperação de imagens, som e texto, Descrição: O projeto MIST resulta da identificação de oportunidades para aplicação de técnicas computacionais que envolvem matemática avançada no âmbito da FGV (Fundação Getúlio Vargas). Considerando um objetivo maior de apropriar tecnologia para os diferentes propósitos das unidades da FGV, o acervo histórico do CPDOC-FGV foi identificado como um rico laboratório de pesquisa. O rico acervo do CPDOC-FGV permite a implementação e experimentação de diferentes técnicas e métodos computacionais avançados que envolvem extração, processamento e visualização de informação que proporcionam resultados práticos de entendimento simples e que, adicionalmente, agregam valor ao acervo. O projeto MIST engloba três frentes de trabalho focados nos diferentes tipos de dados: Imagens, Áudio e Texto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Alexandre Rademaker - Integrante / Renato Rocha Souza - Integrante / Paulo Cezar Pinto Carvalho - Integrante / Cristina Nader Vasconcelos - Integrante / Asla Medeiros e Sá - Coordenador / Moacyr Alvim Horta Barbosa da Silva - Integrante., Financiador(es): Fundação Getúlio Vargas - Auxílio financeiro.
-
2005 - 2008
ANUBIS: Um Framework para Análise Formal de Sistemas Multi-Agente para Segurança da Informação, Descrição: O Projeto ANUBIS se propõe a investigar o desenvolvimento de agentes com componente de segurança. Em contatos com empresas de segurança da informação, um estudo de caso foi delineado como piloto para o projeto. O bolsista deverá estudar a viabilidade da utilização de Lógicas de Descrição ("Description Logics", ou DLs) para a modelagem conceitual dos componentes do sistema de governança de segurança objeto do estudo de caso. No campo teórico, os objetivos incluem o desenvolvimento de possíveis extensões de DLs para lidar com aspectos específicos e não-convencionais do domínio de aplicação, como temporalidade, probabilidade, e cooperação entre múltiplos agentes, por exemplo. No campo aplicado, o bolsista deverá utilizar as extensões de DL desenvolvidas nas atividades teóricas para modelar a gestão de governança e conhecimento no âmbito de segurança da informação, realizando inferências, através de alguma ferramenta formal adequada, com o objetivo de analisar os conceitos envolvidos e suas possíveis implementações (inclusive a implementação do estudo de caso). Este aspecto do trabalho do bolsista inclui ainda o desenvolvimento de uma ontologia específica para o domínio de governança de segurança, para ilustrar a expressividade das extensões de DLs definidas e a aplicabilidade das ferramentas utilizadas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Alexandre Rademaker - Integrante / Fernando Náufel do Amaral - Integrante / Carlos Bazílio Martins - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Edward Hermann Haeusler - Coordenador., Financiador(es): Modulo Security S.A. - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2
-
2005 - 2007
Integração de Ontologias e Contextos, Descrição: Formalização e Plataforma aplicadas a Computação Ubíqua. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Alexandre Rademaker - Integrante / Isabel Cafezeiro - Integrante / Edward Hermann Haeusler - Coordenador.
Projetos de desenvolvimento
-
2015 - 2016
Projeto VIVO: implementação da Rede de Pesquisa Aplicada da FGV, Descrição: projeto de implementação da rede de pesquisadores, uma base de dados integrada sobre os pesquisadores da FGV. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Alexandre Rademaker - Coordenador / Goret Pereira Paulo - Integrante.
Prêmios
2014
Best Paper: In Use Track, 13th International Semantic Web Conference - ISWC - Riva del Garda - Trentino, Italy.
Histórico profissional
Endereço profissional
-
ESCOLA DE MATEMÁTICA APLICADA. , Praia de Botafogo, 190, 3 andar, Flamengo, 22250-040 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 37995917, URL da Homepage:
Experiência profissional
2012 - Atual
IBM Research - BrazilVínculo: Celetista, Enquadramento Funcional: Researcher, Carga horária: 40
Atividades
-
12/2012
Pesquisa e desenvolvimento, IBM Research.,Linhas de pesquisa
2009 - 2009
Stanford Research InstituteVínculo: Internship, Enquadramento Funcional: International Fellow, Carga horária: 40, Regime: Dedicação exclusiva.
1996 - 1996
Universidade Federal do Rio de JaneiroVínculo: Outro, Enquadramento Funcional: Estagiário, Carga horária: 20
1996 - 1996
Universidade Federal do Rio de JaneiroVínculo: Outro, Enquadramento Funcional: Monitoria, Carga horária: 8
Atividades
-
04/1996 - 07/1996
Outras atividades técnico-científicas , Instituto de Matemática, Instituto de Matemática.,Atividade realizada, monitoria da disciplina de introdução à programação.
-
01/1996 - 04/1996
Estágios , Núcleo de Computação Eletrônica, Cursos de Pós Graduação Lato Sensu.,Estágio realizado, Administração da rede de computadores.
2010 - Atual
Fundação Getúlio VargasVínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 20
2007 - 2010
Fundação Getúlio VargasVínculo: Formal labor contract, Enquadramento Funcional: Professor Horista, Carga horária: 6
2001 - 2010
Fundação Getúlio VargasVínculo: Formal labor contract, Enquadramento Funcional: Analista de Sistemas Pleno, Carga horária: 40
Outras informações:
Supervisão do Núcleo de Computação da Escola de Pós-Graduação em Economia realizando as seguintes atividades: desenvolvimento e manutenção dos sistemas de informação da Escola; supervisão, desenvolvimento de manutenção do website; participação em pesquisas na área de economia com o desenvolvimento de rotinas e bases de dados; gerência do suporte técnico à usuário, gestão dos recursos computacionais da Escola (controle de contábil dos custos de informática).
1997 - 2001
Fundação Getúlio VargasVínculo: Formal labor contract, Enquadramento Funcional: Programador Pleno, Carga horária: 40, Regime: Dedicação exclusiva.
1996 - 1997
Fundação Getúlio VargasVínculo: Formal labor contract, Enquadramento Funcional: Programador Junior, Carga horária: 40
Outras informações:
no Núcleo de Apoio ao Usuário (NAU) da Divisão de Técnologia da Informação (DITI) foram realizadas tarefas de suporte técnico aos usuários, treinamentos, desenvolvimento de sistemas departamentais, pesquisa e implantação de sistemas e novas tecnologias.
1995 - 1996
Fundação Getúlio VargasVínculo: Outro, Enquadramento Funcional: Estagiário, Carga horária: 20
Atividades
-
01/2012
Ensino, Graduação em Matemática Aplicada, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação
-
03/2011
Ensino, Modelagem Matemática da Informação, Nível: Pós-Graduação,Disciplinas ministradas, Estrutura de Dados e Algoritmos, Introdução à Teoria das Categorias e Lógica
-
01/2010
Pesquisa e desenvolvimento, ESCOLA DE MATEMÁTICA APLICADA.,Linhas de pesquisa
-
01/2007 - 01/2016
Ensino, Ciências Econômicas, Nível: Graduação,Disciplinas ministradas, Computação Aplicada, Introdução à Computação, Introdução à Computação I, Introdução à Computação II
-
01/2005 - 01/2010
Outras atividades técnico-científicas , Instituto Brasileiro de Economia, Instituto Brasileiro de Economia.,Atividade realizada, Gerência dos processos de publicação da Revista Brasileira de Economia.
-
01/2001 - 01/2010
Serviços técnicos especializados , Instituto Brasileiro de Economia, Escola de Pós-Graduação em Economia.,Serviço realizado, Suporte as atividades de pesquisa: preparação de bases de dados, otimizações de rotinas de cálculo e análise de dados.
-
05/1997 - 01/2010
Direção e administração, Instituto Brasileiro de Economia, Escola de Pós-Graduação em Economia.,Cargo ou função, Supervisor do Núcleo de Informática.
-
01/2008 - 07/2008
Ensino, Administração, Nível: Graduação,Disciplinas ministradas, Tecnologia da Informação
-
02/1997 - 03/1997
Treinamentos ministrados , Escola Brasileira de Administração Pública.,Treinamentos ministrados, Microsoft Office para o curso de MBA Técnologico
2008 - 2013
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Celetista, Enquadramento Funcional: Professor Horista, Carga horária: 4
2005 - 2013
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Colaborator, Enquadramento Funcional: Colaborador, Carga horária: 6
Outras informações:
Membro do laboratório TecMF - Tecnologia em Métodos formais do Departamento de Informática da PUC-Rio.
Atividades
-
06/2005
Pesquisa e desenvolvimento, Reitoria, Laboratório Tecnologia em Métodos Formais.,Linhas de pesquisa
-
07/2008 - 12/2012
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Autômatos, Lógica para Computação, Lógica
2008 - 2008
Microsoft CorporationVínculo: Estágio, Enquadramento Funcional: Estágio, Carga horária: 40
Outras informações:
Programa para alunos de doutorado de Estágio de 3 meses na Microsoft Research. Trabalhei com SMT sob supervisão de Leonardo Moura e Nikolaj Bjørner.
Site do projeto que participei:
http://research.microsoft.com/projects/Z3/
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Alexandre Rademaker e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?