Programmation par ensemble-réponse (ASP) et application à la ...

Introducing dynamical background in knowledge reasoning ? Model correction and curation. Dynamics: qualitative model of steady-state shifts. Potential ...

Implicit Hitting Set Algorithms for Reasoning Beyond NP

Synthèse automatique d'architectures tolérantes aux fautes

Méthodes qualitatives pour la construction et l'analyse des réseaux ...

Thèse de Doctorat

Conflict Handling in Product Configuration using Answer Set ...

A Scalable Reasoning and Learning Approach for Neural-Symbolic ...

On Minimal Corrections in ASP

Master 1 Informatique - Programmation logique par contraintes - IRIF

corrigé 15 juin 2005 Exercice 1 : Nombres de Hamming (15 points)

Exercice 4 ? L'arbre généalogique

LeJoueur : un programme de General Game Playing pour les jeux à ...

dl2asp: Implementing Default Logic via Answer Set Programming

Fomesoutra