-
Decidable Approximations of Sets of Descendants and Sets of Normal forms
Colloque avec actes et comité de lecture. -
A note on BIC in mixed-effects models
International audience -
Acquisition de connaissances et raisonnement en logique propositionnelle
We study the algorithmics of two central problems in Artificial Intelligence, for knowledge bases represented, in particular, by propositional Horn, bijunctive,... -
Approximation of singularly perturbed linear hyperbolic systems
International audience
