2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003-2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 |

Publications disponibles sur l'archive ouverte HAL

2010

• Christine Largouët and Marie-Odile Cordier :
  Patrons de scénarios pour l'exploration qualitative d'un écosystème , RFIA 2010 (Reconnaissance des Formes et Intelligence Artificielle) , Caen , 2010 , Document
• Chantal Gascuel-Odoux and Pierre Aurousseau and Marie-Odile Cordier and Patrick Durand and Frederick Garcia and Véronique Masson and Jordy Salmon-Monviola and Florent Tortrat and Ronan Trepos :
  A decision-oriented model to evaluate the effect of land use and agricultural management on herbicide contamination in stream water , Environmental Modelling and Software , Elsevier , 1-14 , 2010 , to appear , Abstract
• Thomas Guyet and René Quiniou and Marie-Odile Cordier :
  LogAnalyzer : monitoring adaptatif d'un flux de données , Caen , 2010 , Demonstration , Résumé
• Elisa Fromont and René Quiniou and Marie-Odile Cordier :
  Learning Rules from Multisource Data for Cardiac Monitoring , International Journal of Biomedical Engineering and Technology (IJBET) , Inderscience , Vol. 2 , No. 3 , 133--155 , 2010 , Résumé , Abstract
• René Quiniou and Lucie Callens and Guy Carrault and Marie-Odile Cordier and Elisa Fromont and Philippe Mabo and François Portet :
  Intelligent adaptive monitoring for cardiac surveillance , Chapitre Intelligent adaptive monitoring for cardiac surveillance , Springer Verlag , 2010 , to appear , Résumé , Abstract

• Marie-Odile Cordier and Thomas Guyet and Christine Largouët and Véronique Masson and Henri-Maxime Suchier :
  Apprentissage incrémental de règles de décision à  partir de données d'un simulateur , Atelier INFORSID : Systèmes d'Information et de Décision pour l'Environnement , Toulouse , 2009 , Résumé , Abstract , Document
• Marie-Odile Cordier and Michel Falchier and Frederick Garcia and Chantal Gascuel-Odoux and Djilali Heddadj and Laurence Lebouille and Véronique Masson and Jordy Salmon-Monviola and Florent Tortrat and Ronan Trépos :
  Construire la décision : démarches en agriculture, agro-alimentaire et espace rural , Chapitre Modélisation d'un transfert d'herbicides dans un bassin versant dans le cadre d'un outil d'aide à la décision pour la maîtrise de la qualité des eaux , Quae , 41-55 , 2009 , Résumé , Abstract
• Wei Wang and Thomas Guyet and René Quiniou and Marie-Odile Cordier and Florent Masseglia and Brigitte Trousse :
  Adaptive Intrusion Detection with Affinity Propagation , PAKDD 2009 , 2009 , submitted , Résumé , Abstract
• Pierre Aurousseau and Hervé Squividant and Ronan Trepos and Florent Tortrat and Chantal Gascuel-Odoux and Marie-Odile Cordier :
  A plot drainage network as a conceptual tool for the spatialisation of surface flow pathways for agricultural catchments , Computer and Geosciences , Elsevier , Vol. 35 , 276-288 , 2009 , Résumé , Abstract , Document
• Marie-Odile Cordier and Yves Moinard :
  Remarks about the use of Answer Set Programming for a causal formalism , MICRAC project Workshop (Toulouse) , Toulouse , jun , 2009 , Résumé , Abstract , Document
• {The WS-Diamond Team} :
  At your service: An overview of results of projects in the field of service engineering of the IST programme , Chapitre WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis , 2009 , Résumé , Abstract
• Yuhong Yan and Philippe Dague and Yannick Pencolé and Marie-Odile Cordier :
  A Model-based Approach for Diagnosing Faults in Web Service Processes , International Journal of Web Services Research (IJWSR) , IGI Global , Vol. 6 , No. 1 , 87--110 , 2009 , Résumé , Abstract
• Marie-Odile Cordier and Yannick Pencolé and Louise Travé-Massuyès and Thierry Vidal :
  Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer , I3 (Information - Interaction - Intelligence) , Ed. Cepaduès 978.2.85428.817.9 , Vol. 8 , No. 2 , 2009 , Résumé , Abstract
• Xavier Le Guillou and Marie-Odile Cordier and Sophie Robin and Laurence Rozé :
  Surveillance de chorégraphies de Web Services basees sur WS-CDL , RJCIA'09 (9e Rencontres des Jeunes Chercheurs en Intelligence Artificielle) , Hammamet , mai , 2009 , Résumé , Abstract
• Thomas Guyet and René Quiniou and Marie-Odile Cordier and Wei Wang :
  Diagnostic multi-sources adaptatif Application à la détection d'intrusion dans des serveurs Web , EGC 2009 , Strasbourg , january , 2009 , Résumé , Abstract
• Thomas Guyet and René Quiniou and Wei Wang and Marie-Odile Cordier :
  Self-adaptive web intrusion detection system , INRIA , No. 6989 , 2009 , Résumé , Abstract , Document
• Christine Largouët and Marie-Odile Cordier and Guy Fontenelle :
  Scenario templates to analyse qualitative ecosystem models , 18th World IMACS Congress and MODSIM09 (International Congress on Modelling and Simulation. Modelling and Simulation) , Cairns , 2129-2135 , 2009 , ISBN: 978-0-9758400-7-8 , Résumé , Abstract , Document
• Alice Marascu :
  Extraction de motifs séquentiels dans les flux de données , University of Nice-Sophia Antipolis , september , 2009 , Résumé , Abstract
• Wei Wang and Thomas Guyet and René Quiniou and Marie-Odile Cordier and Florent Masseglia and Brigitte Trousse :
  Online and Adaptive anomaly Detection: detecting intrusions in unlabelled audit data streams , EGC 2009 , Strasbourg , 2009 , Résumé , Abstract
• Wei Wang and Thomas Guyet and Svein Knapskog :
  Autonomic Intrusion Detection System , Symposium on recent advanced in intrusion detection (RAID) , Saint Malo , 359--361 , 2009 , Résumé , Abstract , Document
• Wei Wang and Florent Masseglia and Thomas Guyet and René Quiniou and Marie-Odile Cordier :
  A General Framework for Adaptive and Online Detection of Web attacks , international world wide web conference (WWW 2009) , Madrid , 1141-1142 , 2009 , Résumé , Abstract , Document
• Xavier Le Guillou and Marie-Odile Cordier and Sophie Robin and Laurence Rozé :
  Monitoring WS-CDL-based choreographies of Web Services , DX'09 (20th International Worshop On Principles of Diagnosis) , Stockholm, Sweden , june , 2009 , Résumé , Abstract

• The WS-Diamond Team :
  Specification of Execution Mechanisms and Composition Strategies for Self-Healing Web Services , february , 2008 , Deliverable 3.2
• Lucie Callens and Guy Carrault and {Marie-Odile} Cordier and Elisa Fromont and Philippe Mabo and François Portet and René Quiniou :
  Intelligent adaptive monitoring for cardiac surveillance , ECAI 2008 (18th European Conference on Artificial Intelligence) , Patras , 653--657 , 2008
• François Portet and René Quiniou :
  Echantillonnage progressif guidé pour stabiliser la courbe d‘apprentissage , RFIA 2008 , Amiens , 2008 , Document
• The WS-Diamond Team :
  Specification of diagnosis algorithms for Web Services -- phase 2 , april , 2008 , Deliverable 4.3
• The WS-Diamond Team :
  A new design methodology , february , 2008 , Deliverable 5.2
• The WS-Diamond Team :
  Introduction to Software Modules , september , 2008 , Deliverable
• The WS-Diamond Team :
  Self-Healing Web Services in the WS-Diamond project , eChallenges 2008 , 2008
• François Portet and René Quiniou and {Marie-Odile} Cordier and Guy Carrault :
  Apprentissage d'arbres de décision pour le pilotage en ligne d'algorithme de décision sur les électrocardiogrammes , RFIA 2008 (16ème Congrès Reconnaissance des Formes et Intelligence Artificielle) , Amiens , 2008 , Document
• Delphine Leenhardt and Antoine Reynaud and Patrick Durand and Philippe Le Grusse and Jean-Christophe Poussin and Marie-Odile O. Cordier :
  APPEAU : Which agrosystems and public policies for a sustainable management of water resources ? , XIIIth World Water Congress , Montpellier , September , 2008
• Salem Benferhat and Philippe Besnard and Jean-François Bonnefon and Philippe Chassy and Marie-Odile Cordier and Rui Da Silva Neves and Robert Demolombe and Didier Dubois and Florence Dupin de Saint-Cyr and Daniel Kayser and François Levy and Yves Moinard and Farid Nouioua and Sara Nouioua-Boutouhami and Henri Prade and Salma Smaoui and Camilla Schwind :
  Causalité : comparons les approches , Paris , oct , 2008 , Document
• Philippe Besnard and Marie-Odile Cordier and Yves Moinard :
  Deriving explanations from causal information , ECAI 2008 (18th European Conference on Artificial Intelligence) , IOS Press , Patras , 723--724 , jul , 2008 , Abstract
• Philippe Besnard and Marie-Odile Cordier and Yves Moinard :
  Ontology-based inference for causal explanation , Integrated Computer-Aided Engineering , IOS Press, Amsterdam , Vol. 15 , No. 4 , 351-367 , 2008 , Abstract , www.iospress.nl/
• Marie-Odile Cordier and Yannick Pencolé and Louise Travé-Massuyès and Thierry Vidal :
  Characterizing and checking self-healibility , ECAI 2008 (18th European Conference on Artificial Intelligence) , IOS Press , Patras , 789--790 , 2008
