Hide content and notifications from this user.
Contact Support about this user's behavior.
Course on Computational Semantics
homepage and blog
Curso ED Mestrado FGV/EMAp
a diff tool for OWL 2 ontologies
Formalization of ALC Logic in LEAN Prover
Knowledge Representation and Reasoning Class 2017.1
Code of PAIP book with adaptations
YAML parser for Common Lisp
Double-entry accounting system with a command-line reporting interface
Knowledge Representation and Reasoning
🍺 The missing package manager for OS X.
A set of scripts to semi-automatically generate workshop proceedings for CEUR-WS.org
Files that enable VIVO (supported by Vitro) to operate in languages beyond American English.
Using OAI-PMH protocol for Data Ingest into VIVO Instances
CL OAI-Client and XSL Transformations
Dicionários de dados para as pesquisas PNAD, PME e POF do IBGE.
VIVO Apps&Tools workshop presentation
Allegro Common Lisp interface to Solr
article submitted for SDA-2013 (temporary repo)
A Rewriting Semantics for the CBABEL Architecture Description Language
Datasets about CAPES Qualis (Rank of Academic Journals)
LaTeX files for EMAP techreport
A web interface for convert Lattes files to BibTeX
Curso de Introdução ao R - 2011
A Sequent Calculus for ALC (Description Logic)
Yet another simple theorem prover