Contributions to the Scientific Community

Planning to S5 2018-03-20 C++

Planning to S5 is translating a PDDL instance with uncertainties about the initial state into an InToHyLo instance that should be considered as a modal logic S5 problem

View Project

MoSaiC 2017-08-19 C++

MoSaiC is a RECAR approach for solving the Modal Logic K Satisfiability Problem.
The solver, written in C++, is accessible here:

View Project

Tweet Classifier 2017-06-05 Java

Learning-ception: I wanted to learn how to use Machine Learning and Natural Language Processing in practice.This program can classify tweets on a topic (passed in argument) on 3 levels ''positive'', ''negative'' and ''neutral''.

View Project