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

Possibilistic Answer Set Programming.

plrsf performs syntactic merging over ASP programs

Transition based Dependency parsing with reinforcement learning. With backtracking.

A sample JAX-RS application

Data scrappers for bibliovid

Backend (Spring) for Mozen