Alexandre Rademaker
Formação:
-
Pontifícia Universidade Católica do Rio de Janeiro
Informática | Doutorado | 2005 - 2010
-
Universidade Federal Fluminense
Computação | Mestrado | 2003 - 2005
-
Fundação Getúlio Vargas
MBA e-Business | Especialização | 2001 - 2002
-
Universidade Federal do Rio de Janeiro
Informática | Graduação | 1995 - 2001
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:
(64.29% artigos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Modelação da valência verbal numa gramática computacional do português no formalismo HPSG | 10.14393/DL52-v16n4a2022-6 | 2022 |
| A faster and less aggressive algorithm for correcting conservativity violations in ontology alignments | 10.3233/ao-210243 | 2021 |
| MorphoBr: an open source large-coverage full-form lexicon for morphological analysis of Portuguese | 10.17851/1983-3652.11.3.1-25 | 2018 |
| A linked open data architecture for the historical archives of the Getulio Vargas Foundation | 10.1007/s00799-015-0147-1 | 2015 |
| As Wordnets do Português | 2015 | |
| A scalable architecture for real-time analysis of microblogging data | 10.1147/JRD.2015.2408911 | 2015 |
| Specifying ubiquitous systems through the algebra of contextualized ontologies | 10.1017/S0269888914000046 | 2014 |
| Semantic Traffic Diagnosis with STAR-CITY: Architecture and Lessons Learned from Deployment in Dublin, Bologna, Miami and Rio | 2014 | |
| Constructive Description Logics Hybrid-Style | 10.1016/j.entcs.2011.06.010 | 2011 |
| Using Intuitionistic Logic as a Basis for Legal Ontologies | 2011 | |
| Using Intuitionistic Logic as a Basis for Legal Ontologies | 2010 | |
| Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning | 10.3217/jucs-016-20-3016 | 2010 |
| On The Proof Theory of ALC | 2008 | |
| A Rewriting Semantics for a Software Architecture Description Language | 10.1016/j.entcs.2005.03.018 | 2005 |
Eventos:
(14.47% eventos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Deductive Verification of LLM Generated SPARQL Queries | 2024 | |
| Semantic Parsing and Sense Tagging the Princeton WordNet Gloss Corpus | 2023 | |
| Documenting the Open Multilingual Wordnet | 2023 | |
| ULKB Logic: A HOL-based framework for reasoning over knowledge graphs | 2023 | |
| Extracting higher-order logic formulas from English sentences | 2023 | |
| Universal Proposition Bank 2.0 | 2022 | |
| The GlobalWordNet Formats: Updates for 2020 | 2021 | |
| Utilizando um dicionário morfológico para expandir a cobertura lexical de uma gramática do português no formalismo HPSG | 10.5753/stil.2021.17779 | 2021 |
| Explorando a revisão de corpora por meio da comparação de regras gramaticais em padrões sintáticos | 10.5753/stil.2021.17780 | 2021 |
| A Universal Dependencies Corpora Maintenance Methodology Using Downstream Application | 10.18653/v1/2021.sigtyp-1.3 | 2021 |
| On the utility of word embeddings for enriching OpenWordnet-PT | 2021 | |
| English WordNet 2020: Improving and Extending a WordNet for English Using an Open-Source Methodology | 2020 | |
| Inclusion of Lithological terms (rocks and minerals) in The Open Wordnet for English | 2020 | |
| The Construction of a Corpus from the Brazilian Historical-Biographical Dictionary | 2020 | |
| Deductive Verification of LLM Generated SPARQL Queries | 2020 | |
| Distant reading Brazilian politics | 2019 | |
| Utilizando iALC para Formalizar a Legislação Brasileira | 2019 | |
| Fast developing of a Natural Language Interface for a Portuguese WordNet: Leveraging on Sentence Embeddings | 2019 | |
| English WordNet 2019 ? An Open-Source WordNet for English | 2019 | |
| Portuguese Manners of Speaking | 2019 | |
| Completing the Princeton Annotated Gloss Corpus Project | 2019 | |
| Extending SUMO to Geological Times | 2019 | |
| A Category-theoretic Approach for the Detection of Conservativity Violations in Ontology Alignments | 2019 | |
| On the first steps for the construction of a Corpus from the Brazilian Historical-Biographical Dictionary | 2019 | |
| Text Mining for History: First Steps on Building a Large Dataset | 2018 | |
| Towards Temporal Reasoning in Portuguese | 2018 | |
| Extending Wordnet to Geological Times | 2018 | |
| Using OpenWordnet-PT for Question Answering on Legal Domain | 2018 | |
| Challenges for Information Extraction in the Oil and Gas Domain | 2018 | |
| Linguistic Legal Concept Extraction in Portuguese | 10.3233/978-1-61499-935-5-181 | 2018 |
| Utilizing iALC to Formalize the Brazilian OAB Exam | 2018 | |
| A computational grammar for Portuguese | 2018 | |
| CL-CONLLU Universal Dependencies in Common Lisp | 2018 | |
| OpenWordNet-PT: Taking Stock | 2018 | |
| Investigations on the axiomatic presentation of ALC Description Logic and its formalization in Lean | 2018 | |
| Two corpus based experiments with the Portuguese and English Wordnets | 2017 | |
| What is the SUO-KIF semantics? | 2017 | |
| CL-CONLLU: Dependências Universais em Common Lisp | 2017 | |
| Passing the Brazilian OAB Exam: Data Preparation and Some Experiments | 10.3233/978-1-61499-838-9-89 | 2017 |
| Making Virtue Of Necessity: a Verb Lexicon | 2016 | |
| Semantic Links For Portuguese | 2016 | |
| Gentle With Gentilics | 2016 | |
| An Overview of Portuguese WordNets | 2016 | |
| Verifying Integrity Constraints of a RDF-based WordNet | 2016 | |
| OpenVIVO: A VIVO Anyone Can Join | 2016 | |
| Anotação de corpus com a OpenWordNet-PT: um exercício de desambiguação | 2015 | |
| How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies | 2015 | |
| Using OpenWordnet-PT to Improve VIVO | 2015 | |
| Seeing Is Correcting: Curating Lexical Resources Using Social Interfaces | 2015 | |
| HAREM and Klue: How to Compare Two Tagsets for Named Entities Annotation | 2015 | |
| An Overview on Portuguese Nominalisation | 2015 | |
| On How Kelsenian Jurisprudence And Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes In Legal Ontologies | 2015 | |
| OpenWordNet-PT: A Project Report | 2014 | |
| Embedding NomLex-BR Nominalizations Into OpenWordnet-PT | 2014 | |
| On the Computational Complexity of the Intuitionistic Hybrid Modal Logics | 2014 | |
| NomLex-PT: A Lexicon of Portuguese Nominalizations | 2014 | |
| Visual Analytics of Sentiment Trends in Social Media Streams: The 2013 Confederation Cup Case | 2013 | |
| A Linked Open Data Architecture For Contemporary Historical Archives | 2013 | |
| Revisiting a Brazilian WordNet | 2012 | |
| OpenWordNet-PT: An Open Brazilian WordNet for Reasoning | 2012 | |
| Applying Ontology in the Analysis of a DSS Research Collaboration Network | 2012 | |
| Intuitionistic Description Logic and Legal Reasoning | 2011 | |
| Portal Semântico do CPDOC | 2011 | |
| Intuitionistic Description Logic and Legal Reasoning | 10.1109/DEXA.2011.46 | 2011 |
| Using Intuitionistic Logic as a basis for Legal Ontologies | 2010 | |
| Constructive Description Logic, Hybrid-Style | 2010 | |
| Intuitionistic Logic and Legal Ontologies | 10.3233/978-1-60750-682-9-155 | 2010 |
| Designing ubiquitous applications: proposal of a specification environment | 2009 | |
| Is it important to explain a theorem? A case study on UML and ALCQI | 2009 | |
| Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach | 10.1007/978-3-540-88190-2_22 | 2008 |
| Ontology and Context | 10.1109/PERCOM.2008.21 | 2008 |
| A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing | 10.1007/978-3-540-88479-8_37 | 2008 |
| On The Proof Theory of ALC | 2008 | |
| Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study | 2007 | |
| An Ontology-based Approach to the Formalization of Information Security Policies | 2006 | |
| A Rewriting Semantics for a Software Architecture Description Language | 10.1016/j.entcs.2005.03.018 | 2005 |