Stathis Delivorias

On the k-Boundedness for Existential Rules

Marie-Laure Mugnier, Michel Leclère, Federico Ulliana, 2018, RuleML+RR.

Revisiting Grounded Circumscription in Description Logics

Sebastian Rudolph, Stathis Delivorias, 2016, RR.

Chase Variants & Boundedness. (Caractérisation des Bornes de Chaînage Avant en Règles Existentielles (Datalog+))

Stathis Delivorias, 2019 .

Chase Variants & Boundedness

Stathis Delivorias, 2019 .

Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics

Rafael Peñaloza, Dirk Walther, Haralambos Hatzikirou, 2014, ACRI.

Characterizing Boundedness in Chase Variants

Marie-Laure Mugnier, Federico Ulliana, Stathis Delivorias, 2021, Theory Pract. Log. Program..