A One-Pass Tree-Shaped Tableau for Defeasible LTL

Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak. A One-Pass Tree-Shaped Tableau for Defeasible LTL. In Carlo Combi, Johann Eder, Mark Reynolds 0001, editors, 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. Volume 206 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.