Equipe de recherche DREAM

Publications de l'équipe DREAM

2013

Chapitres d'ouvrages scientifiques

Titre
Programmation logique
Auteurs
Yves Moinard; Arnaud Lallouet; Pascal Nicolas; Igor Stéphan
Détail
Pierre Marquis, Odile Papini, Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 2, Cépaduès, Jan. 2013
Accès au bibtex
BibTex

2012

Articles dans des revues avec comité de lecture

Titre
A MODEL BASED ON INFLUENCE DIAGRAMS FOR MULTI-CRITERIA DECISION MAKING
Auteurs
Karima Sedki; Véronique Delcroix
Détail
International Journal on Artificial Intelligence Tools, 2012, 21 (4), pp. 1250018
Accès au bibtex
BibTex

Communications avec actes

Titre
Incremental mining of frequent sequences from a window sliding over a stream of itemsets
Auteurs
Thomas Guyet; René Quiniou
Détail
Journées Intelligence Artificielle Fondamentale, May 2012, France. pp. 153-162
Accès au bibtex
BibTex
Titre
Extraction incrémentale de séquences fréquentes dans un flux d'itemsets
Auteurs
Thomas Guyet; René Quiniou url
Détail
Bruno Pinaud and Guy Melançon and Yves Lechevallier. Extraction et Gestion de Connaissances (EGC'2012), Jan 2012, Bordeaux, France. Hermann, Actes de Extraction et Gestion de Connaissances (EGC'2012), RNTI
Accès au bibtex
BibTex
Titre
Segmentation multi-échelle de séries temporelles d'images satellite : Application à l'étude d'une période de sécheresse au Sénégal
Auteurs
Thomas Guyet; Hervé Nicolas; Abdou Diouck
Détail
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp. 978-2-9539515-2-3
Accès au texte intégral et bibtex
rfia2012_submission_37.pdf BibTex
Titre
Répondre aux questions "Que faire pour" par synthèse de contrôleur sur des automates temporisés - Application à la gestion de la pêche
Auteurs
Yulong Zhao; Marie-Odile Cordier; Christine Largouët
Détail
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp. 978-2-9539515-2-3
Accès au texte intégral et bibtex
rfia2012_submission_39.pdf BibTex
Titre
Utiliser la programmation par ensembles réponses pour de petits problèmes
Auteurs
Yves Moinard
Détail
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp. 978-2-9539515-2-3
Accès au texte intégral et bibtex
rfia2012_submission_102.pdf BibTex
Titre
Logiciel SACADEAU - Outil d'aide à la gestion de la qualité des eaux d'un bassin versant: simulation, apprentissage de règles de caractérisation et recommandation d'actions
Auteurs
Véronique Masson; Florimond Ployette
Détail
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp. 978-2-9539515-2-3
Accès au texte intégral et bibtex
rfia2012-demonstrations-004.pdf BibTex
Titre
Segmentation multi-échelle de séries temporelles d'images satellite : Application à l'étude d'une période de sécheresse au Sénégal.
Auteurs
Thomas Guyet; Hervé Nicolas; Abdou Diouck
Détail
Reconnaissance de Forme et Intelligence Artificielle (RFIA), Jan 2012, Lyon, France.
Accès au bibtex
BibTex
Titre
Répondre aux questions "Que faire pour" par synthèse de contrôleur sur des automates temporisés - Application à la gestion de la pêche
Auteurs
Yulong Zhao; Marie-Odile Cordier; Christine Largouet
Détail
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle) (2012), Jan 2012, Lyon, France. pp. 978-2-9539515-2-3
Accès au texte intégral et bibtex
RFIA12_Article_39_ZHAO_CORDIER_LARGOUET.pdf BibTex
Titre
Cognitive Maps and Bayesian Networks for Knowledge Representation and Reasoning
Auteurs
Karima Sedki; Louis Bonneau De Beaufort
Détail
24th International Conference on Tools with Artificial Intelligence, 2012, Greece. pp. 1035-1040
Accès au texte intégral et bibtex
SedkiBonneauSoumICTAI12.pdf BibTex
Titre
Incremental Computation of Skyline Queries with Dynamic Preferences
Auteurs
Tassadit Bouadi; Marie-Odile Cordier; René Quiniou
Détail
Stephen W. Liddle and Klaus-Dieter Schewe and A Min Tjoa and Xiaofang Zhou. Database and Expert Systems Applications (DEXA), Sep 2012, Vienne, Austria. Springer, 7446, 1, pp. 219-233
Accès au bibtex
BibTex

Mémoires

Titre
Incremental and adaptive learning for online monitoring of embedded software
Auteurs
Monica Loredana Angheloiu
Accès au texte intégral et bibtex
Angheloiu.pdf BibTex

2011

Articles dans des revues avec comité de lecture

Titre
Use Of Timed Automata And Model-Checking To Explore Scenarios On Ecosystem Models
Auteurs
Christine Largouët; Marie-Odile Cordier; Yves-Marie Bozec; Yulong Zhao; Guy Fontenelle
Détail
Environmental Modelling and Software, elsevier, 2011, 30, pp. 123-138
Accès au bibtex
BibTex
Titre
Building Actions From Classification Rules
Auteurs
Ronan Trépos; Ansaf Salleb-Aouissi; Marie-Odile Cordier; Véronique Masson; Chantal Gascuel-Odoux
Détail
Knowledge and Information Systems (KAIS) journal, Springer, 2011
Accès au bibtex
BibTex
Titre
Simulating the effect of techniques and environmental constraints on the spatio-temporal distribution of herbicide applications and stream losses
Auteurs
Jordy Salmon-Monviola; Chantal Gascuel-Odoux; Frederick Garcia; Florent Tortrat; Marie-Odile Cordier; Véronique Masson; Ronan Trépos
Détail
Agriculture, Ecosystems and Environment, 2011, 140, pp. 382-394
Accès au texte intégral et bibtex
manuscript_AGEE6112.pdf BibTex
Titre
EcoMata : Un logiciel d'aide à la décision pour améliorer la gestion des écosystèmes
Auteurs
Yulong Zhao; Christine Largouët; Marie-Odile Cordier
Détail
Ingénierie des Systèmes d'Information (ISI), 2011, 16 (3), pp. 85-111
Accès au texte intégral et bibtex
ArticleEcoMata.pdf BibTex

