Partenaires
Accueil du site > Plan du site
Plan du site
Rubrique : Actualités
Articles et sous-rubriques :
- Journée Portes Ouvertes (JPO)
- Olympiades des métiers
- Rencontre CRIL-NII : "Reasoning about Dynamic Constraint Networks"
- SUM 2011
- Valorisation : le projet Pajero en partenariat avec Horizontal software financé par Oseo
Section : News
Articles and subsections :
- AERES evaluation report of CRIL
- CRIL-NII Collaborative Meeting on Reasoning about Dynamic Constraint Networks
- ICTAI 2010
- Ongoing seminars
- SUM 2011
Section : Research
Articles and subsections :
- CSP Competition 2008 results
- ManySAT wins SAT Race 2008
- Philippe Besnard (IRIT CNRS) - La formalisation de l’argumentation se réduirait à la théorie des graphes ? (in French)
- SAT4J in Eclipse 3.4
-
Old seminars
- 2001 seminars (in French)
- 2002 seminars (in French)
- 2003 seminars (in French)
- 2004 seminars (in French)
- 2005 seminars (in French)
- 2006 seminars (in French)
- A. Herzig (IRIT, CNRS) - The dynamic logic of propositional control
- B. Trouvilliez (CRIL / Onyme SARL) - Analyse de traitements sémantiques pour la fouille d’opinions par clustering (in French)
- David Mercier (LGI2A - Bethune) - Fusion de décisions postales dans le cadre du modèle des croyances transférables (in Fench)
- Denis Bouyssou (LAMSADE - Paris 9) - Doit-on croire le classement de Shanghai ? (in French)
- Didier Dubois (IRIT) - Incertitude en représentation des connaissances et raisonnement (in French)
- Elise Bonzon (IRIT) - Modélisation des interactions entre agents rationnels : les jeux booléens (in French)
- F. Manyà (IIIA, CSIC, Espagne) - MAX-SAT
- Farid Nouioua (LIPN - Paris 13) - Quelle est la cause de l’accident ? : une approche non monotone à base de normes (in French)
- Frédéric Koriche (LIRMM - Montpellier) - Apprentissage et raisonnement « online » (in French)
- G. Aucher (University of Luxembourg) - Parler des actions en logique épistémique dynamique (in French)
- G. Pigozzi (University of Luxembourg) - Consensus in Abstract Argumentation
- G. Pulvermuller (DR-18, CNRS) - Valorisation
- Guillaume Aucher (Université du Luxembourg) - Une perspective interne sur le changement de croyances (in French)
- H. Prade (IRIT, CNRS) - Donner une forme logique à l’analogie (in French)
- Henri Prade - Pensons bipolaire! (in French)
- K. Tabia (LINA/COD, Université de Nantes) - Manipulation de modèles graphiques pour l’inférence avec des informations incertaines et le traitement d’informations causales
- M. Kourjieh (IRIT, Université Toulouse 3) - Analyse logique et vérification symbolique des protocoles cryptographiques
- Mohand Ou Idir Khnemmoudj (LIPN - Paris 13) - Contributions à la résolution de CSP, Max-CSP et WCSP (in French)
- Monday, September 17th - Chattrakul Sombattheera (Mahasarakham University, Thailand)
- Olivier Roussel - Résultats de la compétition CSP 2008 et informations sur les compétitions SAT09 et PB09 (in French)
- Philippe Besnard (IRIT CNRS) - La formalisation de l’argumentation se réduirait à la théorie des graphes ? (in French)
- R. Pino Pérez (Universidad de Los Andes, Venezuela) - Fusion logique des états épistémiques (in French)
- S. Jabbour (INRIA-Microsoft Joint Centre, Orsay) - Parallel Satisfiability
- Salem Benferhat - Interventions et dynamique des croyances dans les réseaux causaux (in French)
- Sébastien Konieczny - Opérateurs d’Amélioration (in French)
- Seminars (January to May 2007, in French)
- Sylvie Coste - Oublier l’incohérence pour restaurer la cohérence (in French)
- T. de Lima (CRIL, Univ. Artois) - Le problème du décor en logique modale (in French)
- T. de Lima (CRIL, Université d’Artois) - The logic of acceptance
- T. de Lima (CRIL, Univesité d’Artois) - A tableaux method for public announcement logic
- T. Schaub (Universität Postdam, Alemagne) - Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning
- Ulrich Junker (ILOG) - Explications et Préférences pour l’Analyse des Règles de Metier (in French)
- Vincent Dubois - Espaces de versions et ensembles approximatifs : présentation des espaces de version approximatifs (in French)
- W. Ouerdane (LAMSADE, Université Paris Dauphine) - Multiple Criteria Decision Aiding: a dialectical perspective
-
Other web sites
Rubrique : Présentation
Articles et sous-rubriques :
Section : Presentation
Articles and subsections :
Rubrique : Recrutements
Articles et sous-rubriques :
Rubrique : Annuaire
Articles et sous-rubriques :
Section : Directory
Articles and subsections :
Section : Coming to CRIL
Articles and subsections :
Rubrique : Venir au CRIL
Articles et sous-rubriques :
Rubrique : Planning salle de réunion
Articles et sous-rubriques :
Rubrique : Axes de recherche
Articles et sous-rubriques :
Section : Research axes
Articles and subsections :
Section : PhD Theses and HDR
Articles and subsections :
- "Algorithmique des Treillis de Concepts : Application à la Fouille de Données" — PhD thesis of Huaiguo Fu (in French)
- "Contribution à la fouille de données : Règles d’association et interactivité au sein d’un processus d’extraction de connaissances dans les données" — PhD thesis of Olivier Couturier (in French)
- "Contribution à l’étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung" — PhD thesis of Caroline Devred (in French)
- "Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive" — PhD thesis of Patricia Everaere (in French)
- "Contributions aux techniques de fusion de connaissances en intelligence artificielle" — PhD thesis of Ahcène Sofiane (in French)
- "De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d’un prouveur QBF" — PhD thesis of Florian Letombe (in French)
- "Extraction des connaissances basée sur les treillis de Galois: Méthodes et applications" — HDR of Engelbert Mephu Nguifo (in French)
- "Gestion des Incohérences dans les Systèmes de Contrôle d’Accès" — PhD thesis of Rania El Baida (in French)
- "Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT" — PhD thesis of Richard Ostrowski (in French)
- "Tenter la simplicité en satisfaction de contraintes" — HDR, Christophe Lecoutre (in French)
- "Utilisation et extensions de l’algorithmique pour SAT pour la résolution de différents problèmes d’intelligence artificielle" — PhD thesis of David Ansart (in French)
- Étude du raisonnement temporel basé sur la résolution de contraintes - PhD Thesis Mahmoud Saade (in French)
- Contraintes qualitatives pour le raisonnement sur le temps et l’espace - Habilitation à Diriger des Recherches de Jean-François Condotta - in French
- Contributions à l’alignement d’ontologies OWL par agrégation de similarités - PhD thesis of Sami Zghal (in French)
- Contributions à la résolution générique des problèmes de satisfaction de contraintes - PhD Thesis of Julien Vion
- De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées - PhD Thesis from Said Jabbour (in French)
- Exploiter les conflits pour réduire l’effort de recherche en satisfaction de contraintes - PhD Thesis of Sébastien Tabary (in French)
- From Possibilistic Similarity Measures to Possibilistic Decision Trees - PhD Thesis of Ilyes Jenhani (in French)
- Fusion d’informations incertaines sans commensurabilité des échelles de référence - PhD Thesis of Julien Rossit
- Gestion de l’incertitude et codage des politiques de sécurités dans les systèmes de contrôle d’accès — PhD of Khalid Bouriche (in French)
- Incomparabilité et incommensurabilité dans le raisonnement et la dynamique des croyances - HDR of Sylvain Lagrue (in French)
- Intégration des ressources en planification temporelle optimale - PhD of Zied Loukil (in French)
- Méthodes Permettant la Prédominance de Connaissances Subsumées - PhD of Sébastien Ramon - in French
- Modèles graphiques et approches comportementales pour la détection d’intrusions - PhD Thesis from Karim Tabia (in French)
- Raisonnement & Incohérence - HDR of Sébastien Konieczny (in French)
- Raisonnement en présence d’incohérence : de la compilation de bases de croyances stratifiées à l’inférence à partir de bases de croyances partiellement préordonnées - PhD Thesis from Safa Yahi (in French)
- Raisonnement sous incertitude et en présence des préférences : Application à la détection d’intrusions et à la corrélation d’alertes - PhD Thesis from Karima Sedki (in French)
- Réseaux possibilistes hybrides: Représentation des interventions et algorithmes - PhD Thesis of Salma Smaoui (in French)
- Résolution de problèmes autour de SAT - HDR of Gilles Audemard (in French)
- SAT et au-delà de SAT : Modèles et Algorithmes - HDR of Bertrand Mazure (in French)
- Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes - PhD thesis of Jean-Marie Lagniez
- Techniques algorithmiques pour l’extraction de formules minimales inconsistantes - PhD Thesis from Cédric Piette (in French)
- Travailler avec des préférences: rester simple pour faire plus - HDR of Souhila Kaci (in French)
- Treillis de Galois et réseaux de neurones : une approche constructive d’architecture des réseaux de neurones - PhD thesis of Norbert Tsopze (in French)
- Un Modèle pour la Prise de Décision Multi-agent sousIncertitude Stricte - PhD Thesis from Ramzi Ben Larbi (in French)
- Utilisation de techniques polynomiales pour la résolution pratique - PhD Thesis from Olivier Fourdrinoy (in French)
Rubrique : Thèses et HDR
Articles et sous-rubriques :
-
Sujets de thèse proposés
-
Thèses en cours
- Analyse et regroupement automatique de textes courts à des fins statistiques
- Autour de la décision possibiliste qualitative
- Changement de croyances et logiques modales
- Compilation de connaissances : des formules logiques aux réseaux bayésiens
- Compilation de préférences - application à la configuration de produits
- Contributions aux problèmes SAT
- Contributions aux techniques de représentation de la connaissance et du raisonnement
- Développement de logiques non-classiques pour la gestion des préférences et de l’incertitude.
- Dynamique des Systèmes d’Argumentation
- Fusion des logiques de description incertaines
- Imposer des contraintes moins restrictives dans un CSP
- Intégration de paradigmes de contraintes
- Logiques qualitatives pour la gestion des préférences
- MSR PhD Scholarship on Parallel SAT Solving
- Optimisation booléenne multi-objectif
- Optimisation distribuée pour les problèmes de contraintes pondérées
- Parallélisation de systèmes de contraintes complexes
- Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
- Résolution parallèle du problème SAT
-
Thèses soutenues
- "Algorithmique des Treillis de Concepts : Application à la Fouille de Données" — Thèse d’Université de Huaiguo Fu
- "Contribution à la fouille de données : Règles d’association et interactivité au sein d’un processus d’extraction de connaissances dans les données" — Thèse d’Université d’Olivier Couturier
- "Contribution à l’étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung" — Thèse d’Université de Caroline Devred
- "Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive" — thèse d’Université de Patricia Everaere
- "Contributions aux techniques de fusion de connaissances en intelligence artificielle" — Thèse d’Université d’Ahcène Sofiane
- "De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d’un prouveur QBF" — Thèse d’Université de Florian Letombe
- "Gestion des Incohérences dans les Systèmes de Contrôle d’Accès" — Thèse d’Université de Rania El Baida
- "Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT" — Thèse d’Université de Richard Ostrowski
- "Utilisation et extensions de l’algorithmique pour SAT pour la résolution de différents problèmes d’intelligence artificielle" — Thèse d’Université de David Ansart
- Étude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial - Thèse de doctorat de Dominique D’Almeida
- Étude du raisonnement temporel basé sur la résolution de contraintes - Thèse de Mahmoud Saade
- Causal reasoning modeling under a belief function framework
- Contributions à l’alignement d’ontologies OWL par agrégation de similarités - thèse de doctorat de Sami Zghal
- Contributions à la résolution générique des problèmes de satisfaction de contraintes - Thèse de Julien Vion
- De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées - Thèse de Said Jabbour
- Exploiter les conflits pour réduire l’effort de recherche en satisfaction de contraintes - Thèse de Sébastien Tabary
- From Possibilistic Similarity Measures to Possibilistic Decision Trees - Thèse de Ilyes Jenhani
- Fusion d’informations incertaines sans commensurabilité des échelles de référence - Thèse de Julien Rossit
- Fusion de réseaux de contraintes qualitatives - Thèse de doctorat de Nicolas Schwind
- Gestion de l’incertitude et codage des politiques de sécurités dans les systèmes de contrôle d’accès — Thèse de doctorat de Khalid Bouriche
- Intégration des ressources en planification temporelle optimale - Thèse de Zied Loukil
- Méthodes Permettant la Prédominance de Connaissances Subsumées - thèse de doctorat de Sébastien Ramon
- Modèles graphiques et approches comportementales pour la détection d’intrusions - Thèse de Karim Tabia
- Possibilistic networks : from learning to compilation and propagation.
- Raisonnement en présence d’incohérence : de la compilation de bases de croyances stratifiées à l’inférence à partir de bases de croyances partiellement préordonnées - Thèse de Safa Yahi
- Raisonnement sous incertitude et en présence des préférences : Application à la détection d’intrusions et à la corrélation d’alertes - Thèse de Karima Sedki
- Réseaux possibilistes hybrides : Représentation des interventions et algorithmes - Thèse de Salma Smaoui
- Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes - Thèse de doctorat de Jean-Marie Lagniez
- Techniques algorithmiques pour l’extraction de formules minimales inconsistantes - Thèse de Cédric Piette
- Treillis de Galois et réseaux de neurones : une approche constructive d’architecture des réseaux de neurones - thèse de doctorat de Norbert Tsopze
- Un Modèle pour la Prise de Décision Multi-agent sousIncertitude Stricte - Thèse de Ramzi Ben Larbi
- Utilisation de techniques polynomiales pour la résolution pratique - Thèse de Olivier Fourdrinoy
-
HDR soutenues
- "Extraction des connaissances basée sur les treillis de Galois : Méthodes et applications" — HDR d’Engelbert Mephu Nguifo
- "Tenter la simplicité en satisfaction de contraintes" — Habilitation à Diriger des Recherches de Christophe Lecoutre
- Contraintes qualitatives pour le raisonnement sur le temps et l’espace - Habilitation à Diriger des Recherches de Jean-François Condotta
- Incomparabilité et incommensurabilité dans le raisonnement et la dynamique des croyances - Habilitation à Diriger des Recherches de Sylvain Lagrue
- Raisonnement & Incohérence - Habilitation à Diriger des Recherches de Sébastien Konieczny
- Résolution de problèmes autour de SAT - Habilitation à Diriger des Recherches de Gilles Audemard
- SAT et au-delà de SAT : Modèles et Algorithmes - Habilitation à Diriger des Recherches de Bertrand Mazure
- Sat4j, un moteur libre de raisonnement en logique propositionnelle - Habilitation à Diriger des Recherches de Daniel Le Berre
- Travailler avec des préférences : rester simple pour faire plus - Habilitation à Diriger des Recherches de Souhila Kaci
Section : Publications
Articles and subsections :
Rubrique : Publications
Articles et sous-rubriques :
Rubrique : Prix et récompenses
Articles et sous-rubriques :
Rubrique : Logiciels
Articles et sous-rubriques :
-
Générateurs de plans (planificateurs)
-
Prouveurs CSP
-
Prouveurs QBF
-
Prouveurs SAT
-
Autres
-
PRISM
-
Sites web
Section : Software
Articles and subsections :
Rubrique : Séminaires
Articles et sous-rubriques :
-
Séminaires à venir
-
Les anciens séminaires
- A. Herzig (IRIT, CNRS) - The dynamic logic of propositional control
- Anbulagan Alagapan (NICTA, Camberra - Australie) - Diagnostic de SED par SAT
- B. Trouvilliez (CRIL / Onyme SARL) - Analyse de traitements sémantiques pour la fouille d’opinions par clustering
- Cédric Piette - Inutile de se répéter : exploitation de la redondance d’information en logique propositionnelle clausale
- David Mercier (LGI2A - Bethune) - Fusion de décisions postales dans le cadre du modèle des croyances transférables
- Denis Bouyssou (LAMSADE - Paris 9) - Doit-on croire le classement de Shanghai ?
- Didier Dubois (IRIT) - Incertitude en représentation des connaissances et raisonnement.
- Elise Bonzon (IRIT) - Modélisation des interactions entre agents rationnels : les jeux booléens
- F. Manyà (IIIA, CSIC, Espagne) - MAX-SAT
- Farid Nouioua (LIPN - Paris 13) - Quelle est la cause de l’accident ? : une approche non monotone à base de normes
- Frédéric Koriche (LIRMM - Montpellier) - Apprentissage et raisonnement « online »
- G. Aucher (University of Luxembourg) - Parler des actions en logique épistémique dynamique
- G. Pigozzi (University of Luxembroug) - Consensus in Abstract Argumentation
- G. Pulvermuller (DR-18, CNRS) - Valorisation
- Guillaume Aucher (Université du Luxembourg) - Une perspective interne sur le changement de croyances
- H. Prade (IRIT, CNRS) - Donner une forme logique à l’analogie
- Henri Prade - Pensons bipolaire !
- Julien Vion - Consistances fortes, prouveurs évènementiels et réseaux non-binaires
- K. Tabia (LINA/COD, Université de Nantes) - Manipulation de modèles graphiques pour l’inférence avec des informations incertaines et le traitement d’informations causales
- Les séminaires de 2001
- Les séminaires de 2002
- Les séminaires de 2003
- Les séminaires de 2004
- Les séminaires de 2005
- Les séminaires de 2006
- Les séminaires de janvier à mai 2007
- M. Kourjieh (IRIT, Université Toulouse 3) - Analyse logique et vérification symbolique des protocoles cryptographiques
- Meltem Ozturk - Comment classer les candidats d’une election sur un axe gauche-droite ?
- Mohand Ou Idir Khnemmoudj (LIPN - Paris 13) - Contributions à la résolution de CSP, Max-CSP et WCSP
- Nicolas Schwind - Fusion de réseaux de contraintes qualitatives par morceaux
- Olivier Roussel - Résultats de la compétition CSP 2008 et informations sur les compétitions SAT09 et PB09
- Philippe Besnard (IRIT CNRS) - La formalisation de l’argumentation se réduirait à la théorie des graphes ?
- R. Pino Pérez (Universidad de Los Andes, Venezuela) - Fusion logique des états épistémiques
- Ramon Pino Pérez (Mérida - Venezuela) - Opérateurs de Confluence
- Roger Nkambou (Montréal) - Fouille de données éducationnelles : un tour d’horizon avec le tuteur intelligent CanadarmTutor
- S. Jabbour (INRIA-Microsoft Joint Centre, Orsay) - Parallel Satisfiability
- Salem Benferhat - Interventions et dynamique des croyances dans les réseaux causaux
- Sébastien Konieczny - Les vraies fonctions ordinales conditionnelles
- Sébastien Konieczny - Opérateurs d’Amélioration
- Sylvie Coste - Oublier l’incohérence pour restaurer la cohérence
- T. de Lima (CRIL, Université d’Artois) - A tableaux method for public announcement logic
- T. de Lima (CRIL, Université d’Artois) - La logique de l’acceptation
- T. de Lima (CRIL, Universtié d’Artois) - Le problème du décor en logique modale
- T. Schaub (Universität Potsdam) - Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning
- Thanh Ha Dang (LIP6 - Paris 6) - Induction d’arbres de décision flous en présence de données imparfaites
- Ulrich Junker (ILOG) - Explications et Préférences pour l’Analyse des Règles de Metier
- Vincent Dubois - Espaces de versions et ensembles approximatifs : présentation des espaces de version approximatifs
- W. Ouerdane (LAMSADE, Université Paris Dauphine) - Aide multicritère à la décision : une perspective dialectique
Rubrique : Master Recherche
Articles et sous-rubriques :
Rubrique : À noter
Articles et sous-rubriques :
Rubrik : CRIL
Articles et sous-rubriques :