See all my research works

Brief on my thesis

The aim of my thesis is to design an effective resolution tool to test the consistency of logical formulas in modal logic problem that we call Modal-SAT.
One approach is to study the various ways to reduce the problem to a SAT problem for which there are effective solvers in practice: for example SAT, SMT or ASP.
Another approach is to design a solver "ad hoc" for Modal-SAT adapting the principles and techniques of the best solvers mentioned above.

The evaluation of solvers requires a diverse set of benchmarks, ideally representing actual Modal-SAT problems (as opposed to randomly generated problems or academic examples).
An important aspect of my thesis will be to collect and classify Modal SAT problems available in the community and create new ones.

Keywords: Modal Logic, Artificial Intelligence, Automated Reasoning, Decision Procedures, SAT, ATP, CEGAR, RECAR

Activities related to research

Ph.D Thesis

International paper(s) with proceedings

National journal paper(s) with proceedings

National paper(s) with proceedings

Master Thesis

Modal Logic
related books

Handbook of Modal Logic Modal Logic: An Introduction - Chellas Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015


KR-2018, Tempe, Arizona, USA
IA²-2017, Lyon, France
IJCAI-2017, Melbourne, Australia
Doctoriales-2017, Marcq-en-Baroeul, France
AAAI-2017, San Francisco, California, USA