• Marie-Odile Cordier and Yannick Pencolé and Louise Travé-Massuyès and Thierry Vidal :
  Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer , RFIA'08 (16ème Congrès Reconnaissance des Formes et Intelligence Artificielle) , Amiens , 2008 , Résumé , Document
• Thomas Guyet and René Quiniou :
  Mining temporal patterns with quantitative intervals , 4th International Workshop on Mining Complex Data , Pisa , December , 2008 , Abstract , Document
• Trepos, Ronan and Gascuel-Odoux, Chantal and Cordier, Marie-Odile and Masson, Véronique :
  Symbolic learning of relationships between agricultural activities and water quality from simulations for decision support , European Geosciences Union (General Assembly) , Vienne , april , 2008
• Ronan Trepos and Véronique Masson and Marie-Odile Cordier and Chantal Gascuel-Odoux :
  Induction de motifs spatiaux décrivant les chemins de ruissellement , Atelier Représentation et Raisonnement sur le Temps et l'Espace (RTE'08) , Montpellier , 1-13 , Juin , 2008
• Ronan Trepos :
  Apprentissage symbolique à partir de données issues de simulation- Gestion d'un bassin versant pour une meilleure qualité de l'eau. , Université de Rennes 1 , Rennes , january , 2008
• Alexandre Vautier :
  Fouille de données sans information a priori sur la structure de la connaissance. Application à l'analyse de journaux d'alarmes réseau , University of Rennes 1 , Rennes , February , 2008
• Wei Wang and Thomas Guyet :
  Towards fast detecting intrusions: using key attributes of network trafic , 3rd international conference on internet monitoring and protection (ICIMP) , Bucharest , 86-91 , july , 2008 , Best paper award
• Xavier Le Guillou :
  Chronicles for On-line Diagnosis of Distributed Systems , CAISE-dc'08 (Conference on Advanced Information Systems Engineering - doctoral consortium) , Montpellier , june , 2008
• Xavier Le Guillou and Loic Cudennec :
  Vers la classification darwinienne d'un processeur fossile , RAFT'08 (3rd Review of April Fool's day Transactions) , Grenoble , april , 2008 , best paper award
• Xavier Le Guillou :
  Une approche décentralisée à base de chroniques pour la surveillance et le diagnostic de services web , University of Rennes 1 , Rennes , november , 2008
• Xavier Le Guillou and Marie-Odile Cordier and Sophie Robin and Laurence Roze :
  Chronicles for On-line Diagnosis of Distributed Systems , IRISA, Publication Interne , Rennes , No. 1890 , may , 2008
• Tristan Moreau and René Quiniou and Marie-Odile Cordier :
  Détection d'événements physiologiques sur des séries de température ruminale mesurées par un bolus , IRISA , Rennes , No. 1910 , september , 2008 , Résumé , Abstract
• Xavier Le Guillou and Marie-Odile Cordier and Sophie Robin and Laurence Roze :
  Chronicles for On-line Diagnosis of Distributed Systems , ECAI'08 (18th European Conference on Artificial Intelligence) , Patras , 194--198 , july , 2008

• The WS-Diamond Team :
  WS-DIAMOND: Web Services - DIAgnosability, MONitoring and Diagnosis , DX'07 (18th International Worshop On Principles of Diagnosis) , Nashville, TN, USA , 243--250 , may , 2007
• The WS-Diamond Team :
  WS-DIAMOND: An Approach to Web Services - DIAgnosability MONitoring and Diagnosis , eChallenges 2007 , The Hague, The Netherlands , october , 2007
• The WS-Diamond Team :
  WS-DIAMOND: An Approach to Web Services - Monitoring and Diagnosis , ERCIM News (European Research Consortium for Informatics and Mathematics) , Vol. 70 , 25--26 , july , 2007
• *NULL Relational Web as View System Attribute* :
  *NULL Relational Web as View System Attribute*
• The WS-Diamond Team :
  Specification of diagnosis algorithms for Web Services -- phase 1 , january , 2007 , Deliverable 4.2
• The WS-Diamond Team :
  Characterization of diagnosability and repairability for self-healing Web Services -- phase 1 , march , 2007 , Deliverable 5.1
• The WS-Diamond Team :
  Web Services - Diagnosability, MONitoring and Diagnosis , Fifth Summer School on Ontological Engineering and the Semantic Web (SSSW'07) , Cercedilla, Spain , july , 2007
• Philippe Besnard and Marie-Odile Cordier and Yves Moinard :
  Ontology-based inference for causal explanation , KSEM07 (Second International Conference on Knowledge Science, Engineering and Management) , Springer , Melbourne , No. 4798 , 153-164 , nov , 2007 , Abstract , Document
• Marie-Odile Cordier and Yannick Pencolé and Louise Travé-Massuyès and Thierry Vidal :
  Self-healablity = diagnosability + repairability , DX07 (18th International Workshop on Principles of Diagnosis , Nashville, TN , 251--258 , may , 2007 , Abstract
• Marie-Odile Cordier and Alban Grastien :
  Exploiting Independence in a Decentralised and Incremental , IJCAI-07 (20th International Joint Conference on Artificial Intelligence) , Hyderabad , 292-297 , 2007 , Abstract , Document
• Yves Moinard :
  An Experience of Using ASP for Toy Examples , Fourth Workshop on Answer Set Programming (ASP 07) , Facultade de Ciencias, Universidade do Porto , Porto , 133--147 , sept , 2007 , Abstract , Document
• Yves Moinard :
  Forgetting literals with varying propositional symbols , J. of Logic and Computation , Oxford University Press , Vol. 17 , No. 5 , 955--982 , oct , 2007 , Abstract , Document
• Alexandre Vautier and Marie-Odile Cordier and René Quiniou :
  Towards data mining without information on knowledge structure , PKDD'07 (Principles and Practice of Knowledge Discovery in Databases) , Warsaw , Vol. 4702 , 300-311 , sep , 2007 , Abstract
• François Portet and René Quiniou and {Marie-Odile} Cordier and Guy Carrault :
  Learning Decision Tree for Selecting QRS Detectors for Cardiac Monitoring , 11th Conference on Artificial Intelligence in Medicine (AIME 07) , Springer Verlag , Amsterdam , Vol. 4594 , 170-174 , 2007 , Abstract
• François Portet, Feng Gao and Jim Hunter and René Quiniou :
  Reduction of Large Training Set by Guided Progressive Sampling: Application to Neonatal Intensive Care Data , Intelligent Data Analysis in bioMedicine and Pharmacology (IDAMAP-2007) , Amsterdam , 43-44 , 2007 , Abstract
• Marie-Odile Cordier and Xavier Le Guillou and Sophie Robin and Laurence Rozé and Thierry Vidal :
  Distributed Chronicles for On-line Diagnosis of Web Services , DX'07 (18th International Worshop On Principles of Diagnosis) , Nashville, TN , 37--44 , may , 2007 , Abstract
• Nicolas Kerbellec and Carole Daiguebonne and Kevin Bernot and Olivier Guillou and Xavier Le Guillou :
  New lanthanide based coordination polymers with high potential porosity , Journal of Alloyds and Compounds , 2007 , Abstract
• Xavier Le Guillou and Marie-Odile Cordier and Sophie Robin and Laurence Rozé :
  Diagnosing Web Service On-line with Distributed Chronicles , PhdForum'07 (The Second Beijing-Hong Kong International Doctorial Forum 2007) , Hong-Kong , july , 2007 , Abstract
• Xavier Le Guillou and Marie-Odile Cordier and Sophie Robin and Laurence Rozé and Thierry Vidal :
  Chroniques distribuées pour le diagnostic en-ligne de Web Services , RJCIA'07 (8e Rencontres des Jeunes Chercheurs en Intelligence Artificielle) , Grenoble , 115--132 , juillet , 2007 , Résumé , Abstract
• Ronan Trepos and Marie-Odile Cordier and Véronique Masson and Chantal Gascuel :
  Apprentissage de motifs spatiaux et agronomiques jouant un rôle dans la contamination de , RJCIA'07 (8 èmes Rencontres Jeunes Chercheurs en Intelligence Artificielle) , Grenoble , 231--246 , juillet , 2007 , Résumé , Abstract

• Béatrice Duval and Ansaf Salleb and Christel Vrain :
  On the Discovery of Exception Rules: A Survey , Chapitre in Quality Measures in Data Mining Book , Springer in the Series Studies in Computational Intelligence , 2006 , \aparaitre , Abstract
• Nicolas Kerbellec and Carole Daiguebonne and Kevin Bernot and Olivier Guillou and Xavier Le Guillou :
  New lanthanide-based coordination polymers with high potential porosity , ICFE'2006 (International Conference of f-Elements) , Wroclaw, Poland , 2006
• The WS-Diamond Team :
  Specification of new repair/reconfiguration algorithms for Web Services , september , 2006 , Deliverable 4.4
• Thierry Jeron and Hervé Marchand and Marie-Odile Cordier :
  Motifs de surveillance pour le diagnostic de systèmes à événements discrets , RFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle) , Tours , janvier , 2006 , Résumé , Abstract , Document
• Marie-Odile Cordier and Frederick Garcia and Chantal Gascuel and Véronique Masson and Ansaf Salleb and Ronan Trepos :
  SACADEAU project: recommending actions from simulation results , BESAI'06 (ECAI'06 workshop on Binding Environmental Sciences and Artificial Intelligence) , Riva del Garda , August , 2006 , poster , Abstract
• Philippe Besnard and Marie-Odile Cordier and Yves Moinard :
  Configurations for Inference between Causal Statements , KSEM 2006 (First Int. Conf. on Knowledge Science, Engineering and Management) , Springer , Guilin , No. 4092 , 292--304 , aug , 2006 , Abstract , Document
• Marie-Odile Cordier and Louise Travé-Massuyès and Xavier Pucel :
  Comparing diagnosability in continuous and discrete-events systems , DX'06 (17th International workshop on principles of Diagnosis) , Burgos , 55--60 , 2006 , Abstract , Document
• Marie-Odile Cordier and Louise Travé-Massuyès and Xavier Pucel :
  Comparing diagnosability in continuous discrete-event systems , Safeprocess'2006 , Beijing , 2006 , Abstract , Document
• Marie-Odile Cordier and Alban Grastien :
  Exploiting independence in a decentralised and incremental approach of diagnosis , DX'06 (17th International workshop on principles of Diagnosis) , Burgos , 61--69 , 2006 , Abstract , Document
• Elisa Fromont and René Quiniou and Marie-Odile Cordier :
  Apprentissage multisource par programmation logique inductive , RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle) , Presse universitaires François-Rabelais , Tours , 115 , Janvier , 2006 , Résumé , Abstract , Document
