DREAM PUBLICATIONS BY CATEGORY

International journals

M.-O. Cordier :
Impact of spatial and temporal distribution of management practices on streamwater pollution by herbicides , Agricultural systems , Abstract
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
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
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
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
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
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/
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
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
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
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
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
Marie-Odile Cordier :
SACADEAU: A Decision-Aid System to improve Stream-Water Quality , Ercim news , Vol. 61 , 37--38 , april , 2005 , Abstract
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
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
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
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
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
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
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
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
Moinard, Yves :
Note about cardinality-based circumscription , Artificial Intelligence , Elsevier , Vol. 119 , No. 1-2 , 259-273 , may , 2000 , Abstract , Document
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
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
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
P. Besnard and T. Schaub :
Signed Systems for Paraconsistent Reasoning , Automated Reasoning , 1997
M.-O. Cordier and S. Loiseau :
Validation of first-order rule-based systems , Computational Intelligence , Vol. 12 , No. 4 , 523-540 , 1996
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 C. Reynaud :
Knowledge acquisition techniques and second-generation expert systems , AAI (Applied Artificial Intelligence) Journal , Vol. 5 , 209-226 , 1991
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

International conferences

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
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
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
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
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 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 :
Chronicles for On-line Diagnosis of Distributed Systems , CAISE-dc'08 (Conference on Advanced Information Systems Engineering - doctoral consortium) , Montpellier , june , 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
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
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
Thomas Guyet and René Quiniou :
Mining temporal patterns with quantitative intervals , 4th International Workshop on Mining Complex Data , Pisa , December , 2008 , Abstract , Document
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
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
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
The WS-Diamond Team :
Self-Healing Web Services in the WS-Diamond project , eChallenges 2008 , 2008
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
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 :
Web Services - Diagnosability, MONitoring and Diagnosis , Fifth Summer School on Ontological Engineering and the Semantic Web (SSSW'07) , Cercedilla, Spain , july , 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: Web Services - DIAgnosability, MONitoring and Diagnosis , DX'07 (18th International Worshop On Principles of Diagnosis) , Nashville, TN, USA , 243--250 , may , 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
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
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
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
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
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
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
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
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
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 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
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 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
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
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
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
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
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
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
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
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
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
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 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 , 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 :
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
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
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
Xavier Le Guillou and Pierre-Yves Glorennec :
Wombat: a toolbox for fuzzy regression trees , Scilab'04 , Rocquencourt, France , 2004
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 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
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
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
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 , 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
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
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
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
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
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
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
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
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
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
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
Emmanuel Mayer :
Inductive learning of chronicles , proceedings of the thirteenth biennal european conference on artificial intelligence~(ECAI'98) , 1998 , Résumé
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
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
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
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
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
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
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
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
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
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
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
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 T. Schaub :
Circumscribing Inconsistency , Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97) , Nagoya, Japan , 150-155 , 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}
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
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
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.-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
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 P. Siégel :
Prioritized transitions for Updates , Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty , Springer , 142-151 , 1995
Yves Moinard :
Notes on Change and Nonmonotony , Série Revision and Updating in Knowledge Bases. , Wiley , 101--118 , 1994 , Abstract
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
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
Moinard, Yves and Rolland, Raymond :
Preferential entailments for circumscriptions , KR'94 (Int. Conf. on Knowledge Representation) , Morgan Kaufmann , Bonn , 461--472 , may , 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
C. Bessière and M.-O. Cordier :
Arc consistency and arc consistency again , Proceedings of the AAAI Conference , Washington , 108-113 , 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
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
Yves Moinard :
Circumscriptions as preferential entailments , ECAI'92 (European Conf. on Artificial Intelligene) , Wiley , Wien , 329--333 , aug , 1992 , Abstract
Moinard, Yves and Rolland, Raymond :
Circumscription and Definability , IJCAI'91 (Int. Joint Conf. on Artificial Intelligence) , Morgan Kaufmann , Sydney , 432--437 , aug , 1991 , Abstract
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
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
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

