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

5 May 2014

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

3 / 3 papers shown

Title
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing Claire Lefèvre Christopher Béatrix I. Stéphan Laurent Garcia LRM 146 57 0 26 Mar 2015
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau Ian Horrocks Markus Krotzsch C. Kupke Despoina Magka B. Motik Zhe Wang LRM 38 130 0 04 Feb 2014
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints Jean-François Baget M. Mugnier 47 137 0 09 Jun 2011