Christopher Béatrix

According to our database, Christopher Béatrix authored at least 3 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

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

Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia

Theory Pract. Log. Program., 2017

2016

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

PhD thesis, 2016

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

Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016