Alexandre Rademaker

Sort by

Neueste

Am beliebtesten

Verifying Integrity Constraints of a RDF-based WordNet

An overview of Portuguese WordNets

On the Computational Complexity of Intuitionistic Hybrid Modal Logic

OpenWordnet-PT: A Project Report

Embedding NomLex-BR nominalizations into OpenWordnet-PT

A linked open data architecture for contemporary historical archives

Processamento de Linguagem Natural em textos da História Comptemporânea do Brasil: o projeto OpenWordnet-PT

On the proof theory for Description Logics

OpenWN-PT: a Brazilian Wordnet for all

A database approach to monitoring the quality of information in RDF stores

Intuitionistic Description Logic for Legal Reasoning

First Order Logic

Is it important to explain a theorem? A case study in UML and ALCQI