Explore projects

MinCoverPetri is a command-line application for the fast computation of the minimal coverability set of place/transition Petri nets using the monotone pruning algorithm

Backend (Spring) for Mozen

Possibilistic Answer Set Programming.

Data scrappers for bibliovid

Bolsonaro project of QARMA non-permanents: deforesting random forest using OMP.

plrsf performs syntactic merging over ASP programs

Extended Label Image Annotation Tool called Labelimge "labelImg.py" with variant cross-platforms required at least Python 3.6, opencv, and has been tested with PyQt 4.8, additionally achieves the object Detection & Multi-Tracking.

Transition based Dependency parsing with reinforcement learning. With backtracking.