• Thierry Jéron and Hervé Marchand and Sophie Pinchinat and Marie-Odile Cordier :
  Supervision patterns in discrete event systems , DX'06 (17th International Workshop on Principal of Diagnosis) , Burgos , 117-124 , 2006 , Abstract , Document
• Thierry Jeron and Hervé Marchand and Sophie Pinchinat and Marie-Odile Cordier :
  Supervision patterns in discrete event systems diagnosis , WODES'06 (8th International Workshop on Discrete Event Systems) , IEEE (ISBN 1-4244-0053-8) , Ann Arbor, Michigan , 2006 , (extended version in Irisa Technical Report #1784) , Abstract , Document
• Yves Moinard :
  Oubli de littéraux avec symboles propositionnels variables , RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle) , AFRIF-AFIA , Tours , 120 (1-10) , jan , 2006 , Résumé , Abstract , Document
• Alexandre Vautier and Marie-Odile Cordier and Mireille Ducassé and René Quiniou :
  Visualization of Internet Flow Records , IRISA , novembre , 2006 , Rapport Avancement projet CURAR - CRE France Telecom R & D , Résumé , Abstract
• Alban Grastien :
  Utilisation des chaînes d'automates pour le diagnostic décentralisé , RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle) , Tours , 2006 , Résumé , Abstract , Document
• Marie-Odile Cordier and Florent Tortrat and Ronan Trépos and Pierre Aurousseau and Brigitte Chanomordic and Michel Falchier and Chantal Gascuel-Odoux and Frederick Garcia and Djilali Heddadj and Laurence Lebouille and Véronique Masson :
  Modélisation du transfert des herbicides dans un bassin versant en vue de la construction d'un outil d'aide à la décision pour la maîtrise de la qualité des eaux , 219--225 , février , 2006 , Résumé , Abstract
• Yves moinard :
  About the computation of forgetting symbols and literals , NMR 2006 ( 11th Workshop on Non-monotonic Reasoning) , Institut für Informatik, Technische Universität Clausthal, Germany (http://cig.in.tu-clausthal.de/) , Lake District , 209--217 , june , 2006 , Abstract , Document
• Pascal Garcia :
  Induction de macro-actions en apprentissage par renforcement , RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle) , Tours , 2006
• François Portet and Guy Carrault and Marie-Odile Cordier and René Quiniou :
  Pilotage d'algorithmes pour un diagnostic médical robuste en cardiologie , RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle) , Tours , janvier , 2006
• Thierry Jéron and Hervé Marchand and Sophie Pinchinat and Marie-Odile Cordier :
  Supervision Patterns in Discrete Event Systems Diagnosis , Irisa , No. 1784 , 2006 , Résumé , Abstract
• Ronan Trepos and Ansaf Salleb and Marie-Odile Cordier and Véronique Masson and Chantal Gascuel :
  Une approche fondée sur une distance pour la recommandation d'actions , RFIA'2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle) , Tours , janvier , 2006 , Abstract
• Alexandre Vautier and Marie-Odile Cordier and Mireille Ducassé and René Quiniou :
  Agrégation d'alarmes faiblement structurées , Atelier Fouille de Données Temporelles, EGC 06 , Lille , jan , 2006 , Résumé , Abstract , Document

• Alexandre Vautier and Marie-Odile Cordier and René Quiniou :
  Rapport d'avancement N°1 - contrat CRE/FT R \& D n°171938 , mars , 2005
• Sébastien Lelouette :
  Raisonnement temporel pour le diagnostic par abduction , University of Rennes 1 , june , 2005 , Master dissertation
• Ansaf Salleb and Christel Vrain :
  Estimation of the Density of Datasets with Decision Diagrams , ISMIS 2005 , Springer , Saratoga Springs, New York , 688-697 , May , 2005 , Abstract , Document
• Alexandre Vautier and Marie-Odile Cordier and Mireille Ducassé and René Quiniou :
  Rapport d'avancement N°2 - contrat CRE/FT R \& D n°171938 , octobre , 2005
• Marie-Odile Cordier :
  SACADEAU: A Decision-Aid System to improve Stream-Water Quality , Ercim news , Vol. 61 , 37--38 , april , 2005 , Abstract
• Marie-Odile Cordier and René Quiniou :
  Apprentissage relationnel de motifs temporels , Atelier Extraction de motifs temporels pour la détection en ligne de situations critiques à EGC 2005 , Cépaduès , janvier , 2005
• Marie-Odile Cordier and Frederick Garcia and Chantal Gascuel and Véronique Masson and Jordy Salmon-Monviola and Florent Tortrat and Ronan Trepos :
  A machine learning approach for evaluating the impact of land use and management practices on streamwater pollution by pesticides , MODSIM'05 (International Congress on Modelling and Simulation) , December , 2005 , Abstract
• Elisa Fromont and René Quiniou and Marie-Odile Cordier :
  Learning rules from multisource data for cardiac monitoring , AIME'05 (Artificial Intelligence in Medicine) , Springer , Aberdeen, Scotland , 484-493 , july , 2005 , Abstract , Document
• Elisa Fromont and François Portet :
  Pilotage d'un système de monitoring cardiaque multisource , Actes de conférence de MajecStic'2005 (MAnifestation des JEunes Chercheurs STIC) , Rennes, France , 346-354 , november , 2005 , Résumé , Document
• Elisa Fromont and Marie-Odile Cordier and René Quiniou :
  Extraction de connaissances provenant de données multisources pour la caractérisation d'arythmies cardiaques , 25-45 , 2005 , Résumé , Abstract
• Alban Grastien and Marie-Odile Cordier and Christine Largouët :
  Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations , AIIA'05 (Congress of the Italian Association for Artificial Intelligence) , Milan, Italy , Septembre , 2005 , Abstract , Document
• Alban Grastien and Marie-Odile Cordier and Christine Largouët :
  Incremental Diagnosis of Discrete-Event Systems , DX'05 (International workshop on principles of Diagnosis) , Pacific Grove, California, USA , 119--124 , June , 2005 , Document
• Alban Grastien and Marie-Odile Cordier and Christine Largouët :
  First Steps Towards Incremental Diagnosis of Discrete-Event Systems , Canadian AI'05 , Springer-Verlag GmbH , Victoria , 170--181 , May , 2005 , Abstract , Document
• Alban Grastien and Marie-Odile Cordier and Christine Largouët :
  Incremental Diagnosis of Discrete-Event Systems , IJCAI'05 (International Joint Conference on Artificial Intelligence) , Professionnal Book Center , Edinburgh, Scotland , 1564--1565 , August , 2005 , Poster , Abstract
• Alban Grastien :
  Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables , Université de Rennes 1 , december , 2005 , Document
• Yves Moinard :
  Forgetting literals with varying propositional symbols , Common Sense 2005 (7th Int. Symp. on Logical Formalization of Common Sense Reasoning) , Technische Universitat Dresden , Corfu, Greece , 169-176 , may , 2005 , Abstract , Document
• Cyril Nortet and Ansaf Salleb and Teddy Turmeaux and Christel Vrain :
  Le rôle de l'utilisateur dans un processus d'extraction de règles d'association , Atelier Qualité des Données et des Connaissances. Associé à ECG 2005 , Cépaduès éditions , jan , 2005 , Résumé , Abstract
• Cyril Nortet and Ansaf Salleb and Teddy Turmeaux and Christel Vrain :
  Extraction de Règles d'Association Quantitatives Application à des Données Médicales , EGC 2005 (Cinquièmes Journées sur Extraction et Gestion des Connaissances) , Cépaduès éditions , jan , 2005 , Résumé , Abstract , Document
• Yannick Pencolé and Marie-Odile Cordier :
  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , Artificial Intelligence Journal , elsevier , Vol. 164 , No. 1-2 , 121-170 , 2005 , Abstract
• François Portet and Guy Carrault and Marie-Odile Cordier and René Quiniou :
  Piloting Signal Processing Algorithms in a Cardiac Monitoring Context , First Doctoral Consortium of the 10th Conference on Artificial Intelligence in Medicine (AIME 05) , Aberdeen, Scotland , July , 2005 , Abstract
• François Portet and Guy Carrault and Marie-Odile Cordier and René Quiniou :
  Pilotage en ligne d'algorithmes de traitement du signal guidé par le contexte courant , RJCIA'05 (Rencontres Jeunes Chercheurs en Intelligence Artificielle) , Nice , 1-14 , juin , 2005 , Résumé
