Deep neural semantic parsing: translating from natural language into SPARQL

Partial Independence in the Probabilistic Satisfiability Problem

Probabilistic Answer Set Programming

Deep active learning using Monte Carlo Dropout

Clinical reports information retrieval

Semantics modulo satisfiability with applications: function representation, probabilities...

Distribution's analysis of operations's number of SAT solvers

Analyzing natural language inference from a rigorous point of view

A Multi-Strategy Tableau Prover

Using neural attention-based algorithms to automate court decisions multilabel c...