Christopher Béatrix

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

Igor Stéphan, Laurent Garcia, Claire Lefèvre, 2017, Theory Pract. Log. Program..

Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX. (Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver)

Christopher Béatrix, 2016 .

Justifications and Blocking Sets in a Rule-Based Answer Set Computation

Igor Stéphan, Laurent Garcia, Claire Lefèvre, 2016, ICLP.