• François Portet and Guy Carrault :
  Piloting Real-Time QRS Detection Algorithms in Variable Contexts , 3rd European Medical and Biological Engineering Conference (EMBEC'05) , Prague , 2005
• François Portet and Afredo Ignacio Hernandez and Guy Carrault :
  Evaluation of real-time QRS detection algorithms in variable contexts , Medical & Biological Engineering & Computing , Vol. 43 , No. 3 , 381-387 , 2005 , Abstract
• François Portet :
  Pilotage d'algorithmes pour la reconnaissance en ligne d'arythmies cardiaques , University of Rennes 1 , december , 2005
• Ronan Trepos and Ansaf Salleb and Marie-Odile Cordier and Véronique Masson and Chantal Gascuel :
  A Distance Based Approach for Action Recommendation , ECML 05 (European Conference on Machine Learning) , Springer , Porto, Portugal , october , 2005 , Abstract
• Alexandre Vautier and Marie-Odile Cordier and René Quiniou :
  Extension des bases de données inductives pour la découverte de chroniques avec contraintes temporelles , Proceedings of EGC 2005 (Extraction et Gestion de Connaissances) , Cepadues editions , jan , 2005
• Alexandre Vautier and Marie-Odile Cordier and René Quiniou :
  An Inductive Database for Mining Temporal Patterns in Event Sequences (short version) , Proceedings of IJCAI-05 (International Joint Conference on Artificial Intelligence) , Edinburgh , 1640-1641 , aug , 2005
• Alexandre Vautier and Marie-Odile Cordier and René Quiniou :
  An Inductive Database for Mining Temporal Patterns in Event Sequences (long version) , PKDD (Principles and Practice of Knowledge Discovery in Databases) - Workshop mining spatio-temporal data , Porto, Portugal , oct , 2005
• Xavier Le Guillou and Pierre-Yves Glorennec :
  Wombat: a toolbox to build and optimize fuzzy regression trees , IEEE CCA'05 (IEEE Conference on Control Applications), invited session , Toronto, Canada , august , 2005
• Pierre-Yves Glorennec and Xavier Le Guillou :
  Incremental optimization of FIS using reinforcement learning , EUSFLAT-LFA'05 (Conference of the European Society for Fuzzy Logic and Technology and Rencontres Francophones sur la Logique Floue et ses Applications) , Barcelona, Spain , september , 2005
• Yuhong Yan and Yannick Pencolé and Marie-Odile Cordier and Alban Grastien :
  Monitoring Web Service Networks in a Model-based Approach , ECOWS'05 (European Conference on Web Services) , Växjö, Sweden , November , 2005 , Abstract , Document
• Besnard, Philippe and Cordier, Marie-Odile and Moinard, Yves :
  Configurations for Inference from Causal Statements: Preliminary Report , AI*IA 2005 (9th Congress of the Italian Association for Artificial Intelligence) , Springer , 282-285 , sep , 2005 , Abstract

• Elisa Fromont and Marie-Odile Cordier and René Quiniou :
  Extraction de connaissances provenant de données multisources pour la caractérisation d'arythmies cardiaques , EGC'04 Workshop: Fouille de données complexes dans un processus d'extraction de connaissances , Clermont-ferrand, France , janvier , 2004 , Résumé , Document
• Marie-Odile Cordier and Véronique Masson :
  Modélisation de transfert de pesticides dans un bazssin versant en vue de la construction d'un outil d'aide à la décision pour la maîtrise de la qualité des eaux. Application au bassin versant du Frémeur (Morbihan) , Actes du colloque Savoirs et savoir-faire sur les bassins versants , 239--240 , 2004 , Document
• Yves Moinard :
  Mesure de plausibilité pour le raisonnement par défaut , RFIA 2004 (Reconnaissance des Formes et Intelligence Artificielle) , Toulouse , 217--226 , jan , 2004 , Résumé , Abstract , Document
• Yves Moinard :
  Plausibility structures for default reasoning , ECAI 2004: 16th biennial European Conference on Artificial Intelligence , IOS Press , Valencia , 853--857 , aug , 2004 , Abstract , Document
• M.-O. Cordier and P.~Dague and F.~Lévy and J.~Montmain and M.~Staroswiecki and L. Travé-Massuyès :
  Conflicts versus Analytical Redundancy Relations : A comparative analysis of the model-based diagnostic approach from the artificial intelligence and automatic control perspectives , IEEE Transactions on Systems, Man and Cybernetics - Part B. , Vol. 34 , No. 52163-2177 , 2004 , Abstract , Document
• Philippe Besnard and Sylvie Doutre :
  Characterization of Semantics for Argument Systems , Principles of Knowledge Representation and Reasoning (KR'04) , AAAI Press , Whistler, B.C., Canada , 183--193 , jun , 2004
• Alexandre Vautier :
  Réconciliation fouille de données programmation logique inductive , University of Rennes 1 , june , 2004 , Master dissertation
• Ansaf Salleb and Teddy Turmeaux and Christel Vrain and Cyril Nortet :
  Mining Quantitative Association Rules in a Atherosclerosis Dataset , PKDD Discovery Challenge 2004 (co-located with the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases) , 98--103 , sep , 2004 , Abstract
• Béatrice Duval and Ansaf Salleb and Christel Vrain :
  Méthodes et Mesures d'Intérêt pour l'Extraction de Règles d'Exception , Revue des Nouvelles Technologies de l'Information - Mesures de Qualité pour la Fouille de Données , Cépaduès éditions , 119--140 , 2004
• Elisa Fromont and Marie-Odile Cordier and René Quiniou :
  Learning from multi source data , PKDD'04 (Knowledge Discovery in Databases) , Springer , Pise, Italie , Vol. 3202 , 503-505 , september , 2004 , Document
• Alban Grastien and Marie-Odile Cordier and Christine Largouët :
  Extending decentralized discrete-event modelling to diagnose reconfigurable systems , DX'04 (International workshop on principles of Diagnosis) , Carcassonne , 75--80 , June , 2004 , Abstract , Document
• Zahir Maazouzi and Ansaf Salleb and Christel Vrain :
  BoolLoader : un chargeur efficace dédié aux bases denses , 4th French speaking conference on Knowledge Discovery and Knowledge Management EGC 2004 , Cépaduès éditions , 71-81 , 2004
• Zahir Maazouzi and Ansaf Salleb and Christel Vrain :
  Can We Load Efficiently Dense datasets? , LIFO, Laboratoire d'Informatique Fondamentale d'Orléans , No. RR-2004-02 , 2004
• Xavier Le Guillou and Pierre-Yves Glorennec :
  Wombat: a toolbox for fuzzy regression trees , Scilab'04 , Rocquencourt, France , 2004

• Florent Tortrat and Pierre Aurousseau and Hervé Squividant and Chantal Gascuel-Odoux and Marie-Odile Cordier :
  Modèle numérique d'Altitude (MNA) et spatialisation des transferts de surface : utilisation de structures d'arbres reliant les exutoires de parcelles et leurs surfaces contributives , Vol. 172 , 128--136 , 2003-2004 , Résumé , Document

• Feng Wang and Guy Carrault and René Quiniou and Marie-Odile Cordier and L. Luo :
  Temporal reasoning based automatic arrhythmias recognition , IEEE International Conference on RISSP 2003 : Robotics, Intelligent Systems and Signal Processing , Changsha, China , may , 2003 , Abstract
• Feng Wang and Guy Carrault and René Quiniou and Marie-Odile Cordier :
  Reconnaissance d'événements structurés temporellement dans un signal par raisonnement temporel , 19e colloque GRETSI'03 sur le traitement du signal et des images , Paris , septembre , 2003 , Résumé
• René Quiniou and Marie-Odile Cordier :
  Apprentissage de règles de prédiction de la qualité de service , IRISA , décembre , 2003
• Yves Moinard :
  De l'usage de la mesure de plausibilité pour le raisonnement par défaut , JNMR'03 (Journées Nationales de Modélisation du Raisonnement) , Paris , 185 - 200 , nov , 2003 , Résumé , Document
• Feng Wang and Guy Carrault and René Quiniou and Marie-Odile Cordier and Philippe Mabo :
  Fusion de méthodes d'apprentissage automatique et de traitement du signal pour la reconnaissance d'arythmies , ITBM-RBM Innovation et technologie en biologie et médecine , Elsevier France , 2003 , Résumé
• Marie-Odile Cordier and Alban Grastien and Christine Largouët and Yannick Pencolé :
  Efficient trajectories computing exploiting inversibility properties , DX'03 (International workshop on principles of Diagnosis) , Washington , 93--98 , June , 2003 , Abstract , Document
• Marie-Odile Cordier and Alban Grastien and Christine Largouët and Yannick Pencolé :
  Calcul de trajectoires utilisant les propriétés d'interversibilité , RJCIA'03 (Rencontres Jeunes Chercheurs en Intelligence Artificielle) , Laval , 15--28 , 2003 , Résumé , Document
• Teddy Turmeaux and Ansaf Salleb and Christel Vrain :
  Learning Characteristic Rules Relying on Quantified Paths , 7th European Conference on Principles and Practice of Knowledge Discovery in Databases , Springer LNAI 2838 , 471-482 , 2003
• T. Turmeaux and D. Cassard and A. Salleb and C. Vrain :
  Apprentissage de Règles Caractéristiques , 3rd French speaking conference on Knowledge Discovery and Knowledge Management EGC 2003 , Hermès science publications , 437-448 , 2003
• Ansaf Salleb :
  Recherche de Motifs Fréquents pour l'Extraction de Règles d'Association et de Caractérisation , University of Orléans , January , 2003
• T. Turmeaux and A. Salleb and C. Vrain and D. Cassard :
  Learning Characteristic Rules Relying on Quantified Paths , LIFO, Laboratoire d'Informatique Fondamentale d'Orléans , No. RR-2003-03 , 2003
• Elisa Fromont and Marie-Odile Cordier and René Quiniou and Alfredo Hernandez :
  Kardio and Calicot: a comparison of two cardiac arrhythmia classifiers , AIME\'03 Workshop: Qualitative and Model-based Reasoning in Biomedicine , Protaras, Cyprus , october , 2003 , Abstract , Document
• Guy Carrault and {Marie-Odile} Cordier and René Quiniou and Feng Wang :
  Temporal abstraction and Inductive Logic Programming for arrhyhtmia recognition from electrocardiograms , Artificial Intelligence in Medicine , Elsevier , Vol. 28 , 231-263 , 2003 , Abstract

• Marie-Odile Cordier and Guy Carrault and René Quiniou and Feng Wang :
  Intelligent data analysis for diagnosing and monitoring , IDAMAP 2002: Intelligent Data Analysis in Medicine and Pharmacology - workshop at ECAI'2002 , 19-23 , july , 2002 , Abstract , Document
• Marie-Odile Cordier and Guy Carrault and René Quiniou and Feng Wang :
  Intelligent multichannel data analysis for diagnosing and monitoring , TASDA'2002 : Knowledge Discovery from Temporal and Spatial Data - workshop at ECAI'2002 , 10-16 , july , 2002 , Document
• L. Rozé and M.-O. Cordier :
  Diagnosing discrete-event systems : extending the ``diagnoser approach'' to deal with telecommunication networks , Journal on Discrete-Event Dynamic Systems : Theory and Applications (JDEDS) , Kluwer Academic Publishers , Vol. 12 , No. 1 , 43-81 , January , 2002 , Abstract , Document
• Moinard, Yves and Rolland, Raymond :
  Characterizations of Preferential Entailments , Logic Journal of the IGPL , Oxford University Press , Vol. 10 , No. 3 , 243-270 , may , 2002 , Abstract , Document
• P. Durand and Ch. Gascuel and M.-O. Cordier :
  Parametrization of hydrological models: a review and lessons learned from studies of an agricultural catchment (Naizin, France) , Agronomie , INRA, EDP Sciences , 217-228 , 2002
• A. Monsifrot and F. Bodin and René Quiniou :
  A Machine Learning Approach to Automatic Production of Compiler Heuristics , AIMSA'2002. Artificial Intelligence: Methodology, Systems, and Applications , Springer , Vol. 2443 , September , 2002
• Jean-Baptiste Lagrange and Dominique Py :
  Développer un environnement d'apprentissage utilisant le calcul formel. Hypothèses, méthodes, première réalisation , Sciences et Techniques éducatives , 2002
• Moinard, Yves :
  Linking Makinson and Kraus-Lehmann-Magidor preferential entailments , ECAI'2002 (European Conference on Artificial Intelligence) , IOS Press, Amsterdam , Lyon , 531-535 , jul , 2002 , Abstract
• Yves Moinard :
  Linking Makinson and Kraus-Lehmann-Magidor preferential entailments , NMR'2002 (Int. Workshop on Non-Monotonic Reasoning) , IRIT, Toulouse , 15-24 , apr , 2002 , Abstract , Document
• Armen Aghasaryan and Christophe Dousson and Eric Fabre and Aomar Osmani and Yannick Pencolé :
  Modeling Fault Propagation in Telecommunications Networks for Diagnosis Purposes , WTC'02 (World Telecommunications Congress) , Paris, France , sep , 2002 , Abstract
• Yannick Pencolé and Marie-Odile Cordier and Laurence Rozé :
  A decentralized model-based diagnostic tool for complex systems. , International Journal on Artificial Intelligence Tools , World Scientific Publishing Company , Vol. 11 , No. 3 , 327--346 , sep , 2002 , Abstract
• Yannick Pencolé :
  Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications , Université de Rennes 1 , jun , 2002 , Résumé , Abstract , Document
• Yannick Pencolé and Marie-Odile Cordier and Laurence Rozé :
  Une stratégie efficace pour une approche décentralisée du diagnostic de systèmes complexes , RFIA'02 (Congrès francophone Afrif-Afia de reconnaissance des formes et d'intelligence artificielle) , Angers, France , 259--268 , jan , 2002
• Christine Largouët and Marie-Odile Cordier :
  Interprétation d'une image à l'aide d'un modèle d'évolution du système observé. Application à la reconnaissance de l'occupation du sol , 6ème Colloque Africain sur la Recherche en Informatique (CARI'02) , INRIA , Yaoundé, Cameroun , 85-92 , Octobre , 2002
