Christopher Béatrix

ASPeRiX, a first-order forward chaining approach for answer set computing*

Pascal Nicolas, Claire Lefèvre, Laurent Garcia, 2009, Theory and Practice of Logic Programming.

Under Consideration for Publication in Theory and Practice of Logic Programming Asperix, a First Order Forward Chaining Approach for Answer Set Computing *

Laurent Garcia, Claire Lefèvre, I. Stéphan, 2022 .