Quentin Vitalis

According to our database, Quentin Vitalis authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017