Communications avec actes

Titre
Extracting temporal patterns from interval-based sequences
Auteurs
Thomas Guyet; René Quiniou
Détail
International Join Conference on Artificial Intelligence (IJCAI), Jul 2011, Barcelone, Spain.
Accès au bibtex
BibTex
Titre
Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes
Auteurs
Yves Moinard
Détail
Laurence Cholvy et al.. Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), Jun 2011, Lyon, France. LIRIS, Actes des Cinqui'emes Journ'ees de l'Intelligence Artificielle Fondamentale
Accès au texte intégral et bibtex
IafASPHAL.pdf IafASPHAL.ps BibTex
Titre
Extraction de motifs temporels à partir de séquences d'événements avec intervalles temporels
Auteurs
Thomas Guyet; René Quiniou
Détail
Extraction et Gestion de Connaissances, Jan 2011, Brest, France.
Accès au bibtex
BibTex
Titre
Analyse multidimensionnelle interactive de résultats de simulation d'un agro-système
Auteurs
Tassadit Bouadi; Marie-Odile Cordier; René Quiniou; Chantal Gascuel
Détail
INFORSID, May 2011, Lille, France.
Accès au bibtex
BibTex

2010

Articles dans des revues avec comité de lecture

Titre
Surveillance de compositions de web services - Deux approches distribuées à base de chroniques pour la surveillance et le diagnostic
Auteurs
Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Rozé
Détail
RSTI-RIA, Hermès/Lavoisier, 2010, Revue d'intelligence artificielle RSTI série RIA, 24 (2), pp. 189-225
Accès au texte intégral et bibtex
xleguill-ria.pdf BibTex
Titre
Learning rules from multisource data for cardiac monitoring
Auteurs
Marie-Odile Cordier; Elisa Fromont; René Quiniou
Détail
International Journal of Biomedical Engineering and Technology (IJBET), 2010, Vol 3 (1/2), pp. 133-155
Accès au texte intégral et bibtex
IJBET.pdf BibTex
Titre
Early detection of bovine respiratory disease in young bulls using reticulo-rumen temperature boluses
Auteurs
Edouard Timsit; Sébastien Assié; René Quiniou; Henri Seegers; Nathaie Bareille
Détail
The Veterinary Journal, Elsevier, 2010
Accès au bibtex
BibTex

Communications avec actes

