Alexandre Rademaker
TitleCited byYear
Universal Dependencies 2.1
J Nivre, Ž Agić, L Ahrenberg, L Antonsen, MJ Aranzabe, M Asahara, ...
Openwordnet-pt: An open brazilian wordnet for reasoning
V Paiva, A Rademaker, G Melo
COLING 2012, 2012
Semantic traffic diagnosis with star-city: Architecture and lessons learned from deployment in dublin, bologna, miami and rio
F Lécué, R Tucker, S Tallevi-Diotallevi, R Nair, Y Gkoufas, G Liguori, ...
International Semantic Web Conference, 292-307, 2014
A rewriting semantics for a software architecture description language
A Rademaker, C Braga, A Sztajnberg
Electronic Notes in Theoretical Computer Science 130, 345-377, 2005
An ontology-based approach to the formalization of information security policies
FN Do Amaral, C Bazilio, GMH Da Silva, A Rademaker, EH Haeusler
2006 10th IEEE International Enterprise Distributed Object Computing …, 2006
A proof theory for description logics
A Rademaker
Springer Science & Business Media, 2012
A formal framework for modeling context-aware behavior in ubiquitous computing
I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler
International Symposium On Leveraging Applications of Formal Methods …, 2008
Ontology and context
I Cafezeiro, EH Haeusler, A Rademaker
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
Revisiting a Brazilian wordnet
V de Paiva, R Commerce, A Rademaker
GWC 2012 6th International Global Wordnet Conference, 100, 2012
As wordnets do Português
HG Oliveira, V de Paiva, C Freitas, A Rademaker, L Real, A Simões
Oslo Studies in Language 7 (1), 2015
Intuitionistic Logic and Legal Ontologies.
EH Haeusler, V De Paiva, A Rademaker
JURIX, 155-158, 2010
NomLex-PT: A Lexicon of Portuguese Nominalizations.
V De Paiva, L Real, A Rademaker, G De Melo
LREC, 2851-2858, 2014
Constructive description logics hybrid-style
V de Paiva, EH Haeusler, A Rademaker
Electronic Notes in Theoretical Computer Science 273, 21-31, 2011
Using intuitionistic logic as a basis for legal ontologies
EH Haeusler, V De Paiva, A Rademaker
Proceedings of the 4th workshop on legal ontologies and artificial …, 2010
Specifying ubiquitous systems through the algebra of contextualized ontologies
I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler
The Knowledge Engineering Review 29 (2), 171-185, 2014
A linked open data architecture for the historical archives of the Getulio Vargas Foundation
A Rademaker, DAB Oliveira, V de Paiva, S Higuchi, AM e Sá, M Alvim
International Journal on Digital Libraries 15 (2-4), 153-167, 2015
OpenWordNet-PT: a project report
A Rademaker, V De Paiva, G De Melo, L Real, M Gatti
Proceedings of the Seventh Global Wordnet Conference, 383-390, 2014
Intuitionistic description logic and legal reasoning
EH Haeusler, V de Paiva, A Rademaker
2011 22nd International Workshop on Database and Expert Systems Applications …, 2011
Embedding nomlex-br nominalizations into openwordnet-pt
A Rademaker, V De Paiva, G de Melo, LMR Coelho
Proceedings of the seventh global wordnet conference, 378-382, 2014
On the proof theory of ALC
A Rademaker, EH Haeusler, LC Pereira
Proceedings of the XV Brazilian Logic Conference, State University of …, 2008
The system can't perform the operation now. Try again later.
Articles 1–20