TY - THES DP - http://www.theses.fr/2016ANGE0026 TI - Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX AU - Beatrix, Christopher A3 - Stephan, Igor PY - 2016 N1 - Thèse de doctorat Informatique et applications Angers 2016 N1 - 2016ANGE0026 UR - http://www.theses.fr/2016ANGE0026/document ER -