Titre
A formalism for causal explanations with an Answer Set Programming translation
Auteurs
Yves Moinard
Détail
Bryan Scotney and Zhi Jin. 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), Sep 2010, Belfast, United Kingdom. Springer-Verlag, KSEM 2010, LNCS
Accès au texte intégral et bibtex
causesKSEM10pubHALsent.pdf causesKSEM10pubHALsent.ps BibTex
Titre
Using ASP with recent extensions for causal explanations
Auteurs
Yves Moinard
Détail
Marcello Balduccini and Stefan Woltran. ASPOCP10, Answer Set Programming and Other Computing Paradigms Workshop, associated with ICLP, Jul 2010, Edinburgh, United Kingdom. Answer Set Programming and Other Computing Paradigms
Accès au texte intégral et bibtex
causesASPOCP10pubH1.pdf causesASPOCP10pubH1.ps BibTex
Titre
Patrons de scénarios pour l'exploration qualitative d'un écosystème
Auteurs
Christine Largouët; Marie-Odile Cordier
Détail
RFIA 2010 (Reconnaissance des Formes et Intelligence Artificielle), 2010, Caen, France.
Accès au bibtex
BibTex
Titre
Fouille de données spatiales pour la caractérisation spatiale de paysages en lien avec des fonctionnalités agro-écologiques
Auteurs
Thomas Guyet
Détail
Spatial Analysis and GEOmatics (SAGEO'10), Nov 2010, Toulouse, France. pp. 385-387
Accès au texte intégral et bibtex
Sageo_2010_CR.pdf BibTex

Communications sans actes

Titre
Early detection of bovine respiratory disease in young bulls using reticulo-rumen temperature boluses
Auteurs
Edouard Timsit; Sébastien Assié; René Quiniou; Henri Seegers; Nathalie Bareille
Détail
26th World Buiatric Congress, Nov 2010, Santiago, Chile.
Accès au bibtex
BibTex
Titre
Improved detection of bovine respiratory disease in young bulls using rumen temperature boluses
Auteurs
Edouard Timsit; Sébastien Assié; René Quiniou; Henri Seegers; Christine Fourichon; Nathalie Bareille
Détail
61st Annual Meeting of the European Association for Animal Production, Aug 2010, Heraklion, Greece.
Accès au bibtex
BibTex

Chapitres d'ouvrages scientifiques

Titre
Intelligent adaptive monitoring for cardiac surveillance
Auteurs
René Quiniou; Lucie Callens; Guy Carrault; Marie-Odile Cordier; Elisa Fromont; Philippe Mabo; François Portet
Détail
I. Bichindarritz, S. Vaidya, A. Jain, L. C. Jain. Computational Intelligence in Healthcare 4, 309, Springer Verlag, pp. 329-346, 2010, Studies in Computational Intelligence, 978-3-642-14463-9
Accès au bibtex
BibTex

Autres publications

Titre
LogAnalyzer : monitoring adaptatif d'un flux de données
Auteurs
Thomas Guyet; René Quiniou; Marie-Odile Cordier
Détail
2010. Demonstration
Accès au bibtex
BibTex

2009

Articles dans des revues avec comité de lecture

Titre
A Model-based Approach for Diagnosing Faults in Web Service Processes
Auteurs
Yuhong Yan; Philippe Dague; Yannick Pencolé; Marie-Odile Cordier
Détail
International Journal of Web Services Research JWSR, Idea Group Publishing, 2009
Accès au texte intégral et bibtex
JWSR_webdia2_version_4.pdf BibTex
Titre
A decision-oriented model to evaluate the effect of land use and agricultural management on herbicide contamination in stream water
Auteurs
Chantal Gascuel Odoux; Pierre Aurousseau; Marie-Odile Cordier; Patrick Durand; Frederick Garcia; Véronique Masson; Jordy Salmon-Monviola; Florent Tortrat; Ronan Trépos
Détail
Environmental Modelling and Software, 2009, 24, pp. 1433-1446
Accès au bibtex
BibTex
Titre
A plot drainage network as a conceptual tool for the spatial representation of surface flow pathways in agricultural catchments
Auteurs
Pierre Aurousseau; Chantal Gascuel-Odoux; Hervé Squividant; Ronan Trépos; Florent Tortrat; Marie-Odile Cordier
Détail
Computers and Geosciences, 2009, 35, pp. 276-288
Accès au texte intégral et bibtex
CAGEO-D-07-00056.pdf BibTex
Titre
Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer
Auteurs
Marie-Odile Cordier; Yannick Pencolé; Louise Travé-Massuyès; Thierry Vidal
Détail
Information - Interaction - Intelligence, Ed. Cépaduès, 2009, 8 (2)
Accès au bibtex
BibTex

Communications avec actes

Titre
Interprétation collaborative de séries temporelles
Auteurs
Thomas Guyet; Catherine Garbay; Michel Dojat
Détail
Colloque de l'association pour la recherche cognitive, Dec 2009, Rouen, France.
Accès au texte intégral et bibtex
ARCo_CR_v5.pdf BibTex
Titre
Autonomic Intrusion Detection System
Auteurs
Wei Wang; Thomas Guyet; Svein Knapskog
Détail
Recent Advances in Intrusion Detection, Sep 2009, Saint Malo, France.
Accès au bibtex
BibTex
Titre
A General Framework for Adaptive and Online Detection of Web attacks
Auteurs
Wei Wang; Florent Masseglia; Thomas Guyet; René Quiniou; Marie-Odile Cordier
Détail
18th International World Wide Web Conference - WWW 2009, Apr 2009, Madrid, Spain.
Accès au bibtex
BibTex
Titre
Monitoring WS-CDL-based choreographies of Web Services
Auteurs
Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Rozé
Détail
DX'09 (20th International Worshop On Principles of Diagnosis), 2009, Stockholm, Sweden, Sweden.
Accès au bibtex
BibTex
Titre
Surveillance de chorégraphies de Web Services basées sur WS-CDL
Auteurs
Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Rozé
Détail
RJCIA'09 (9e Rencontres des Jeunes Chercheurs en Intelligence Artificielle), 2009, Hammamet, Tunisia.
Accès au bibtex
BibTex
Titre
Apprentissage incrémental de règles de décision à partir de données d'un simulateur
Auteurs
Marie-Odile Cordier; Thomas Guyet; Christine Largouët; Véronique Masson; Henri-Maxime Suchier
Détail
Atelier INFORSID : Systèmes d'Information et de Décision pour l'Environnement, 2009, Toulouse, France.
Accès au bibtex
BibTex
Titre
Remarks about the use of Answer Set Programming for a causal formalism
Auteurs
Marie-Odile Cordier; Yves Moinard
Détail
MICRAC project Workshop (Toulouse), 2009, Toulouse, France.
Accès au bibtex
BibTex
Titre
Diagnostic multi-sources adaptatif Application à la détection d'intrusion dans des serveurs Web
Auteurs
Thomas Guyet; René Quiniou; Marie-Odile Cordier; Wei Wang
Détail
EGC 2009, 2009, Strasbourg, France.
Accès au bibtex
BibTex
Titre
Online and Adaptive anomaly Detection: detecting intrusions in unlabelled audit data streams
Auteurs
Wei Wang; Thomas Guyet; René Quiniou; Marie-Odile Cordier; Florent Masseglia; Brigitte Trousse
Détail
EGC 2009, 2009, Strasbourg, France.
Accès au bibtex
BibTex
Titre
Scenario templates to analyse qualitative ecosystem models
Auteurs
Christine Largouët; Marie-Odile Cordier; Guy Fontenelle
Détail
R.D. Braddock and Anderssen, R.S. and L.T.H. Newham. International Congress on Modelling and Simulation (MODSIM'09), 2009, Cairns, Australia. pp. 2129–2135
Accès au texte intégral et bibtex
modsim-final.pdf BibTex

Chapitres d'ouvrages scientifiques

Titre
Modélisation du transfert d'herbicides dans un bassin versant pour la maîtrise de la qualité des eaux
Auteurs
Marie-Odile Cordier; Pierre Aurousseau; Michel Falchier; Frederick Garcia; Chantal Gascuel-Odoux; Djilali Heddadj; Laurence Lebouille; Véronique Masson; Jordy Salmon-Monviola; Florent Tortrat; Ronan Trépos
Détail
Quae éditions. Concevoir et construire la décision - Démarches en agriculture, agroalimentaire et espace rural, Quae, pp. 41-52, 2009, 978-2-7592-0365-9
Accès au bibtex
BibTex

Rapports

Titre
Self-adaptive web intrusion detection system
Auteurs
Thomas Guyet; René Quiniou; Wei Wang; Marie-Odile Cordier
Détail
[Research Report], 2009, pp. 24. RR-6989
Accès au texte intégral et bibtex
RR-6989.pdf RR-6989.ps BibTex

2008

Articles dans des revues avec comité de lecture

Titre
New lanthanide based coordination polymers with high potential porosity.
Auteurs
Nicolas Kerbellec; Carole Daiguebonne; Kevin Bernot; Olivier Guillou; Xavier Le Guillou
Détail
Journal of Alloys and Compounds, 2008, 541, pp. 377-383
Accès au bibtex
BibTex
Titre
Ontology-based inference for causal explanation
Auteurs
Philippe Besnard; Marie-Odile Cordier; Yves Moinard
Détail
Integrated Computer-Aided Engineering, Hojjat Adeli, 2008, 15 (4), pp. 351-367
Accès au texte intégral et bibtex
causesHAL.pdf causesHAL.ps BibTex

Communications avec actes

Titre
Intelligent adaptive monitoring for cardiac surveillance
Auteurs
Lucie Callens; Guy Carrault; Marie-Odile Cordier; Elisa Fromont; François Portet; René Quiniou
Détail
European Conference on Artificial Intelligence, Jul 2008, Greece. pp. 653-657
Accès au texte intégral et bibtex
pais2008_quiniou.pdf BibTex
Titre
Chronicles for On-line Diagnosis of Distributed Systems
Auteurs
Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Roze
Détail
ECAI'08 (18th European Conference on Artificial Intelligence), Jul 2008, Patras, Greece.
Accès au bibtex
BibTex
Titre
Towards fast detecting intrusions: using key attributes of network trafic
Auteurs
Wei Wang; Sylvain Gomblaut; Thomas Guyet
Détail
The Third International Conference on Internet Monitoring and Protection, Jul 2008, Bucharest, Romania.
Accès au bibtex
BibTex
Titre
Mining temporal patterns with quantitative intervals
Auteurs
Thomas Guyet; René Quiniou
Détail
4th International Workshop on Mining Complex Data, (IEEE ICDM) Workshop, 2008, Italy. pp. 10
Accès au texte intégral et bibtex
Guyet-MiningTemporalPattern.pdf BibTex
Titre
Apprentissage d'arbre de décision pour le pilotage en ligne d'algorithmes de détection sur les électrocardiogrammes
Auteurs
François Portet; René Quiniou; Marie-Odile Cordier; Guy Carrault
Détail
16e conférence Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), Jan 2008, Amiens, France.
Accès au texte intégral et bibtex
RFIA_regle_pilotage-v5.pdf BibTex
Titre
Échantillonnage progressif guidé pour stabiliser la courbe d'apprentissage
Auteurs
François Portet; René Quiniou
Détail
16e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Jan 2008, Amiens, France.
Accès au texte intégral et bibtex
RFIA_progressive_sampling-v5.pdf BibTex
Titre
Vers la classification darwinienne d'un processeur fossile
Auteurs
Xavier Le Guillou; Loïc Cudennec
Détail
Rodolphe Heliot and Antoine Zimmermann. The Third Review of April Fool's day Transactions (RAFT'2008), Apr 2008, Grenoble, France. pp. 9-21
Accès au texte intégral et bibtex
xleguill-lcudenne_raft2008.pdf BibTex
Titre
Deriving explanations from causal information
Auteurs
Philippe Besnard; Marie-Odile Cordier; Yves Moinard
Détail
M. Ghallab and C. D. Spytopoulos and N. Fakotakis and N. Avouris. ECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. IOS Press, pp. 723-724
Accès au bibtex
BibTex
Titre
Characterizing and checking self-healibility
Auteurs
Marie-Odile Cordier; Yannick Pencolé; Louise Travé-Massuyès; Thierry Vidal
Détail
M. Ghallab and C. D. Spytopoulos and N. Fakotakis and N. Avouris. ECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. IOS Press, pp. 789-790
Accès au bibtex
BibTex
Titre
Symbolic learning of relationships between agricultural activities and water quality from simulations for decision support
Auteurs
Ronan Trépos; Chantal Gascuel-Odoux; Marie-Odile Cordier; Véronique Masson
Détail
EGU2008-A-05675. European Geosciences Union (General Assembly), 2008, Vienne, Austria.
Accès au bibtex
BibTex
Titre
Induction de motifs spatiaux décrivant les chemins de ruissellement
Auteurs
Ronan Trépos; Véronique Masson; Marie-Odile Cordier; Chantal Gascuel-Odoux
Détail
Atelier Représentation et Raisonnement sur le Temps et l'Espace (RTE'08), 2008, Montpellier, France. pp. 1-13
Accès au bibtex
BibTex
Titre
Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer
Auteurs
Marie-Odile Cordier; Yannick Pencolé; Louise Travé-Massuyès; Thierry Vidal
Détail
RFIA'08 (16ème Congrès Reconnaissance des Formes et Intelligence Artificielle), 2008, Amiens, France.
Accès au bibtex
BibTex

