Alexandre Rademaker

Login: arademaker

Company: IBM Research and EMAp/FGV

Location: Rio de Janeiro

Bio: null

Blog: http://arademaker.github.com

Blog: http://arademaker.github.com

Member of

1. EMap
2. Global WordNet Association
3. OpenWordnet-PT

Repositories

alc-lean

Formalization of ALC Logic in LEAN Prover

arademaker.github.com

homepage and blog

cbabel

A Rewriting Semantics for the CBABEL Architecture Description Language

ceur-make

A set of scripts to semi-automatically generate workshop proceedings for CEUR-WS.org

cl-jupyter

null

cl-yaml

YAML parser for Common Lisp

cqpweb

null

CS-FP

Course on Computational Semantics

dicionariosIBGE

Dicionários de dados para as pesquisas PNAD, PME e POF do IBGE.

ecco

a diff tool for OWL 2 ontologies

ED-2017-2

Curso ED Mestrado FGV/EMAp

ED-2018.T2

ED Course FGV/EMAp

emap-techreport

LaTeX files for EMAP techreport

hemera

Yet another simple theorem prover

homebrew

:beer: The missing package manager for OS X.

IR-2011

Curso de Introdução ao R - 2011

krr

Knowledge Representation and Reasoning

KRR-2017.1

Knowledge Representation and Reasoning Class 2017.1

lattes-to-bibtex

A web interface for convert Lattes files to BibTeX

ledger

Double-entry accounting system with a command-line reporting interface

oai-client

CL OAI-Client and XSL Transformations

paip

Code of PAIP book with adaptations

qualis

Datasets about CAPES Qualis (Rank of Academic Journals)

SALC

A Sequent Calculus for ALC (Description Logic)

SDA-2013

article submitted for SDA-2013 (temporary repo)

SLattes

Semantic Lattes

solr

Allegro Common Lisp interface to Solr

sumo

Suggested Upper Merged Ontology (SUMO)

ud-annotatrix

null

ud_matrix

null

vivo-2014-apps

VIVO Apps&Tools workshop presentation

vivo-2014-oai

Using OAI-PMH protocol for Data Ingest into VIVO Instances

VIVO-languages

Files that enable VIVO (supported by Vitro) to operate in languages beyond American English.

Commits To