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: http://www.cril.univ-artois.fr/~montmirail/mosaic/

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