Régis Alenda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity Electronic Notes in Theoretical Computer Science	2016-08-05	Paper
Nested sequent calculi for normal conditional logics Journal of Logic and Computation	2016-04-28	Paper
Nested sequent calculi for conditional logics Logics in Artificial Intelligence	2012-09-21	Paper
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models Logics in Artificial Intelligence	2012-09-21	Paper
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces Lecture Notes in Computer Science	2011-07-01	Paper
Tableau calculus for the logic of comparative similarity over arbitrary distance spaces Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Tableau calculi for \(\mathcal{CSL}\) over minspaces Computer Science Logic	2010-09-03	Paper
Comparative concept similarity over minspaces: axiomatisation and tableaux calculus Lecture Notes in Computer Science	2009-12-01	Paper

Research outcomes over time

This page was built for person: Régis Alenda