• Marie-Odile Cordier and Christine Largouët :
  Using model-checking techniques for diagnosing discrete-event systems , Workshop on Model-Checking and Artificial Intelligence (MoChArt-2002) , Lyon, France , à compléter , Juillet , 2002
• H.~Marchand and L.~Rozé :
  Diagnostic de pannes sur des systèmes à évènements discrets~: une approche à base de modèles symboliques , 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance de Formes et d'Intelligence Artificielle ({RFIA02}) , Angers, France , 191-200 , Janvier , 2002
• Philippe Mabo and Marcel Limousin and Guy Carrault and René Quiniou and Marie-Odile Cordier :
  Conception et contrôle des stimulateurs et défibrillateurs cardiaques , 2002 , Rapport de fin de contrat 99 B 0455
• Yannick Pencolé and Marie-Odile Cordier and Laurence Rozé :
  Incremental decentralized diagnosis approach for the supervision of a telecommunication network. , CDC'02 (IEEE Conference on Decision and Control) , Las Vegas, Nevada, USA , 435--440 , dec , 2002
• Dominique Lenne and Jean-Marie Gélis and Jean-Baptiste Lagrange and Dominique Py :
  The design of software learning environnments using symbolic computation; Two case studies in pre-calculus. , International Journal of Computer Algebra in Mathematics Education , Research Information Ltd Hemel Hempstead, England , Vol. 9 , No. 4 , 299-303 , 2002
• Pierre-Yves Glorennec and Alban Grastien :
  Application d'arbres de régression flous à la prévision des pics de pollution , Journées de Statistique (JDS'02) , Marc Hallin , Bruxelles et Louvain-la-Neuve , 233-234 , may , 2002
• Ansaf Salleb and Zahir Maazouzi and Christel Vrain :
  Mining Maximal Frequent Itemsets by a Boolean Approach , 15th European Conference on Artificial Intelligence ECAI 2002 , IOS press , Lyon , 385-389 , 2002
• Ansaf Salleb and Zahir Maazouzi and Christel Vrain :
  Search Space Splitting for Mining Maximal Frequent Itemsets , International Conference on Information and Knowledge Engineering IKE 2002 , CSREA Press , 482-488 , june , 2002
• Zahir Maazouzi and Ansaf Salleb :
  Approche Booléenne pour l'Extraction des Itemsets Fréquents Maximaux , French speaking conference on machine learning CAp 2002 2002 , PUG Press , 111-122 , 2002
• A. Lips, D. Cassard, V. Bouchot, M. Billa, A. Salleb, M. Gonzalez, L. Bougrain, C. Vrain, B. Tourlière, G. Stein and F. Alexandre :
  Quantitative Assessments of a Continent-Scale Metallogenic GIS by Data-Driven and Knowledge-Driven Approaches to Construct Decision-Aid Documents , GIS in Geology , Moscou , 2002 , Extended abstract
• Marie-Odile Cordier and Irène Grosclaude and René Quiniou and Sophie Robin :
  Étude du pronostic pour la maintenance conditionnelle , IRISA , 2002 , Rapport de fin de contrat EDF 101C0002

• Irène Grosclaude :
  Diagnostic abductif temporel : scénarios de pannes, modèles causaux et traitement de l'interaction , université de Rennes 1 , jun , 2001
• Dominique Py :
  Environnements Interactifs d'Apprentissage et démonstration en géométrie , Habilitation à Diriger des Recherches, Université de Rennes 1 , jul , 2001
• Dominique Lenne and Jean-Marie Gélis and Jean-Baptiste Lagrange and Dominique Py :
  Modélisation de l'interaction dans les EIAO utilisant le calcul formel , Actes des Journées EIAO , Hermès , 2001
• Christine Largouët and Marie-Odile Cordier :
  Improving the Landcover Classification using Domain Knowledge , AI Communication special issue on Environmental Sciences and Artificial Intelligence , IOS Press , Vol. 14 , No. 1 , 35-43 , 2001 , Abstract