Rapports

Titre
Chronicles for On-line Diagnosis of Distributed Systems
Auteurs
Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Rozé
Détail
[Research Report], 2008, pp. 49. PI 1890
Accès au texte intégral et bibtex
PI-1890.pdf BibTex
Titre
Détection d'événements physiologiques sur des séries de température ruminale mesurées par un bolus
Auteurs
Tristan Moreau; René Quiniou; Marie-Odile Cordier
Détail
[Technical Report], 2008
Accès au bibtex
BibTex

2007

Articles dans des revues avec comité de lecture

Titre
Forgetting literals with varying propositional symbols
Auteurs
Yves Moinard
Détail
J. of Logic and Computation, Oxford University Press, 2007, 17 (5), pp. 955-982
Accès au bibtex
BibTex

Communications avec actes

Titre
Ontology-based inference for causal explanation
Auteurs
Philippe Besnard; Marie-Odile Cordier; Yves Moinard
Détail
Zili Zhang and Jörg Siekmann. KSEM07 (Second International Conference on Knowledge Science, Engineering and Management), 2007, Melbourne, Australia. Springer, pp. 153-164, LNAI
Accès au bibtex
BibTex
Titre
Self-healablity = diagnosability + repairability
Auteurs
Marie-Odile Cordier; Yannick Pencolé; Louise Travé-Massuyès; Thierry Vidal
Détail
DX07 (18th International Workshop on Principles of Diagnosis, 2007, Nashville, TN, United States. pp. 251-258
Accès au bibtex
BibTex
Titre
An Experience of Using ASP for Toy Examples
Auteurs
Yves Moinard
Détail
Stefania Costantini and Richard Watson. Fourth Workshop on Answer Set Programming (ASP 07), 2007, Porto, Portugal. Facultade de Ciencias, Universidade do Porto, pp. 133-147
Accès au bibtex
BibTex
Titre
Towards data mining without information on knowledge structure
Auteurs
Alexandre Vautier; Marie-Odile Cordier; René Quiniou
Détail
PKDD'07 (Principles and Practice of Knowledge Discovery in Databases), 2007, Warsaw, Poland. 4702, pp. 300-311, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex
Titre
Learning Decision Tree for Selecting QRS Detectors for Cardiac Monitoring
Auteurs
François Portet; René Quiniou; Marie-Odile Cordier; Guy Carrault
Détail
Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter. 11th Conference on Artificial Intelligence in Medicine (AIME 07), 2007, Amsterdam, Netherlands. Springer Verlag, 4594, pp. 170-174, LNCS
Accès au bibtex
BibTex
Titre
Apprentissage de motifs spatiaux et agronomiques jouant un rôle dans la contamination de
Auteurs
Ronan Trépos; Marie-Odile Cordier; Véronique Masson; Chantal Gascuel-Odoux
Détail
RJCIA'07 (8 èmes Rencontres Jeunes Chercheurs en Intelligence Artificielle), 2007, Grenoble, France. pp. 231-246
Accès au bibtex
BibTex
Titre
Distributed Chronicles for On-line Diagnosis of Web Services
Auteurs
Marie-Odile Cordier; Xavier Le Guillou; Sophie Robin; Laurence Rozé; Thierry Vidal
Détail
DX'07 (18th International Worshop On Principles of Diagnosis), 2007, Nashville, TN, United States. pp. 37-44
Accès au bibtex
BibTex
Titre
Diagnosing Web Service On-line with Distributed Chronicles
Auteurs
Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Rozé
Détail
PhdForum'07 (The Second Beijing-Hong Kong International Doctorial Forum 2007), 2007, Hong-Kong, China.
Accès au bibtex
BibTex
Titre
Chroniques distribuées pour le diagnostic en-ligne de Web Services
Auteurs
Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Rozé; Thierry Vidal
Détail
RJCIA'07 (8e Rencontres des Jeunes Chercheurs en Intelligence Artificielle), 2007, Grenoble, France. pp. 115-132
Accès au bibtex
BibTex

Chapitres d'ouvrages scientifiques

Titre
Modèles graphiques pour le raisonnement temporel et spatial
Auteurs
Jean-Francois Mari; Christine Largouët
Détail
F. Le Ber, G. Ligozat, O. Papini. Raisonnement sur l'espace et le temps, Edition Lavoisier, HERMES, pp. 249 - 271, Jan. 2007, ISBN : 2-7462-1455-5
Accès au bibtex
BibTex
Titre
On the Discovery of Exception Rules: A Survey
Auteurs
Béatrice Duval; Ansaf Salleb; Christel Vrain
Détail
F. Guillet, H.J. Hamilton. Quality Measures in Data Mining Book, Springer in the Series Studies in Computational Intelligence, pp. 77-98, 2007
Accès au bibtex
BibTex

2006

Articles dans des revues avec comité de lecture

Titre
Exploration guidée en apprentissage par renforcement
Auteurs
Pascal Garcia
Détail
Revue d'Intelligence Artificielle, hermes, 2006, Decision et planification dans l'incertain, 20 (2-3)
Accès au bibtex
BibTex

Communications avec actes

Titre
Supervision Patterns in Discrete Event Systems Diagnosis
Auteurs
Thierry Jéron; Hervé Marchand; Sophie Pinchinat; Marie-Odile Cordier
Détail
Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. IEEE Computer society, pp. 262-268
Accès au texte intégral et bibtex
2006-Wodes-Diag.pdf BibTex
Titre
Apprentissage multisource par programmation logique inductive
Auteurs
Elisa Fromont; René Quiniou; Marie-Odile Cordier
Détail
Patrick BOUTHEMY et Yves DEMAZEAU. 15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Jan 2006, Tour, France. Presses universitaires François-Rabelais, Quinzième congrès francophone Reconnaissance des formes et intelligence artificielle ‪(‬RFIA 2006‪)‬, 2/ISBN 2-86906-216-8, pp. 115, Sciences, Technologie Informatique
Accès au texte intégral et bibtex
rfia06_fromont.pdf BibTex
Titre
Pilotage d'algorithmes pour un diagnostic médical robuste en cardiologie
Auteurs
François Portet; Guy Carrault; Marie-Odile Cordier; René Quiniou
Détail
15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Feb 2006, Tours/France.
Accès au texte intégral et bibtex
rfia2006.pdf BibTex
Titre
Exploiting independence in a decentralised and incremental approach of diagnosis
Auteurs
Alban Grastien; Marie-Odile Cordier
Détail
17th International Workshop on Principles of Diagnosis (DX-06), Jun 2006, Peñaranda de Duero / Spain.
Accès au texte intégral et bibtex
dx.pdf BibTex
Titre
Exploiting independence in a decentralised and incremental approach of diagnosis
Auteurs
Alban Grastien; Marie-Odile Cordier
Détail
IJCAI 07, Jan 2007, Hyderabad.
Accès au texte intégral et bibtex
ijcai.pdf BibTex
Titre
Motifs de surveillance pour le diagnostic de systèmes à événements discrets
Auteurs
Thierry Jéron; Hervé Marchand; Marie-Odile Cordier
Détail
RFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France.
Accès au bibtex
BibTex
Titre
Configurations for Inference between Causal Statements
Auteurs
Philippe Besnard; Marie-Odile Cordier; Yves Moinard
Détail
Jérôme Lang and Fangzhen Lin and Ju Wang. KSEM 2006 (First Int. Conf. on Knowledge Science, Engineering and Management), 2006, Guilin, China. Springer, pp. 292-304, LNAI
Accès au bibtex
BibTex
Titre
Comparing diagnosability in continuous and discrete-events systems
Auteurs
Marie-Odile Cordier; Louise Travé-Massuyès; Xavier Pucel
Détail
DX'06 (17th International workshop on principles of Diagnosis), 2006, Burgos, Spain. pp. 55-60
Accès au bibtex
BibTex
Titre
Comparing diagnosability in continuous discrete-event systems
Auteurs
Marie-Odile Cordier; Louise Travé-Massuyès; Xavier Pucel
Détail
Safeprocess'2006, 2006, Beijing, China.
Accès au bibtex
BibTex
Titre
Supervision patterns in discrete event systems
Auteurs
Thierry Jéron; Hervé Marchand; Sophie Pinchinat; Marie-Odile Cordier
Détail
DX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp. 117-124
Accès au bibtex
BibTex
Titre
Oubli de littéraux avec symboles propositionnels variables
Auteurs
Yves Moinard
Détail
Patrick Bouthemy and Yves Demazeau. RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle), 2006, Tours, France. AFRIF-AFIA, pp. 120 (1-10)
Accès au bibtex
BibTex
Titre
About the computation of forgetting symbols and literals
Auteurs
Yves Moinard
Détail
NMR 2006 ( 11th Workshop on Non-monotonic Reasoning), 2006, Lake District, United Kingdom. Institut für Informatik, Technische Universität Clausthal, Germany (http://cig.in.tu-clausthal.de/), pp. 209-217
Accès au bibtex
BibTex
Titre
Une approche fondée sur une distance pour la recommandation d'actions
Auteurs
Ronan Trépos; Ansaf Salleb; Marie-Odile Cordier; Véronique Masson; Chantal Gascuel
Détail
RFIA'2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle), 2006, Tours, France.
Accès au bibtex
BibTex
Titre
Agrégation d'alarmes faiblement structurées
Auteurs
Alexandre Vautier; Marie-Odile Cordier; Mireille Ducassé; René Quiniou
Détail
Atelier Fouille de Données Temporelles, EGC 06, 2006, Lille, France.
Accès au bibtex
BibTex

Autres publications

Titre
Visualization of Internet Flow Records
Auteurs
Alexandre Vautier; Marie-Odile Cordier; Mireille Ducassé; René Quiniou
Détail
2006. Rapport Avancement projet CURAR - CRE France Telecom R & D
Accès au bibtex
BibTex

Rapports

Titre
Supervision Patterns in Discrete Event Systems Diagnosis
Auteurs
Thierry Jéron; Hervé Marchand; Sophie Pinchinat; Marie-Odile Cordier
Détail
[Research Report], 2006, pp. 16. PI 1784
Accès au texte intégral et bibtex
PI-1784.pdf PI-1784.ps BibTex

2005

Articles dans des revues avec comité de lecture

Titre
Evaluation of real-time QRS detection algorithms in variable contexts
Auteurs
François Portet; Guy Carrault; Alfredo Hernandez
Détail
Medical & biological engineering & computing., IEE, 2005, 43 (3), pp. 381-387
Accès au texte intégral et bibtex
MS04102.pdf BibTex
Titre
SACADEAU: A Decision-Aid System to improve Stream-Water Quality
Auteurs
Marie-Odile Cordier
Détail
ERCIM News, IOS Press, 2005, 61, pp. 37-38
Accès au bibtex
BibTex
Titre
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
Auteurs
Yannick Pencolé; Marie-Odile Cordier
Détail
Artificial Intelligence Journal, elsevier, 2005, 164 (1-2), pp. 121-170
Accès au bibtex
BibTex

Communications avec actes

Titre
Utilisation des chaînes d'automates pour le diagnostic décentralisé
Auteurs
Alban Grastien
Détail
RFIA06, Jan 2006, Tours.
Accès au texte intégral et bibtex
dec.pdf dec.ps BibTex
Titre
Distributed Authentication in GRID5000
Auteurs
Sébastien Varette; Sébastien Georget; Johan Montagnat url; Jean-Louis Roch; Franck Leprévost
Détail
Grid Computing and its Application to Data Analysis (GADA'05), Nov 2005, Agia Napa, Cyprus. Springer, LNCS 3762, pp. 314-326
Accès au texte intégral et bibtex
GADA05.pdf BibTex
Titre
Estimation of the Density of Datasets with Decision Diagrams
Auteurs
Ansaf Salleb; Christel Vrain
Détail
Mohand-Said Hacid, Neil V. Murray, Zbigniew W. Raś, Shusaku Tsumoto. 2005. Springer, pp. 688-697, LNCS 3488
Accès au bibtex
BibTex
Titre
Extraction de Règles d'Association Quantitatives - Application à des Données Médicales
Auteurs
Cyril Nortet; Ansaf Salleb; Teddy Turmeaux; Christel Vrain
Détail
Nicole Vincent et Suzanne Pinson. EGC 2005, 2005, France. Cépaduès éditions, pp. 495-506, RNTI - E3 - revue des nouvelles technologies de l'information
Accès au bibtex
BibTex
Titre
Distributed Authentication in GRID5000
Auteurs
Sébastien Varrette; Sébastien Georget; Johan Montagnat url; Jean-Louis Roch; Franck Leprévost
Détail
Springer. GADA 2005 : The Second International Workshop on Grid Computing and its Application to Data Analysis, Oct 2005, Agia Napa, Cyprus. Springer, 3762, pp. 314-326, LNCS
Accès au bibtex
BibTex
Titre
Incremental Diagnosis of Discrete-Event Systems
Auteurs
Alban Grastien; Marie-Odile Cordier; Christine Largouët
Détail
DX, Jun 2005, Pacific Grove, California, USA.
Accès au texte intégral et bibtex
19_grastien-cordier-largou.pdf BibTex
Titre
Learning Rules from Multisource Data for Cardiac Monitoring
Auteurs
Elisa Fromont; René Quiniou; Marie-Odile Cordier
Détail
Silvia Miksch, Jim Hunter, Elpida Kervanou. Artificial Intelligence in Medicine, Jul 2005, Aberdeen, Scotland. Springer, 3581, pp. 484-493, LNCS
Accès au texte intégral et bibtex
aime05_fromont.pdf BibTex
Titre
First Steps Towards Incremental Diagnosis of Discrete-Event Systems
Auteurs
Alban Grastien; Marie-Odile Cordier; Christine Largouët
Détail
Canadian AI'05, May 2005, Victoria / Canada.
Accès au texte intégral et bibtex
canada.pdf BibTex
Titre
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
Auteurs
Alban Grastien; Marie-Odile Cordier; Christine Largouët
Détail
AIIA'05 (Congress of the Italian Association for Artificial Intelligence), Sep 2005, Milan / Italy.
Accès au texte intégral et bibtex
italy.pdf BibTex
Titre
Monitoring Web Service Networks in a Model-based Approach
Auteurs
Yuhong Yan; Yannick Pencolé; Marie-Odile Cordier; Alban Grastien
Détail
ECOWS'05 (European Conference on Web Services), Nov 2005, Växjö / Sweden.
Accès au texte intégral et bibtex
ecows05.pdf BibTex
Titre
Pilotage d'un système de monitoring cardiaque multisource
Auteurs
Elisa Fromont; François Portet
Détail
Alexandre Vautier, Sylvie Saget. MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, Nov 2005, Rennes. pp. 346-355
Accès au texte intégral et bibtex
54.pdf BibTex
Titre
Pilotage en ligne d'algorithmes de traitement du signal guidé par le contexte courant
Auteurs
François Portet; Guy Carrault; Marie-Odile Cordier; René Quiniou
Détail
7e Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2005), May 2005, Nice/France.
Accès au texte intégral et bibtex
rjcia05.pdf BibTex
Titre
Piloting Signal Processing Algorithms in a Cardiac Monitoring Context
Auteurs
François Portet; Guy Carrault; Marie-Odile Cordier; René Quiniou
Détail
First Doctoral Consortium of the 10th Conference on Artificial Intelligence in Medicine (AIME 2005), Jul 2005, Aberdeen/Scotland.
Accès au texte intégral et bibtex
aime05.pdf BibTex
Titre
PILOTING REAL-TIME QRS DETECTION ALGORITHMS IN VARIABLE CONTEXTS
Auteurs
François Portet; Guy Carrault
Détail
Jiri Hozman, Peter Kneppo. 3rd European Medical & Biological Engineering Conference - EMBEC 2005, Nov 2005, Prague/Czech Republic. IFMBE Proceedings, 11
Accès au texte intégral et bibtex
embec2005.pdf BibTex
Titre
Apprentissage relationnel de motifs temporels
Auteurs
Marie-Odile Cordier; René Quiniou
Détail
Atelier Extraction de motifs temporels pour la détection en ligne de situations critiques à EGC 2005, 2005, Paris, France. Cépaduès, RNTI
Accès au bibtex
BibTex
Titre
A machine learning approach for evaluating the impact of land use and management practices on streamwater pollution by pesticides
Auteurs
Marie-Odile Cordier; Frederick Garcia; Chantal Gascuel; Véronique Masson; Jordy Salmon-Monviola; Florent Tortrat; Ronan Trépos
Détail
Modelling and Simulation Society of Australia and New Zealand. MODSIM'05 (International Congress on Modelling and Simulation), 2005, Melbourne, Australia.
Accès au bibtex
BibTex
Titre
Forgetting literals with varying propositional symbols
Auteurs
Yves Moinard
Détail
Sheila McIlraith and Pavlos Peppas and Michael Thielscher. Common Sense 2005 (7th Int. Symp. on Logical Formalization of Common Sense Reasoning), 2005, Corfu, Greece, Greece. Technische Universitat Dresden, pp. 169-176
Accès au bibtex
BibTex
Titre
A Distance Based Approach for Action Recommendation
Auteurs
Ronan Trépos; Ansaf Salleb; Marie-Odile Cordier; Véronique Masson; Chantal Gascuel
Détail
ECML 05 (European Conference on Machine Learning), 2005, Porto, Portugal, Portugal. Springer, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex
Titre
Extension des bases de données inductives pour la découverte de chroniques avec contraintes temporelles
Auteurs
Alexandre Vautier; Marie-Odile Cordier; René Quiniou
Détail
Nicole Vincent and Suzanne Pinson. Proceedings of EGC 2005 (Extraction et Gestion de Connaissances), 2005, Paris, France. Cepadues editions
Accès au bibtex
BibTex
Titre
An Inductive Database for Mining Temporal Patterns in Event Sequences (long version)
Auteurs
Alexandre Vautier; Marie-Odile Cordier; René Quiniou
Détail
PKDD (Principles and Practice of Knowledge Discovery in Databases) - Workshop mining spatio-temporal data, 2005, Porto, Portugal, Portugal.
Accès au bibtex
BibTex
Titre
Configurations for Inference from Causal Statements: Preliminary Report
Auteurs
Philippe Besnard; Marie-Odile Cordier; Yves Moinard
Détail
Stefania Bandini and Sara Manzoni. AI*IA 2005 (9th Congress of the Italian Association for Artificial Intelligence), 2005, Milan, Italy. Springer, pp. 282-285, LNAI
Accès au bibtex
BibTex
Titre
Incremental Diagnosis of Discrete-Event Systems
Auteurs
Alban Grastien; Marie-Odile Cordier; Christine Largouët
Détail
Leslie Pack Kaelbling and Alessandro Saffiotti. IJCAI'05 (International Joint Conference on Artificial Intelligence), 2005, Edinburgh, Scotland, United Kingdom. Professionnal Book Center, pp. 1564-1565
Accès au bibtex
BibTex
Titre
An Inductive Database for Mining Temporal Patterns in Event Sequences (short version)
Auteurs
Alexandre Vautier; Marie-Odile Cordier; René Quiniou
Détail
Leslie Pack Kaelbling and Alessandro Saffiotti. Proceedings of IJCAI-05 (International Joint Conference on Artificial Intelligence), 2005, Edinburgh, United Kingdom. pp. 1640-1641
Accès au bibtex
BibTex

Communications sans actes

Titre
Le rôle de l'utilisateur dans un processus d'extraction de règles d'association
Auteurs
Cyril Nortet; Ansaf Salleb; Teddy Turmeaux; Christel Vrain
Détail
Atelier Qualité des Données et des Connaissances. Associé à ECG 2005, 2005, France.
Accès au bibtex
BibTex

Chapitres d'ouvrages scientifiques

Titre
Extraction de connaissances provenant de données multisources pour la caractérisation d'arythmies cardiaques
Auteurs
Elisa Fromont; Marie-Odile Cordier; René Quiniou
Détail
O. Boussaid and P. Gançarski and F. Masseglia and B. Trousse and G. Venturini and D. Zighed. Fouille de données complexes, RNTI-E-4, Cepaduès, pp. 25-45, 2005, Revue des Nouvelles Technologies de l~Information
Accès au bibtex
BibTex

Thèses

Titre
Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables
Auteurs
Alban Grastien
Détail
Université Rennes 1, Dec. 2005. French
Accès au texte intégral et bibtex
these.pdf BibTex
Titre
Apprentissage multisource par programmation logique inductive : application à la caractérisation d'arythmies cardiaques
Auteurs
Elisa Fromont
Détail
informatique. Université Rennes 1, Dec. 2005. French
Accès au texte intégral et bibtex
these.pdf BibTex
Titre
Pilotage d'algorithmes pour la reconnaissance en ligne d'arythmies cardiaques
Auteurs
François Portet
Détail
informatique. Université Rennes 1, Dec. 2005. French
Accès au texte intégral et bibtex
these.pdf BibTex

2004

Articles dans des revues avec comité de lecture

Titre
Conflicts versus Analytical Redundancy Relations: a Comparative Analysis of the Model Based Diagnosis Approach from the Artificial Intelligence and Automatic Control Perspective
Auteurs
Marie-Odile Cordier; Philippe Dague; François Lévy; Jacky Montmain; Marcel Staroswiecki; Louise Travé-Massuyès
Détail
IEEE transactions on systems, man and cybernetics, 2004, 34, pp. 2163-2177
Accès au bibtex
BibTex
Titre
Conflicts versus Analytical Redundancy Relations: A comparative analysis of the model based diagnosis approach from the Artificial Intelligence and Automatic Control perspectives
Auteurs
Marie-Odile Cordier; Philippe Dague; François Lévy; Jacky Montmain; Marcel Staroswiecki; Louise Travé-Massuyès
Détail
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2004, 34 (5), pp. xx
Accès au bibtex
BibTex

Communications avec actes

Titre
Extending Decentralized Discrete-Event Modelling to Diagnose Reconfigurable Systems
Auteurs
Alban Grastien; Marie-Odile Cordier; Christine Largouët
Détail
15 international workshop on principles of diagnosis, Jun 2004, Carcasonne / France.
Accès au texte intégral et bibtex
reconf.pdf reconf.ps BibTex

2003

Articles dans des revues avec comité de lecture

Titre
Temporal abstraction and inductive logic programming for arrhythmia recognition from electrocardiograms.
Auteurs
Guy Carrault; Marie-Odile Cordier; René Quiniou; F. Wang
Détail
Artificial Intelligence in Medicine, 2003, 28 (3), pp. 231-63
Accès au bibtex
BibTex

Communications avec actes

Titre
Kardio and Calicot: a comparison of two cardiac arrhythmia classifiers
Auteurs
Elisa Fromont; Alfredo Hernandez; Marie-Odile Cordier; René Quiniou
Détail
Artificial Intelligence in Medicine Europe, workshop QUALITATIVE and MODEL-BASED REASONING IN BIOMEDICINE, Oct 2003, Cyprus, France. pp. 29-33
Accès au texte intégral et bibtex
aime03_fromont.pdf BibTex
Titre
Efficient trajectories computing using inversibilities properties
Auteurs
Marie-Odile Cordier; Alban Grastien; Christine Largouët; Yannick Pencolé
Détail
14th international workshop on principles of diagnosis, Jun 2003, Washington / USA.
Accès au texte intégral et bibtex
xclub.pdf BibTex
Titre
Calcul de trajectoires utilisant les propriétés d'interversibilité
Auteurs
Marie-Odile Cordier; Alban Grastien; Christine Largouët; Yannick Pencolé
Détail
RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France.
Accès au texte intégral et bibtex
trefle.pdf trefle.ps BibTex

Rapports

Titre
Diagnosing discrete-event systems: extending the «diagnoser approach» to deal with telecommunication networks
Auteurs
Laurence Rozé; Marie-Odile Cordier
Détail
[Research Report], 2003. RR-4957
Accès au texte intégral et bibtex
RR-4957.pdf RR-4957.ps BibTex

2002

Communications avec actes

Titre
Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques
Auteurs
Hervé Marchand; Laurence Rozé
Détail
13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Jan 2002, Angers, France. pp. 191-200
Accès au bibtex
BibTex

Thèses

Titre
Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications
Auteurs
Yannick Pencolé
Détail
Université Rennes 1, Jun. 2002. French
Accès au texte intégral et bibtex
tel-00003581.pdf BibTex