|
BR4CP - Documents |
|
Rapports
Etat de l'art en recommandation
Rapport d'analyse des besoins
Apprentissage : rapport theorique
Carte de compilation
Algorithmes de Compilation
Resolution interactive: algorithmes et resultats experimentaux individuels
Représentation et apprentissage de préférences (Thèse de Damien Bigot)
Compilation de préférences : application à la configuration de produits (Thèse de Nicolas Schmidt)
Résolution interactive et compilation de problèmes de satisfaction de contraintes (Master de Yacine Izza)
Apprentissage de modèles graphiques - application à la recommandation en configuration de produit (Master de Pierre Francois Gimenez)
Compte-rendu T0+6
Compte-rendu T0+12
Compte-rendu T0+18
Compte-rendu T0+24
Compte-rendu T0+30
Compte-rendu T0+36
Rapport final
Autres:
La propal
Modèle relevé de dépenses
Rapport d'analyse des besoins
Apprentissage : rapport theorique
Carte de compilation
Algorithmes de Compilation
Resolution interactive: algorithmes et resultats experimentaux individuels
Représentation et apprentissage de préférences (Thèse de Damien Bigot)
Compilation de préférences : application à la configuration de produits (Thèse de Nicolas Schmidt)
Résolution interactive et compilation de problèmes de satisfaction de contraintes (Master de Yacine Izza)
Apprentissage de modèles graphiques - application à la recommandation en configuration de produit (Master de Pierre Francois Gimenez)
Compte-rendu T0+6
Compte-rendu T0+12
Compte-rendu T0+18
Compte-rendu T0+24
Compte-rendu T0+30
Compte-rendu T0+36
Rapport final
Autres:
La propal
Modèle relevé de dépenses
Case Study & Softwares
VDD Compiler SALADD
Sat4J Configurator: https://forge.univ-artois.fr/root/sat4jconfigurator
Validation Protocole de validation (configuration interactive)
The BR4CP case study https://www.irit.fr/~Helene.Fargier/BR4CP/benches.html
Sat4J Configurator: https://forge.univ-artois.fr/root/sat4jconfigurator
Validation Protocole de validation (configuration interactive)
The BR4CP case study https://www.irit.fr/~Helene.Fargier/BR4CP/benches.html
Exposés:
O. Couchardiere - Démarrage du projet BR4CP Les messages de l’ANR
H. Fargier - Introduction au projet ANR Blanc « BR4CP »
J.M. Astesana -Projet BR4CP – La configuration chez Renault
D. Leberre - Gestion de dépendances entre logiciels, un cas particulier de configuration
C. Becker - Maitien de Domaine Alternatif
C. Lecoutre Approcher la coherence inverse globale
C. Bessiere Arc consistance dans les CSP dynamiques
F. Korriche A Survey on Recommender Systems
N. Schmidt Valued decision diagrams
D. Bigot Apprentissage de GAI-Decomposition
E. Negre Systemes de Recommandation
C. Piette Diagnostiquer l'incoherence
A. Niveau Un cadre pour la cartographie des langages de compilation : vers l’intégration de langages de représentation hétérogènes
A. Hubaux Software and Product Conguration: One Wheel Is Enough!
A. Prun, La recommandation sociale : de l'individu à la communauté. Quelle place pour les leaders ?
A. Niveau Relaxation du déterminisme
E. Chevallier Demonstration du Configurateur Renault
P. Marquis Clôtures disjonctives
R. Mazo Pena Some heuristicscs for improving product line configuration process
L. Simon Du Glucose à hautes doses : progrès dans la résolution des problèmes SAT ?
H. Fargier Point d'avancement, janvier 2013
C. Lecoutre Global Inverse Consistency for Interactive Constraint Satisfaction
D. Leberre Un outil de configuration basé sur Sat (4J)
S. Coste Vers une carte de compilation : premières réflexions
L. Cosserat Compilation de gamme Renault par Cluster tree
H. Fargier Explications et aide a la restauration de la coherence dans les CSP : application a la configuration
P. Viapiani Conversational Recommender Systems: From Critiquing to Utility-based Elicitation
F. Koriche Apprentissage enligne de réseaux de préférences sur les objets structurés
J. Mengin Apprentissage de modeles graphiques de prefernces: premier etat des lieux
P. Perny GAI nets
N. Schmidt Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations
A. Niveau Vers une carte de compilation pour des langages de représentation hétérogènes
H. Fargier Point d'avancement, juin 2013
E. Vareilles Configuration Interactive et Préférences Utilisateurs
J. Mengin Latent variables for learning preferences
P. Marquis Extended Affine Decision Trees for Model Counting
P.F. Gimenez Learning models of preferences and uncertainty
B. Zanuttini Interactive Elicitation of Preferences for Sequential Decision Making
H. Fargier Introduction to the final workshop of the « BR4CP » ANR project
H. Fargier Résultats experimentaux comparés (compte rendu tache 5)
H. Fargier - Introduction au projet ANR Blanc « BR4CP »
J.M. Astesana -Projet BR4CP – La configuration chez Renault
D. Leberre - Gestion de dépendances entre logiciels, un cas particulier de configuration
C. Becker - Maitien de Domaine Alternatif
C. Lecoutre Approcher la coherence inverse globale
C. Bessiere Arc consistance dans les CSP dynamiques
F. Korriche A Survey on Recommender Systems
N. Schmidt Valued decision diagrams
D. Bigot Apprentissage de GAI-Decomposition
E. Negre Systemes de Recommandation
C. Piette Diagnostiquer l'incoherence
A. Niveau Un cadre pour la cartographie des langages de compilation : vers l’intégration de langages de représentation hétérogènes
A. Hubaux Software and Product Conguration: One Wheel Is Enough!
A. Prun, La recommandation sociale : de l'individu à la communauté. Quelle place pour les leaders ?
A. Niveau Relaxation du déterminisme
E. Chevallier Demonstration du Configurateur Renault
P. Marquis Clôtures disjonctives
R. Mazo Pena Some heuristicscs for improving product line configuration process
L. Simon Du Glucose à hautes doses : progrès dans la résolution des problèmes SAT ?
H. Fargier Point d'avancement, janvier 2013
C. Lecoutre Global Inverse Consistency for Interactive Constraint Satisfaction
D. Leberre Un outil de configuration basé sur Sat (4J)
S. Coste Vers une carte de compilation : premières réflexions
L. Cosserat Compilation de gamme Renault par Cluster tree
H. Fargier Explications et aide a la restauration de la coherence dans les CSP : application a la configuration
P. Viapiani Conversational Recommender Systems: From Critiquing to Utility-based Elicitation
F. Koriche Apprentissage enligne de réseaux de préférences sur les objets structurés
J. Mengin Apprentissage de modeles graphiques de prefernces: premier etat des lieux
P. Perny GAI nets
N. Schmidt Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations
A. Niveau Vers une carte de compilation pour des langages de représentation hétérogènes
H. Fargier Point d'avancement, juin 2013
E. Vareilles Configuration Interactive et Préférences Utilisateurs
J. Mengin Latent variables for learning preferences
P. Marquis Extended Affine Decision Trees for Model Counting
P.F. Gimenez Learning models of preferences and uncertainty
B. Zanuttini Interactive Elicitation of Preferences for Sequential Decision Making
H. Fargier Introduction to the final workshop of the « BR4CP » ANR project
H. Fargier Résultats experimentaux comparés (compte rendu tache 5)
Publications Internationales
J. Amilhastre, H. Fargier, A. Niveau, C. Pralet: Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. International Journal on Artificial Intelligence Tools 23(4) (2014)
G. Audemard, J.-M. Lagniez, L. Simon. Just-In-Time Compilation of Knowledge Bases. IJCAI-13:447-453.
C. Becker, H. Fargier. Maintaining alternative values in constraint-based configuration. ECAI’2012 Configuration Workshop (ConfWS’12): 1-7 et IJCAI’2013: 454-460.
C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar, N. Narodytska, CG Quimper, T. Walsh. Constraint acquisition via partial queries. IJCAI’13: 475-481.
C. Bessiere, R. Coletta, N. Lazaar. Solve a Constraint Problem Without Modeling It. ICTAI’14: 1-7
C. Bessiere, H. Fargier et C. Lecoutre. Global Inverse Consistency for Interactive Constraint Satisfaction. CP'13 : 159-174
C. Bessiere, R. Coletta, A. Daoudi, N. Lazaar, Y. Mechqrane, E.H. Bouyakhf. Boosting Constraint Acquisition via Generalization QueriesProceedings ECAI’14: 99-104.
D. Bigot, H. Fargier., J. Mengin, B. Zanuttini. Using and Learning GAI-Decompositions for Representing Ordinal Rankings. ECAI’2012 workshop on Preference Learning (PL’12): 5-10
D. Bigot, H. Fargier, J. Mengin, B. Zanuttini. Probabilistic Conditional Preference Networks. UAI 2013 : 72-81
D. Bigot, J. Mengin, B. Zanuttini. Learning Probabilistic CP-nets from Observations of Optimal Items. STAIRS 2014: 81-90
L. Bordeaux, M. Janota, J. Marques-Silva, P. Marquis. On Unit-Refutation Complete Formulae with Existentially Quantified Variables. KR'12: 75-84.
H. Fargier, P. Marquis, N. Schmidt. Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. IJCAI 2013: 884-890
H. Fargier, P. Marquis, A. Niveau. Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. IJCAI 2013: 877-883
H. Fargier, P. Marquis, A. Niveau, N. Schmidt. A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. AAAI 2014: 1049-1055
F. Koriche, J.-M. Lagniez, P. Marquis and S. Thomas. Knowledge Compilation for Model Counting: Affine Decision Trees. IJCAI'13: 947-953.
J.-M. Lagniez and P. Marquis. Preprocessing for Propositional Model Counting. AAAI’14: 2688-2694
H. Nguyen, T. Schiex, C. Bessiere and S. de Givry. Maintaining Virtual Arc Consistency Dynamically During Search. Proceedings ICTAI’14: 8-15.
G. Audemard, J.-M. Lagniez, L. Simon. Just-In-Time Compilation of Knowledge Bases. IJCAI-13:447-453.
C. Becker, H. Fargier. Maintaining alternative values in constraint-based configuration. ECAI’2012 Configuration Workshop (ConfWS’12): 1-7 et IJCAI’2013: 454-460.
C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar, N. Narodytska, CG Quimper, T. Walsh. Constraint acquisition via partial queries. IJCAI’13: 475-481.
C. Bessiere, R. Coletta, N. Lazaar. Solve a Constraint Problem Without Modeling It. ICTAI’14: 1-7
C. Bessiere, H. Fargier et C. Lecoutre. Global Inverse Consistency for Interactive Constraint Satisfaction. CP'13 : 159-174
C. Bessiere, R. Coletta, A. Daoudi, N. Lazaar, Y. Mechqrane, E.H. Bouyakhf. Boosting Constraint Acquisition via Generalization QueriesProceedings ECAI’14: 99-104.
D. Bigot, H. Fargier., J. Mengin, B. Zanuttini. Using and Learning GAI-Decompositions for Representing Ordinal Rankings. ECAI’2012 workshop on Preference Learning (PL’12): 5-10
D. Bigot, H. Fargier, J. Mengin, B. Zanuttini. Probabilistic Conditional Preference Networks. UAI 2013 : 72-81
D. Bigot, J. Mengin, B. Zanuttini. Learning Probabilistic CP-nets from Observations of Optimal Items. STAIRS 2014: 81-90
L. Bordeaux, M. Janota, J. Marques-Silva, P. Marquis. On Unit-Refutation Complete Formulae with Existentially Quantified Variables. KR'12: 75-84.
H. Fargier, P. Marquis, N. Schmidt. Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. IJCAI 2013: 884-890
H. Fargier, P. Marquis, A. Niveau. Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. IJCAI 2013: 877-883
H. Fargier, P. Marquis, A. Niveau, N. Schmidt. A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. AAAI 2014: 1049-1055
F. Koriche, J.-M. Lagniez, P. Marquis and S. Thomas. Knowledge Compilation for Model Counting: Affine Decision Trees. IJCAI'13: 947-953.
J.-M. Lagniez and P. Marquis. Preprocessing for Propositional Model Counting. AAAI’14: 2688-2694
H. Nguyen, T. Schiex, C. Bessiere and S. de Givry. Maintaining Virtual Arc Consistency Dynamically During Search. Proceedings ICTAI’14: 8-15.
Contact : H. Fargier
IRIT-Bureau 306
Université
Paul Sabatier
118 Route de Narbonne, 31062 Toulouse Cedex 04
Tél: (33) 05 61 55 82 97 Fax: (33) 05 61 55 62 39
fargier@irit.fr