Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Eric Grégoire
Eric Grégoire
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Informatique ubiquitaire : techniques de curage d'informations perverties
Extensions of tractable classes for propositional satisfiability
Contributions aux approches logiques de l'argumentation en intelligence artificielle
Méthodes permettant la prédominance de connaissances subsumées
Techniques algorithmiques pour l'extraction de formules minimales inconsistantes
Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes
Utilisation de techniques polynomiales pour la résolution pratique d'instances de SAT
Utilisation et extensions de l'algorithmique pour SAT pour la résolution de différents problèmes d'intelligence artificielle
Contributions aux techniques de fusion de connaissances en intelligence artificielle
Résolution de procesus décisionnels de Markov totalement observables de grandes tailles
Problèmes de satisfaction de contraintes : étude de mécanismes d'abstraction et de construction de hiérarchies
Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du formalisme
Contributions aux techniques de révision de croyances en intelligence artificielle : aspects sémantiques et calculatoires
De la satisfaisabilité à la compilation de bases de connaissances propositionnelles