Picture for Fabien Garreau

Fabien Garreau

Extending Acyclicity Notions for Existential Rules (\emph{long version})

Add code
Jul 25, 2014
Figure 1 for Extending Acyclicity Notions for Existential Rules (\emph{long version})
Figure 2 for Extending Acyclicity Notions for Existential Rules (\emph{long version})
Figure 3 for Extending Acyclicity Notions for Existential Rules (\emph{long version})
Viaarxiv icon

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

Add code
Jul 25, 2014
Figure 1 for Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Figure 2 for Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Figure 3 for Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Viaarxiv icon