Stathis Delivorias

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 5

Top Topics

Knowledge Representation Formalisms

Reasoning Services

Description Logics

Top Venues

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, France (PHD)

Education History

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, France

PHD

Publications

Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
Characterizing Boundedness in Chase Variants. Theory Pract. Log. Program. 21 (1) (2021)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
Characterizing Boundedness in Chase Variants. CoRR (2020)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
On the k-Boundedness for Existential Rules. RuleML+RR (2018)
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
On the k-Boundedness for Existential Rules. CoRR (2018)
Stathis Delivorias, Sebastian Rudolph
Revisiting Grounded Circumscription in Description Logics. RR (2016)
Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza, Dirk Walther
Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. ACRI (2014)