Belief revision in ACTL using bounded model checking

Modeling contexts for automatic learning applied to morphosyntactic analysis

Automatic classification of economic-featured documents for legal defense

Um resolvedor SAT paralelo com BSP sobre uma grade

Neural models for regression on time series

Deep neural semantic parsing: translating from natural language into SPARQL

The detection of irony2019s conversational implicatures in social media through machine...

Partial Independence in the Probabilistic Satisfiability Problem

Probabilistic Answer Set Programming

Deep active learning using Monte Carlo Dropout