Home Research Teaching Miscellaneous

Software

NoHR - Nova Hybrid Reasoner

More details...

DLP - Dynamic Logic Programming

More details...

EVOLP - Evolving Logic Programming

More details...

ERASP - Enhancing Recommender Systems with Answer-Set Programming

More details...

P-Just Dynamic Logic Programming under the P-Justified Updates (superseeded by the Dynamic Stable Models, to be found here)

Download...

RIEM Optical Music Recognition

Download...