Contributions to the Scientific Community


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

S52SAT 2017-02-04 C++


S52SAT is a SAT-based approach for solving the modal logic S5 satisfiability problem. It is able to give in output the S5-model, when the formula is satisfiable.
The source code, written in C++ is accessible here: http://www.cril.univ-artois.fr/~montmirail/s52SAT/

View Project