Extending Acyclicity Notions for Existential Rules. - Jean-François Baget; Fabien Garreau; Marie-Laure Mugnier; Swan Rocher (ECAI, 2014)

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation. - Jean-François Baget; Fabien Garreau; Marie-Laure Mugnier; Swan Rocher (CoRR, 2014)

Extending Acyclicity Notions for Existential Rules ( emph{long version}). - Jean-François Baget; Fabien Garreau; Marie-Laure Mugnier; Swan Rocher (CoRR, 2014)

∃-ASP. - Fabien Garreau; Laurent Garcia; Claire Lefèvre; Igor Stéphan (JOWO@IJCAI, 2015)

Extension d'ASP pour couvrir des fragments DL traitables : étude théorique et implémentation. (Extension of ASP to cover treatable DL fragments : theorical study and implementation). - Fabien Garreau (2016)

Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin. - Jean-François Baget; Laurent Garcia; Fabien Garreau; Claire Lefèvre; Swan Rocher; Igor Stéphan (Ann. Math. Artif. Intell., 2018)

Answer Set Programming et interrogation. - Fabien Garreau; Laurent Garcia; Claire Lefèvre; Igor Stéphan (Rev. d'Intelligence Artif., 2018)

Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning. - Mohamed Ben Ellefi; Pierre Drap; Laurent Garcia; Fabien Garreau; Claire Lefèvre; Odile Papini; Igor Stéphan; Éric Würbel (GCAI, 2019)