ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing

26 March 2015

Papers citing "ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing"

7 / 7 papers shown

Title
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding Francesco Calimeri Giovambattista Ianni Francesco Pacenza S. Perri J. Zangari LRM ReLM 54 6 0 22 Dec 2024
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming Richard Comploi-Taupe G. Friedrich Konstantin Schekotihin A. Weinzierl 13 1 0 19 Sep 2022
Incremental maintenance of overgrounded logic programs with tailored simplifications Giovambattista Ianni Francesco Pacenza J. Zangari 24 9 0 06 Aug 2020
Partial Compilation of ASP Programs Bernardo Cuteri Carmine Dodaro Francesco Ricca P. Schüller 17 13 0 24 Jul 2019
Modeling Variations of First-Order Horn Abduction in Answer Set Programming P. Schüller 22 23 0 30 Dec 2015
$Extending Acyclicity Notions for Existential Rules (\emph{long version})$ Extending Acyclicity Notions for Existential Rules (\emph{long version}) Jean-François Baget Fabien Garreau M. Mugnier Swan Rocher LRM 45 33 0 25 Jul 2014
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation Jean-François Baget Fabien Garreau M. Mugnier Swan Rocher LRM 41 19 0 05 May 2014