Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX / Christopher Beatrix ; sous la direction de Igor Stephan

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Logique du premier ordre

Answer Set Programming (informatique)

Solveurs (logiciels)

Classification Dewey : 004

Stephan, Igor (Directeur de thèse / thesis advisor)

Mugnier, Marie-Laure (Président du jury de soutenance / praeses)

Besnard, Philippe (1958-.... ; chercheur en informatique, mathématicien) (Rapporteur de la thèse / thesis reporter)

Le Berre, Daniel (1972-....) (Rapporteur de la thèse / thesis reporter)

Lefèvre, Claire (1966-....) (Membre du jury / opponent)

Garcia, Laurent (Membre du jury / opponent)

Université d'Angers (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire d'Etudes et de Recherche en Informatique d'Angers (Laboratoire associé à la thèse / thesis associated laboratory)