Plan du site
Articles et sous-rubriques :
Section : News
Articles and subsections :
Articles and subsections :
-
- 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
-
Articles et sous-rubriques :
Articles and subsections :
Articles et sous-rubriques :
Articles et sous-rubriques :
Articles and subsections :
Articles and subsections :
Articles et sous-rubriques :
Articles et sous-rubriques :
Articles et sous-rubriques :
Articles and subsections :
Articles and subsections :
Articles et sous-rubriques :
Articles and subsections :
Articles et sous-rubriques :
Articles et sous-rubriques :
Articles et sous-rubriques :
Articles and subsections :
Articles et sous-rubriques :
-
-
- 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
Articles et sous-rubriques :
Articles et sous-rubriques :
Rubrik : CRIL
Articles et sous-rubriques :