Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. - Stathis Delivorias; Haralampos Hatzikirou; Rafael Peñaloza; Dirk Walther 002 (ACRI, 2014)

Revisiting Grounded Circumscription in Description Logics. - Stathis Delivorias; Sebastian Rudolph (RR, 2016)

On the k-Boundedness for Existential Rules. - Stathis Delivorias; Michel Leclère; Marie-Laure Mugnier; Federico Ulliana (RuleML+RR, 2018)

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

Characterizing Boundedness in Chase Variants. - Stathis Delivorias; Michel Leclère; Marie-Laure Mugnier; Federico Ulliana (Theory Pract. Log. Program., 2021)