National journals

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
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é
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
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
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
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
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
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
M.-O. Cordier and C. Reynaud :
Comment enrichir un modèle de résolution , RIA (Revue de l'Intelligence Artificielle) , 75-98 , 1992

National conferences

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
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
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
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
François Portet and René Quiniou :
Echantillonnage progressif guidé pour stabiliser la courbe d‘apprentissage , RFIA 2008 , Amiens , 2008 , Document
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
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
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
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
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
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
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
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
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
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
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
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 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é
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
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
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
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
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
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
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
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
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 :
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é
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
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
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
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 :
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
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
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
Dominique Py :
Exploration guidée dans un tuteur intelligent , RFIA'2000 : Reconnaissance des Formes et Intelligence Artificielle , Paris , feb , 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é
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
P. Besnard and M.-O. Cordier :
Explications causales , Proceedings of RFIA'2000 , 169--177 , feb , 2000
Moinard, Yves and Rolland, Raymond :
À propos de la circonscription propositionnelle , JNMR'99 , Paris , mar , 1999 , Résumé , Document
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
D.~Py :
L'aide à la démonstration dans le tuteur Mentoniezh , Actes du colloque ``Géométrie et informatique , IREM de Lorraine, France , 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
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
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
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
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
M.-O. Cordier and S. Loiseau :
Validation et mise au point de bases de connaissances , Actes de RFIA'94 , Lyon , 1994
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 :
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

Books

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 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
{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
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
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
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
Dominique Py :
La démonstration dans les EIAO de géométrie , Ellipses , 2001
P. Besnard and L. {Farinas del Cerro} and D. Gabbay and A. Hunter :
Logical Handling of Default and Inconsistent Information , Chapitre 11 , Kluwer , 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
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)
Léa Sombé :
Revision and updating in knowledge bases , Wiley eds , New-York , 1994
Py, D. :
Reconnaissance de plan pour la modélisation de l'élève: le projet Mentoniezh , La Pensée Sauvage , 1994
Py, D. :
Student modelling using plan recognition , Intellect Books , 1993
Sombé, Léa :
Reasoning under Incomplete Information in Artificial Intelligence , Wiley , New York , 1990 , English translation, slightly modified, of Som89.
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

Technical Reports

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
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 , IRISA, Publication Interne , Rennes , No. 1890 , may , 2008
The WS-Diamond Team :
Introduction to Software Modules , september , 2008 , Deliverable
The WS-Diamond Team :
A new design methodology , february , 2008 , Deliverable 5.2
The WS-Diamond Team :
Specification of diagnosis algorithms for Web Services -- phase 2 , april , 2008 , Deliverable 4.3
The WS-Diamond Team :
Specification of Execution Mechanisms and Composition Strategies for Self-Healing Web Services , february , 2008 , Deliverable 3.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 :
Specification of diagnosis algorithms for Web Services -- phase 1 , january , 2007 , Deliverable 4.2
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
The WS-Diamond Team :
Specification of new repair/reconfiguration algorithms for Web Services , september , 2006 , Deliverable 4.4
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
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
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
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
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
Moinard, Yves and Rolland, Raymond :
Propositional circumscriptions , INRIA, Research Report RR-3538, IRISA, Publication Interne 1211 , Rennes, France , oct , 1998 , Résumé , Abstract , Document
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
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
Yves Moinard :
Unifying various approaches to constructive defaults , Rennes, France , oct , 1992 , Abstract , Document
Yves Moinard :
Circumscription and Definability , UWO , London, Ontario , No. 236 , mar , 1989

Theses

Alice Marascu :
Extraction de motifs séquentiels dans les flux de données , University of Nice-Sophia Antipolis , september , 2009 , Résumé , Abstract
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
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
Alban Grastien :
Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables , Université de Rennes 1 , december , 2005 , Document
François Portet :
Pilotage d'algorithmes pour la reconnaissance en ligne d'arythmies cardiaques , University of Rennes 1 , december , 2005
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
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
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
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
Emmanuel Mayer :
Apprentissage inductif de scénarios pour la supervision de réseaux de télécommunications , université de Rennes 1 , dec , 1999
L. Rozé :
Supervision de réseaux de télécommunication : une approche à base de modèles , Université de Rennes~1 , janvier , 1997
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

This web site is maintained by René Quiniou using the Weave system
from the Caravel project: http://www-caravel.inria.fr.
Last modification: 10-07-2011 09:54:25

Version française