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:

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:

View Project