• Marie-Odile Cordier and Christine Largouët :
  Using model-checking techniques for diagnosing discrete-event systems , Proceedings of the Twelve International Workshop on Principles of diagnosis (DX'01) , 39-46 , mar , 2001 , Abstract , Document
• Christine Largouët and Marie-Odile Cordier :
  Adding Probabilities to timed automata to improve landcover classification , ECSQARU-2001 Workshop , IRIT - UMR 5505 CNRS - INP - UPS , 2001 , Abstract , Document
• Yannick Pencolé and Marie-Odile Cordier and Laurence Rozé :
  Incremental decentralized diagnosis approach for the supervision of a telecommunication network , DX'01 (International Workshop on Principles of Diagnosis) , Sansicario, Italy , mar , 2001 , Résumé , Abstract , Document
• Yannick Pencolé and Marie-Odile Cordier and Laurence Rozé :
  A decentralized model-based diagnostic tool for complex systems , ICTAI'01 (IEEE international conference on tools with artificial intelligence) , IEEE computer society , 95--102 , nov , 2001 , Abstract
• René Quiniou and Marie-Odile Cordier and Guy Carrault and Feng Wang :
  Application of ILP to cardiac arrhythmia characterization for chronicle recognition , ILP'2001 , Springer-Verlag , Vol. 2157 , 220-227 , sept. , 2001 , Abstract , Document
• Feng Wang and René Quiniou and Guy Carrault and Marie-Odile Cordier :
  Learning structural knowledge from the ECG , ISMDA-2001 , Springer Verlag , Vol. 2199 , 288-294 , oct. , 2001 , Abstract , Document
• Guy Carrault and Feng Wang and René Quiniou and Marie-Odile Cordier :
  Apprentissage de séquences structurées : exemple en ECG , 18e colloque GRETSI'01 sur le traitement du signal et l'image , Toulouse, France , 611-614 , septembre , 2001 , Résumé , Document
• S. Thiébaux and M.-O. Cordier :
  Supply Restoration in Power Distribution Systems -- A Benchmark for Planning under Uncertainty , Proceddings of the 6th European Conference on Planning (ECP-01) , 85-95 , september , 2001 , Abstract , Document
• Yves Moinard :
  General preferential entailments as circumscriptions , ECSQARU 2001 (Symbolic and Quantitative Approaches to Reasoning and Uncertainty) , Springer-Verlag, LNAI , Vol. 2143 , 532--543 , sep , 2001 , Abstract
• Dominique Py :
  La démonstration dans les EIAO de géométrie , Ellipses , 2001
• D. Cassard and M. Billa and V. Bouchot and A. Salleb and G. Stein and B. Tourliere :
  Predictive Mapping with GIS Andes Datasets , European Union of Geosciences, Symposium FMF5 EUG XI , Cambridge publications ISSN 1362-0886 , 2001 , Abstract and Poster
• Irène~Grosclaude and Marie-Odile~Cordier and René~Quiniou :
  Causal interaction: from a high-level representation to an operational event based representation , IJCAI 01 , aug , 2001 , Abstract , Document

• Irène Grosclaude and René Quiniou :
  Dealing with interacting faults in temporal abductive diagnosis , DX'2000: International workshop on model-based diagnosis , june , 2000 , Document
• P. Besnard and M.-O. Cordier :
  Explications causales , Proceedings of RFIA'2000 , 169--177 , feb , 2000
• M.-O. Cordier and P. Dague and M. Dumas and F. Lévy and J. Montmain and M. Staroswiecki and L. Travé-Massuyès :
  AI and Automatic Control Theory approaches of model-based diagnosis : links and underlying hypotheses , Proceedings of Safeprocess'2000 , 274--279 , june , 2000
• M.-O. Cordier and P. Dague and M. Dumas and F. Lévy and J. Montmain and M. Staroswiecki and L. Travé-Massuyès :
  AI and Automatic Control Theory approaches of model-based diagnosis : links and underlying hypotheses , Proceedings of the Eleventh International Workshop on Principles of diagnosis (DX'00) , 33--40 , june , 2000
• I.~Grosclaude :
  Diagnostic abductif temporel de pannes interagissant , RJCIA,00(5ème Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle) , Lyon, France , 2000 , Résumé
• Christine Largouët and Marie-Odile Cordier :
  Modélisation par automate temporisé pour aider à l'identification de l'occupation du sol , RFIA'2000 : Reconnaissance des Formes et Intelligence Artificielle , Paris, France , 285-294 , 1-3 Février , 2000 , Résumé , Abstract , Document
• Dominique Py :
  Exploration guidée dans un tuteur intelligent , RFIA'2000 : Reconnaissance des Formes et Intelligence Artificielle , Paris , feb , 2000
• Christine Largouët and Marie-Odile Cordier :
  Improving the landcover Classification using Domain Knowledge , XIX th Congress of the International Society for Photogrammetry and Remote Sensing (ISPRS) , Amsterdam , Vol. 4B , No. 538-545 , 17-23 Juillet , 2000 , Abstract , Document
• Christine Largouët and Marie-Odile Cordier :
  Timed Automata Model to Improve the Classification of a Sequence of Images , ECAI'2000 (European Conference on Artificial Intelligence) , Berlin, Allemagne , 156-160 , 20-25 Août , 2000 , Abstract , Document
• Christine Largouët and Marie-Odile Cordier :
  Combining Observations and Expectations: Application to the Refinement of an Image Sequence , Workshop UAI , Standford, CA, USA , 30 Juin , 2000 , Abstract , Document
• M.-O. Cordier and P. Dague and M. Dumas and F. Lévy and J. Montmain and M. Staroswiecki and L. Travé-Massuyès :
  A comparative analysis of AI and control theory approaches to model-based diagnosis , Proceedings of ECAI'2000 , 136-140 , august , 2000
• Christine Largouët and Marie-Odile Cordier :
  Improving the Landcover Classification using Domain Knowledge , BESAI'2000 (Workshop on Binding Environmental Sciences and Artificial Intelligence) , Berlin, Allemagne , (6-1)-(6-7) , Août , 2000 , Abstract , Document
• Christine Largouët :
  Aide à l'interprétation d'une séquence d'images par la modélisation du système observé. Application à la reconnaissance de l'occupation du sol , Université de Rennes I , nov , 2000
• P.~Besnard and P.~Sébillot :
  Analyse linguistique pour la conception d'un logiciel d'aide à l'argumentation , mars,avril,juin,juillet , 2000 , Rapport de la convention de recherche Thomson-CSF - Inria Rennes 1 00 C 0155 00 31327 01 2
• Moinard, Yves and Rolland, Raymond :
  Ensembles de formules équivalents pour la circonscription , RFIA'2000 : Reconnaissance des Formes et Intelligence Artificielle , Paris , II: 189--198 , feb , 2000 , Résumé , Abstract , Document
• Moinard, Yves and Rolland, Raymond :
  Equivalent sets of formulas for circumscriptions , ECAI'2000 (European Conf. on Artificial Intelligence) , IOS Press, Amsterdam , Berlin , 479-483 , aug , 2000 , Abstract , Document
• Yves Moinard and Raymond Rolland :
  Smallest Equivalent Sets for Finite Propositional Formula Circumscription , CL'2000 (International Conference on Computational Logic) , Spinger-Verlag, LNAI , London , Vol. 1861 , 897-911 , jul , 2000 , Abstract , Document
• Moinard, Yves :
  Note about cardinality-based circumscription , Artificial Intelligence , Elsevier , Vol. 119 , No. 1-2 , 259-273 , may , 2000 , Abstract , Document
• Yannick Pencolé :
  Decentralized diagnoser approach: application to telecommunication networks , DX'00 (International Workshop on Principles of Diagnosis) , 185--192 , jun , 2000 , Résumé , Abstract , Document
• Yannick Pencolé :
  Approche diagnostiqueur décentralisé : application aux réseaux de télécommunication , RJCIA'2000 (Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle) , Lyon, France , sep , 2000 , Résumé , Abstract , Document
• Moinard, Yves :
  Characterizing general preferential entailments , ECAI'2000 (European Conference on Artificial Intelligence) , IOS Press , Berlin , 474-478 , aug , 2000 , Abstract , Document
• Marie-Odile Cordier and Christophe Dousson :
  Alarm driven monitoring based on chronicles , Safeprocess'2000 , 286--291 , 2000
• Ansaf Salleb and Christel Vrain :
  An Application of Association Rule Discovery to Geographic Information Systems , 4th European Conference on Principles and Practice of Knowledge Discovery in Databases PKDD 2000 , Springer LNAI 1910 , 613-618 , 2000
• V. Bouchot and B. Tourlière and Y. Itard and A. Salleb and D. Cassard and M. Billa and Y. Deschamps and N. Nicol and J.P. Milesi :
  Méthodologie pour la valorisation des SIGs par la production de cartes de prédictivité , No. BRGM/RP-50629-FR , 2000 , BRGM/RP-50629-FR
• Feng Wang and Guy Carrault and René Quiniou and Marie-Odile Cordier and Philippe Mabo :
  Fusion de méthodes d\'apprentissage automatique et de traitement de signal pour la reconnaissance d\'arythmies , 10ème Forum des Jeunes Chercheurs du Génie Biologique et Médical , juin , 2000 , Résumé , Abstract , Document
• Moinard, Yves and Rolland, Raymond :
  Characterizations of preferential entailments , INRIA, Research Report RR-3928, IRISA, Publication Interne 1326 , Rennes, France , apr , 2000 , Résumé , Abstract , Document

• P. Besnard and M.-O. Cordier :
  Inferring causal explanations , Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'99) , Springer-Verlag , Vol. 1638 , 55--67 , jul , 1999
• Aomar Osmani and Laurence Rozé :
  Supervision of telecommunication networks , European Control Conference , sep , 1999
• Emmanuel Mayer :
  Apprentissage inductif de scénarios pour la supervision de réseaux de télécommunications , université de Rennes 1 , dec , 1999
• Guy Carrault and Marie-Odile Cordier and René Quiniou and Mireille Garreau and Jean-Jacques Bellanger and Alain Bardou :
  A model-based approach for learning to identify cardiac arrhythmias , AIMDM'99 : Artificial Intelligence in Medicine and Medical Decision Making , Springer Verlag , Aalborg, Denmark , Vol. 1620 , 165-174 , jun , 1999 , Résumé , Abstract , Document
• Ducassé, M. and Rozé, L. :
  Proof Obligations of the B Formal Method : Local proofs ensure Global Consistency , LOPSTR'99 The International Conference on LOgic-based Program Synthesis and Transformation , Venise, Italie , Vol. 1817 , 10--30 , Septembre , 1999
• Moinard, Yves and Rolland, Raymond :
  À propos de la circonscription propositionnelle , JNMR'99 , Paris , mar , 1999 , Résumé , Document
• *NULL Relational Web as View System Attribute* :
  *NULL Relational Web as View System Attribute*
• Jean-Maurice~Blin and Véronique~Masson and René~Quiniou :
  Acquisition d\'expérience par raisonnement à partir de cas dans un système de recherche , Revue d\'Intelligence Artificielle , 73-95 , mar , 1999
• Moinard, Yves and Rolland, Raymond :
  Preferential entailments, extensions and reductions of the vocabulary , INRIA, Research Report RR-3787, IRISA, Publication Interne 1273 , Rennes, France , oct , 1999 , Résumé , Abstract , Document

• L.~Rozé and {M.-O.}~Cordier :
  Diagnosing discrete-event systems: an experiment in telecommunication networks , Actes de WODES'98 (4th International Workshop on Discrete Event Systems) , Cagliari, Italie , 1998
• M.-O.~Cordier :
  When abductive diagnosis fails to explain too precise observations: an extended spectrum of Model-based diagnosis definitions based on abstracting observations , Actes de DX'98 (International Workshop on Principles of Diagnosis) , Cape Cod, États-unis , 1998
• M.-O.~Cordier and J.-P.~Krivine and P.~Laborie and S.~Thiébaux :
  Alarm processing and reconfiguration in power distribution systems , Actes de IEA-AIE'98 , Benicasim, Espagne , 1998
• Emmanuel Mayer :
  Inductive learning of chronicles , proceedings of the thirteenth biennal european conference on artificial intelligence~(ECAI'98) , 1998 , Résumé
• D.~Py :
  Quelques méthodes d'intelligence artificielle pour la modélisation de l'élève , Sciences et Techniques éducatives , Vol. 5 , No. 2 , 1998
• L.~Rozé and P.~Laborie :
  Supervision of Telecommunication Network: Extending the Diagnoser Approach , Actes de DX'98 (International Workshop on Principles of Diagnosis) , Cape Cod, États-unis , 1998
• C.~Largouët :
  Raisonnement sur l'évolution d'une parcelle agricole, pour l'acquisition de données dans un SIG , 3èmes journées Cassini 98 , Marne la Vallée, France , 1998 , poster
• D.~Py :
  L'aide à la démonstration dans le tuteur Mentoniezh , Actes du colloque ``Géométrie et informatique , IREM de Lorraine, France , 1998
• Emmanuel Mayer :
  Apprentissage inductif de scénarios , actes des quatrièmes rencontres nationales des jeunes chercheurs en intelligence artificielle~(rjcia'98) , 1998 , Résumé , Document
• François Bodin and Yann Mével and René Quiniou :
  A User Level Program Transformation Tool , ICS-98 : International Conference on Supercomputing , Melbourne, Australie , 180-187 , juillet , 1998
• C.~Largouët :
  Modélisation de l'évolution d'une parcelle agricole pour améliorer la reconnaissance de l'occupation du sol , RJCIA'98 (4èmes Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle) , Toulouse, France , 1998 , Résumé , Document
• P.~Besnard and J.-M.~Guinnebault and E.~Mayer :
  Quantification propositionnelle en logique conditionnelle , Actes de RFIA'98 (11e Congrès Reconnaissance des Formes et Intelligence Artificielle) , Clermont-Ferrand , 215-223 , Janvier , 1998
• GROUPE ALARME :
  Monitoring and alarm interpretation in industrial environments , AI Communications , Vol. 11(3-4) , 139-173 , 1998 , S.~Cauvin, M.-O.~Cordier, C.~Dousson, P.~Laborie, F.~Lévy, J.~Montmain, M.~Porcheron, I.~Servet, L.~Travé-Massuyès
• Besnard, Philippe and Moinard, Yves :
  Non-classical Default Logics , IPMU'98 , EDK, Éditions Médicales et Scientifiques, Paris , La Sorbonne, Paris , 1116--1121 , jul , 1998 , Abstract
• Moinard, Yves and Rolland, Raymond :
  Circumscriptions from what they cannot do (Preliminary report) , Common Sense'98 , Qween Mary and Westfield College, University of London , London , 20--41 , jan , 1998 , Abstract , Document
• Moinard, Yves and Rolland, Raymond :
  Propositional circumscriptions , INRIA, Research Report RR-3538, IRISA, Publication Interne 1211 , Rennes, France , oct , 1998 , Résumé , Abstract , Document
• François~Bodin and Hugues~Leroy and Yann~Mével and René~Quiniou :
  Portage de code pour architectures hautes performances , Technique et Science Informatiques , 541-562 , 1998
• Jean-Maurice Blin and Véronique Masson and René Quiniou :
  Experience acquisition with case-based reasoning in a search system , ICCIMA 98: International Conference on Computational Intelligence and Multimedia Applications , World Scientific , Monash University, Australie , fevrier , 1998

• P. Besnard and L. {Farinas del Cerro} and D. Gabbay and A. Hunter :
  Logical Handling of Default and Inconsistent Information , Chapitre 11 , Kluwer , 1997
• P. Besnard and T. Schaub :
  Circumscribing Inconsistency , Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97) , Nagoya, Japan , 150-155 , 1997
• P. Besnard and J.-M. Guinnebault :
  The characterization of non-monotonic inference relations , Proceedings of the Third Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications , Saarbr\"ucken, Germany , 120-129 , 1997
• P. Besnard and J.-M. Guinnebault and E. Mayer :
  Propositional Quantification for Conditional Logic , First International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR-97) , Springer Verlag , Bad Honnef, Allemagne , No. 1244 , 183-197 , 1997
• S. Bibas and M.-O. Cordier and P. Dague and F. Lévy and L. Rozé :
  Supervision of a Telecommunication Network : the GASPAR Project , Artificial Intelligence for Network Management Systems - IEEE Colloquium , London , avril , 1997
• GROUPE ALARME :
  Surveillance et interprétation d'alarmes en milieu industriel , Hermès , Grenoble , 9-30 , 1997 , S. Cauvin, M.-.O.~Cordier, C.~Dousson, G.~Defrandre, P. Laborie, F. Lévy, J. Montmain, M. Porcheron, I. Servet, L. Travé-Massuyès
• M.-O. Cordier and S. Thiébaux :
  Rapport final du contrat EDF R34/1H/9487/01 , juillet , 1997
• Ph. Laborie :
  Rapport d'avancement contrat EDF 1K4619 , juillet , 1997
• L. Rozé :
  Supervision de réseaux de télécommunication : une approche à base de modèles , Université de Rennes~1 , janvier , 1997
• L. Rozé :
  Supervision of telecommunication network : A diagnoser approach , Proceedings of the 8$^{th}$ International Workshop on Principles of Diagnosis (DX'97) , Mont Saint Michel , 103-111 , 1997
• M.-O. Cordier and S. Thiébaux and O. Jehl and J.-P. Krivine :
  Supply restoration in power distribution systems : a reference problem in diagnosis and reconfiguration , Proceedings of the 8$^{th}$ International Workshop on Principles of Diagnosis (DX'97) , Mont Saint Michel , 27-34 , 1997
• P. Laborie and J-P. Krivine :
  Automatic generation of chronicles and its application to alarm processing in power distribution systems , Proc. of the 8$^{th}$ International Workshop on Principles of Diagnosis (DX'97) , 61-68 , septembre , 1997 , Mont Saint Michel, France
• P. Laborie and J.-P. Krivine :
  {GEMO} : A Model-Based Approach for an Alarm Processing Function in Power Distribution Networks , International conference on Intelligent System Application to Power Systems (ISAP'97) , Seoul South Corea , 135-141 , juillet , 1997
• P. Laborie :
  GEMO : un système de génération automatique d'expertise pour la fonction de synthèse d'événements d'AUSTRAL , EDF, Direction des Etudes et Recherches , No. HR-37/97/005 , 1997
• Groupe PRC décision et représentation des connaissances :
  Décision et représentation des connaissances , Actes des 7$^{èmes}$ Journées du PRC IA , Hermès , 1997
• M.-O. Cordier and L. Rozé and S. Bibas and P. Dague and F. Lévy and C. Dousson :
  Supervision des réseaux de télécommunications , Série Actes des Séminaires Action Scientifique , France Telecom , 118-132 , mars , 1997
• P. Besnard and T. Schaub :
  Signed Systems for Paraconsistent Reasoning , Automated Reasoning , 1997
• Ph. Besnard and Y. Moinard and D. Py :
  Rapport d'avancement contrat CNET 97 1B 046 , septembre , 1997
• J. Slaney and S. Thiébaux :
  Phase Transitions and Optimality : Sense and Nonsense , Proc. IJCAI workshop on Empirical AI , Nagoya, Japan , aout , 1997 , Aussi en rapport technique TR-ARP-9-97, Australian National University, {Août 1997}
• Hubert~Guyard and Véronique~Masson and René~Quiniou :
  Expert knowledge for acalculia assessment and rehabilitation , Applied Neuropsychology , Vol. 7 , No. 4 , 419-439 , octobre , 1997 , Psychology Press Ltd

• S. Thiébaux and M.-O. Cordier and O. Jehl and J.-P. Krivine :
  Supply Restoration in Power Distribution Systems --- A Case Study in Integrating Model-Based Diagnosis and Repair Planning , Actes de UAI-96 , 525-532 , 1996
• S. Bibas and M.-O. Cordier and P. Dague and F. L'evy and L. Roz'e :
  GASPAR: a model-based system for diagnosing telecommunication networks , IMACS-IEEE/SMC International Multiconference of Computational Engineering in Systems Applications (CESA'96) , Lille, France , juillet , 1996
• S. Bibas and M.-O. Cordier and P. Dague and F. L'evy and L. Roz'e :
  Modelling a telecommunication network for supervision purposes , Proceedings of the ECAI Workshop on Model-based systems and qualitative reasoning at ECAI'96 , Budapest, Hongrie , aug , 1996
• M. Basseville and M.-O. Cordier :
  Surveillance et diagnostic de systèmes dymamiques : approches complémentaires du traitement de signal et de l'intelligence artificielle , INRIA , No. 2861 , avril , 1996
• M.-O. Cordier and S. Loiseau :
  Validation of first-order rule-based systems , Computational Intelligence , Vol. 12 , No. 4 , 523-540 , 1996
• S. Bibas and M.-O. Cordier and P. Dague and C. Dousson and F. L'evy and L. Roz'e :
  Alarm driven supervision for telecommunications network: I- Off-line scenarios generation , Annales des télécommunications , 1996
• Jean-Maurice~Blin and Véronique~Masson and René~Quiniou :
  Apprentissage incrémental par programmation logique inductive et raisonnement à partir de cas , RFIA\'96 : 10ème Congrès Reconnaissance des Formes et Intelligence Artificielle , Rennes, France , janvier , 1996
• François~Bodin and Yann~Mével and René~Quiniou :
  CABARET: A Fortran case base reasoning system for porting code to High Performance Systems , European Parallel Tools Meeting , Paris, France , octobre , 1996

• M.-O. Cordier and P. Siégel :
  Prioritized transitions for Updates , Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty , Springer , 142-151 , 1995
• Besnard, Philippe and Moinard, Yves :
  Implication connectives for logic with right weakening , IPMU'94 (Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems), in Advances in Intelligent Computing, selected papers of IPMU'94, LNCS No 945 , Springer-Verlag , Paris, July 1994 , 360--369 , 1995 , Abstract
• M.-O. Cordier and J. Lang :
  Linking transition-based update and base revision , Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty , Springer , 133-141 , 1995
• S. Bibas and M.-O. Cordier and P. Dague and F. L'evy and L. Roz'e :
  Scenario Generation for Telecommunication Networks , IJCAI Workshop on AI in Distributed Intelligent Networks , Montr'eal (Canada) , 1995
• Hubert Guyard and Véronique Masson and René Quiniou :
  Computer-based aphasia treatment meets artificial intelligence , Chapitre Clinical Forum 8 , Whurr Publisher , 275-289 , may , 1995 , reprise de Aphasiology 4(6)
• Hubert Guyard and Véronique Masson and René Quiniou :
  Introducing artificial intelligence into aphasiological data analysis: answers , Chapitre Clinical Forum 8 , Whurr Publisher , 304-308 , may , 1995 , reprise de Aphasiology 4(6)

• M.-O. Cordier and S. Thi'ebaux :
  Event-based diagnosis for evolutive systems , Proc. 5th International workshop on Principles of diagnosis(DX'94) , New Paltz , pp 64-69 , 1994
• P. Besnard and M.-O. Cordier :
  Explanatory Diagnoses and their Characterization by Circumscription , Annals of Mathematics and Artificial Intelligence , Vol. 11 , 75-96 , 1994
• M.-O. Cordier and S. Loiseau :
  Validation et mise au point de bases de connaissances , Actes de RFIA'94 , Lyon , 1994
• Léa Sombé :
  Revision and updating in knowledge bases , Wiley eds , New-York , 1994
• Moinard, Yves and Rolland, Raymond :
  Around a Powerful Property of Circumscriptions , JELIA'94, in LNCS No 838 , Springer-Verlag , York, UK , 34--49 , sep , 1994 , Abstract
• Moinard, Yves and Rolland, Raymond :
  Preferential entailments for circumscriptions , KR'94 (Int. Conf. on Knowledge Representation) , Morgan Kaufmann , Bonn , 461--472 , may , 1994
• Yves Moinard :
  Reasoning by Cases without Contraposition in Default Logic , ECAI'94 (European Conf. on Artificial Intelligence) , Wiley , Amsterdam , 381--385 , aug , 1994 , The document available on this site is a modified version, made on April 25, 1995, after a remark by Chiaki Sakama. , Abstract , Document
• Yves Moinard :
  Notes on Change and Nonmonotony , Série Revision and Updating in Knowledge Bases. , Wiley , 101--118 , 1994 , Abstract
• Py, D. :
  Reconnaissance de plan pour la modélisation de l'élève: le projet Mentoniezh , La Pensée Sauvage , 1994

• C. Bessière and M.-O. Cordier :
  Arc consistency and arc consistency again , Proceedings of the AAAI Conference , Washington , 108-113 , 1993
• S. Loiseau and M.-O. Cordier :
  La mise au point de bases de connaissances : point de rencontre entre validation et acquisition , RIA (Revue de l'Intelligence Artificielle) , 1993
• Yves Moinard :
  Unifying various approaches to default logic , IPMU'92 (Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems) in: Advanced Methods in Artificial Intelligence, LNCS-682 , Springer-Verlag , Berlin , 33--42 , 1993 , Abstract , Document
• Py, D. :
  Student modelling using plan recognition , Intellect Books , 1993

• M.-O. Cordier and P. Siegel :
  A temporal revision model for reasoning about world change , Principles of Knowledge Representation and Reasoning (KR'92) , Morgan Kaufmamm , 732-739 , 1992
• P. Besnard and M.-O. Cordier :
  Explanatory diagnoses and their computation by circumscription , Proceedings of the10th ECAI (European Conference on AI) , Vienna , 1992
• D. Py and B. {El Gass} :
  Expérimentation du tuteur Mentoniezh en classe de quatrième , IREM Grenoble , 1992
• M.-O. Cordier and C. Reynaud :
  Comment enrichir un modèle de résolution , RIA (Revue de l'Intelligence Artificielle) , 75-98 , 1992
• Yves Moinard :
  Circumscriptions as preferential entailments , ECAI'92 (European Conf. on Artificial Intelligene) , Wiley , Wien , 329--333 , aug , 1992 , Abstract
• Yves Moinard :
  Unifying various approaches to constructive defaults , Rennes, France , oct , 1992 , Abstract , Document

• M.-O. Cordier and C. Reynaud :
  Knowledge acquisition techniques and second-generation expert systems , AAI (Applied Artificial Intelligence) Journal , Vol. 5 , 209-226 , 1991
• Moinard, Yves and Rolland, Raymond :
  Circumscription and Definability , IJCAI'91 (Int. Joint Conf. on Artificial Intelligence) , Morgan Kaufmann , Sydney , 432--437 , aug , 1991 , Abstract

• Sombé, Léa :
  Reasoning under Incomplete Information in Artificial Intelligence , Wiley , New York , 1990 , English translation, slightly modified, of Som89.
• Moinard, Yves and Rolland, Raymond :
  Unexpected and unwanted results of circumscription , AIMSA'90, in Artificial Intelligence IV (methodology, systems, applications) , North-Holland , Albena, Bulg. , 61--70 , sep , 1990 , Abstract
• Dominique Py :
  Reconnaissance de plan pour l'aide à la démonstration dans un tuteur intelligent de la géométrie , Université de Rennes I , january , 1990
• Yves Moinard :
  Circumscription and Horn theories , ECAI'90 (European Conf. on Artificial Intelligence) , Pitmman Publishing , Stockholm , 449--454 , aug , 1990 , Abstract
• Yves Moinard :
  Preference by Specificity in Default Logic , ESPRIT Project DRUMS RP1 1st Workshop , Marseille , feb , 1990

• Sombé, Léa :
  Raisonnements sur des informations incomplètes en Intelligence Artificielle , Teknea , Toulouse , 1989 , Membres du groupe à cette date: Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
• Besnard, Philippe and Mercer, Robert and Moinard, Yves :
  The importance of open and recursive circumscription , Artificial Intelligence , Elsevier , Vol. 39 , No. 2 , 251--262 , jun , 1989 , Abstract
• Moinard, Yves and Rolland, Raymond :
  Résultats inattendus de la circonscription (premier et second ordre) , RFIA (Reconnaissance des Formes et Intelligence Artificielle) , Paris , 1301--1314 , dec , 1989 , Résumé , Abstract
• Yves Moinard :
  Circumscription and Definability , UWO , London, Ontario , No. 236 , mar , 1989

• Yves Moinard :
  Computing circumscription of Horn theories , ECAI'88 (European Conference on Artificial Intelligence) , Pitman Publishing , Munich , 513--515 , 1988 , Abstract
• Yves Moinard :
  Pointwise circumscription is equivalent to predicate completion (Sometimes) , LP'88 (Int. Conf. on Logic Programming) , MIT Press , Seattle , 1097--1105 , 1988 , Abstract

• Yves Moinard :
  Donner la préférence au défaut le plus spécifique , RFIA'87 (Reconnaissance des Formes et Intelligence Artificielle) , Dunod (Bordas) , Antibes , 1123--1132 , nov , 1987 , Résumé , Abstract