EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1P. Besnard, M.-O. Cordier, Y. Moinard.

    Ontology-based inference for causal explanation, in: Integrated Computer-Aided Engineering, 2008, vol. 15, no 4, pp. 351-367.

    http://hal.inria.fr/inria-00476906/en/
  • 2C. Gascuel-Odoux, P. Aurousseau, M.-O. Cordier, P. Durand, F. Garcia, V. Masson, J. Salmon-Monviola, F. Tortrat, R. Trépos.

    A decision-oriented model to evaluate the effect of land use and agricultural management on herbicide contamination in stream water, in: Environmental modelling & software, 2009, vol. 24, pp. 1433-1446.
  • 3T. Guyet, R. Quiniou.

    Extracting temporal patterns from interval-based sequences, in: International Joint Conference on Artificial Intelligence (IJCAI), Barcelone, Spain, July 2011.

    http://hal.inria.fr/inria-00618444
  • 4Y. Pencolé, M.-O. Cordier.

    A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, in: Artificial Intelligence Journal, 2005, vol. 164, no 1-2, pp. 121-170.

    http://hal.inria.fr/inria-00511104/en/
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 6W. Wang, T. Guyet, R. Quiniou, M.-O. Cordier, F. Masseglia, X. Zhang.

    Autonomic Intrusion Detection: Adaptively Detecting Anomalies over Unlabeled Audit Data Streams in Computer Networks, in: Knowledge-Based Systems, November 2014.

    https://hal.inria.fr/hal-01052810

International Conferences with Proceedings

  • 7S. Benabderrahmane.

    Formal Concept Analysis and Knowledge Integration for Highlighting Statistically Enriched Functions from Microarrays Data, in: International Work-Conference on Bioinformatics and Biomedical Engineering - IWBBIO, Granada, Spain, April 2014, 1 p.

    https://hal.archives-ouvertes.fr/hal-00935378
  • 8S. Benabderrahmane, R. Quiniou, T. Guyet.

    Evaluating Distance Measures and Times Series Clustering for Temporal Patterns Retrieval, in: IEEE IRI - 15th IEEE International Conference on Information Retrieval and Reuse, San Francisco, United States, S. Rubin, S.-C. Chen (editors), August 2014.

    https://hal.inria.fr/hal-01052805
  • 9P. Besnard, M.-O. Cordier, Y. Moinard.

    Arguments using ontological and causal knowledge, in: FoIKS, Bordeaux, France, C. Beierle, C. Meghini (editors), Springer, March 2014, vol. 8367, pp. 79–96.

    https://hal.inria.fr/hal-00931679
  • 10T. Bouadi, M.-O. Cordier, R. Quiniou.

    Computing Hierarchical Skyline Queries "On-the-fly" in a Data Warehouse, in: DAWAK 2014 - 16th International Conference on Data Warehousing and Knowledge Discovery, Munich, Germany, LNCS, Springer Verlag, September 2014.

    https://hal.inria.fr/hal-01052864
  • 11J. C. Cody, M.-O. Cordier, A. Grastien.

    Critical Observations in a Diagnostic Problem, in: IEEE Conference on Decision and Control (CDC-14), Los Angeles, United States, December 2014.

    https://hal.inria.fr/hal-01100627
  • 12J. C. Cody, M.-O. Cordier, A. Grastien.

    Critical observations in a diagnostic problem, in: 25th International Workshop on Principles of Diagnosis (DX-14), Graz, Austria, 2014.

    https://hal.inria.fr/hal-01100645
  • 13M.-O. Cordier, C. Largouët, Y. Zhao.

    Model-Checking an Ecosystem Model for Decision-Aid, in: IEEE 26th International Conference on Tools with Artificial Intelligence, Limassol, Cyprus, November 2014. [ DOI : 10.1109/ICTAI.2014.87 ]

    https://hal.archives-ouvertes.fr/hal-01094742
  • 14S. V. Emteu Tchagou, A. Termier, J.-F. Méhaut, B. Videau, M. Santana, R. Quiniou.

    Reducing trace size in multimedia applications endurance tests, in: Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France, 2015.

    https://hal.archives-ouvertes.fr/hal-01093576
  • 15A.-V. Freya Mang, E. Timsit, R. Quiniou.

    Early detection of bovine respiratory disease (BRD) in feedlot using multiple health monitoring systems, in: XIX Congress on bovine medicine, Oviedo, Spain, June 2014.

    https://hal.inria.fr/hal-01093905
  • 16T. Guyet, S. Malinowski, M.-C. Benyounès.

    Extraction des zones cohérentes par l'analyse spatio-temporelle d'images de télédétection, in: Proceedings of the Spatial Analysis and Geography conference (SAGEO), Grenoble, France, November 2014. [ DOI : 10.3166/HSP.2014.1-14 ]

    https://hal.inria.fr/hal-01088643

National Conferences with Proceedings

  • 17K. Gashteovski, T. Guyet, R. Quiniou, A. Da Silva.

    Sequential pattern mining for customer relationship management analysis, in: Atelier GAST@EGC2015, Luxembourg, Luxembourg, January 2015.

    https://hal.inria.fr/hal-01097466
  • 18T. Guyet, F. Le Ber, S. Da Silva, C. Lavigne.

    Comparaison des chemins de Hilbert adaptatif et des graphes de voisinage pour la caractérisation d'un parcellaire agricole, in: Conférence Extraction et Gestion de Connaissances, Rennes, France, January 2014.

    https://hal.inria.fr/hal-00916964
  • 19T. Guyet, Y. Moinard.

    Programmation par ensembles réponses pour simuler l'assolement d'un paysage, in: Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, France, June 2014.

    https://hal.archives-ouvertes.fr/hal-00989199
  • 20T. Guyet, Y. Moinard, R. Quiniou.

    Using Answer Set Programming for pattern mining, in: Intelligence Artificielle Fondamentale, Angers, France, June 2014.

    https://hal.inria.fr/hal-01069092
  • 21S. Malinowski, T. Guyet, R. Quiniou, R. Tavenard.

    1d-SAX : une nouvelle représentation symbolique pour les séries temporelles, in: Conférence Extraction et Gestion de Connaissances, Rennes, France, January 2014.

    https://hal.inria.fr/hal-00916970

Scientific Books (or Scientific Book chapters)

  • 22L. Amgoud, P. Besnard, C. Cayrol, P. Chatalic, M.-C. Lagasquie-Schiex.

    Argumentation et raisonnement en présence de contradictions, in: Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, P. Marquis, O. Papini, H. Prade (editors), Représentation des connaissances et frtomalisation des raisonnements, Cépaduès, May 2014, vol. 1.

    https://hal.inria.fr/hal-00770580
  • 23A. Lallouet, Y. Moinard, P. Nicolas, I. Stéphan.

    Programmation logique, in: Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, P. Marquis, O. Papini, H. Prade (editors), Algorithmes pour l'intelligence artificielle, Cépaduès, May 2014, vol. 2, chapitre 4.

    https://hal.inria.fr/hal-00758896
  • 24C. Reynaud, A. Martin, R. Quiniou.

    EGC - 14èmes Journées Francophones Extraction et Gestion des Connaissances, Revue des Nouvelles Technologies de l'Information, Hermann, January 2014, vol. E-26.

    https://hal.archives-ouvertes.fr/hal-01108551

Scientific Popularization

  • 25T. Bouadi, M.-O. Cordier, R. Quiniou.

    Requêtes skyline hiérarchiques, in: 10e journées francophones sur les Entrepôts de Données et l'Analyse en ligne (EDA 2014), Vichy, France, June 2014.

    https://hal.inria.fr/hal-01094661

Other Publications

  • 26T. Guyet, S. Da Silva, C. Lavigne, F. Le Ber.

    Caractérisation d'un parcellaire agricole : comparaison des sacs de noeuds obtenus par un chemin de Hilbert adaptatif et un graphe de voisinage, January 2014, 13 p, Atelier FST "fouille de données spatiales et temporelles" associé à la conférence EGC, Rennes, 28 janvier 2014.

    https://hal.inria.fr/hal-01100583
References in notes
  • 27R. Agrawal, T. Imielinski, A. N. Swami.

    Mining Association Rules between Sets of Items in Large Databases, in: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, D.C., P. Buneman, S. Jajodia (editors), 26–28  1993, pp. 207–216.
  • 28R. Agrawal, R. Srikant.

    Mining sequential patterns, in: Eleventh International Conference on Data Engineering, Taipei, Taiwan, P. S. Yu, A. S. P. Chen (editors), IEEE Computer Society Press, 1995, pp. 3–14.
  • 29R. Alur, D. Dill.

    A theory of timed automata, in: Theoretical Computer Science, 1994, vol. 126, pp. 183-235.
  • 30E. Asarin, O. Maler, A. Pnueli.

    Symbolic Controller Synthesis for Discrete and Timed Systems, in: Hybrid Systems II, LNCS 999, Springer, 1995, pp. 1–20.
  • 31C. Baral.

    Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
  • 32P. Besnard, A. Hunter.

    Elements of Argumentation, The MIT Press, june 2008.

    http://mitpress.mit.edu/books/elements-argumentation
  • 33C. Biernacki, G. Celeux, G. Govaert, F. Langrognet.

    Model-Based Cluster and Discriminant Analysis with the MIXMOD Software, in: Computational Statistics and Data Analysis, 2006, vol. 51, no 2, pp. 587-600.
  • 34T. Blaschke.

    Object based image analysis for remote sensing, in: J. Photogramm., 2010, vol. 65, no 1, pp. 2–16.
  • 35T. Bouadi.

    Analyse multidimensionnelle interactive de résultats de simulation. Aide à la décision dans le domaine de l'agroécologie, Université Rennes 1, November 2013.

    https://tel.archives-ouvertes.fr/tel-00933375
  • 36T. Bouadi, M.-O. Cordier, R. Quiniou.

    Computing Skyline Incrementally in Response to Online Preference Modification, in: Transactions on Large-Scale Data- and Knowledge- Centered Systems, 2013, vol. 10, pp. 34-59. [ DOI : 10.1007/978-3-642-41221-9_2 ]

    http://hal.inria.fr/hal-00920548
  • 37M. Cordier, C. Largouët, Y. Zhao.

    Model-Checking an Ecosystem Model for Decision-Aid, in: 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, 2014, pp. 539–543.
  • 38J. Dambacher, W. Hiram, P. Rossignol.

    Qualitative predictions in model ecosystems, in: Ecological Modelling, 2003, vol. 161, pp. 79-93.
  • 39M. Deckert.

    Incremental rule-based leraners for handling concept drift : an overview, in: foundations of computing and decision sciences, 2013, vol. 38, pp. 35-65.
  • 40A. Douzal-Chouakria, C. Amblard.

    Classification Trees for Time Series, in: Pattern Recogn., 2012, vol. 45, no 3, pp. 1076–1091.
  • 41K. Gashteovski, T. Guyet, R. Quiniou, A. Gomes Da Silva, V. Masson.

    Sequential pattern mining for customer relationship management analysis, in: Workshop GAST at EGC'2015, 2015.
  • 42M. Gebser, R. Kaminski, B. Kaufmann, T. Schaub.

    Clingo = ASP + Control: Preliminary Report, in: Proc. of Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'14), 2014.
  • 43M. Gelfond, V. Lifschitz.

    The Stable Model Semantics for Logic Programming, in: Proceedings of ICLP, 1988.
  • 44T. Guns, A. Dries, G. Tack, S. Nijssen, L. De Raedt.

    MiningZinc: A modeling language for constraint-based mining, in: Proceedings of the Twenty-Third international joint conference on Artificial Intelligence, AAAI Press, 2013, pp. 1365–1372.
  • 45T. Guyet, H. Nicolas, A. Diouck.

    Segmentation multi-échelle de séries temporelles d'images satellite : Application à l'étude d'une période de sécheresse au Sénégal, in: Reconnaissance de Forme et Intelligence Artificielle (RFIA), Lyon, France, January 2012.

    http://hal.inria.fr/hal-00646158
  • 46T. Guyet, R. Quiniou.

    Mining temporal patterns with quantitative intervals, in: 4th International Workshop on Mining Complex Data at ICDM 2008, December 2008.
  • 47T. Guyet, R. Quiniou.

    Extracting temporal patterns from interval-based sequences, in: International Joint Conference on Artificial Intelligence (IJCAI), Barcelone, Spain, July 2011.

    http://hal.inria.fr/inria-00618444
  • 48J. Han, J. Pei, Y. Yin.

    Mining Frequent Patterns Without Candidate Generation, in: SIGMOD Rec., May 2000, vol. 29, no 2, pp. 1–12.

    http://doi.acm.org/10.1145/335191.335372
  • 49M. Järvisalo.

    Itemset mining as a challenge application for answer set enumeration, in: Logic Programming and Nonmonotonic Reasoning, Springer, 2011, pp. 304–310.
  • 50C. Kamdem Kengne, L. C. Fopa, A. Termier, N. Ibrahim, M.-C. Rousset, T. Washio, M. Santana.

    Rewriting Large Multimedia Application Execution Traces with few Event Sequences, in: KDD 2013 - International Conference on Knowledge Discovery and Data Mining, Chicago, IL, United States, Inderjit S. Dhillon et al. (editor), ACM, August 2013, pp. 1348-1356, Session Industrial and government emerging (Security & Privacy). [ DOI : 10.1145/2487575.2488211 ]

    https://hal.archives-ouvertes.fr/hal-00923538
  • 51D. G. Kirkpatrick, P. Hell.

    On the Completeness of a Generalized Matching Problem, in: Proceedings of the Tenth Annual ACM Symposium on Theory of Computing, New York, NY, USA, STOC '78, ACM, 1978, pp. 240–245.

    http://doi.acm.org/10.1145/800133.804353
  • 52C. Largouët, M.-O. Cordier.

    Patrons de scénarios pour l'exploration qualitative d'un écosystème, in: RFIA 2010 (Reconnaissance des Formes et Intelligence Artificielle), France Caen, 2010.
  • 53C. Largouët, M.-O. Cordier, Y.-M. Bozec, Y. Zhao, G. Fontenelle.

    Use Of Timed Automata And Model-Checking To Explore Scenarios On Ecosystem Models, in: Environmental Modelling and Software, November 2011, no 30, pp. 123-138, On-line publication : 26 November 2011. [ DOI : 10.1016/j.envsoft.2011.08.005 ]

    http://hal.inria.fr/hal-00649275
  • 54V. Lifschitz.

    What Is Answer Set Programming?, in: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, 2008, pp. 1594–1597.
  • 55P. López-Cueva, A. Bertaux, A. Termier, J.-F. Méhaut, M. Santana.

    Debugging Multimedia Application Traces through Periodic Pattern Mining, in: EMSOFT 2012, part of ESWEEK - Embedded Systems Week, Tampere, Finland, ACM, October 2012, pp. 13-22, Session 1A: Testing and Characterization of Embedded Software. [ DOI : 10.1145/2380356.2380366 ]

    https://hal.archives-ouvertes.fr/hal-00750941
  • 56M. A. Maloof, R. S. Michalski.

    Incremental learning with partial instance memory, in: Artificial Intelligence, 2004, vol. 154, pp. 95-261.
  • 57V. Masson, F. Ployette, M.-O. Cordier, C. Gascuel-Odoux, R. Trépos.

    Sacadeau-Software, un logiciel d'aide à la décision pour améliorer la qualité de l'eau, in: Revue d'Intelligence Artificielle, September 2013, vol. 27, no 4-5, pp. 443-469. [ DOI : 10.3166/RIA.27.443-469 ]

    http://hal.inria.fr/hal-00881658
  • 58R. S. Michaski.

    A theory and methodology of inductive leraning, in: Machine learning : an Arificial Intelligence Approach, 1983, vol. I.
  • 59B. Negrevergne, A. Termier, M.-C. Rousset, J.-F. Méhaut.

    ParaMiner: a Generic Pattern Mining Algorithm for Multi-Core Architectures, in: Data Mining and Knowledge Discovery, May 2014, vol. 28, no 3, pp. 595-633. [ DOI : 10.1007/s10618-013-0313-2 ]

    https://hal.archives-ouvertes.fr/hal-00923535
  • 60N. Pasquier, Y. Bastide, R. Taouil, L. Lakhal.

    Discovering Frequent Closed Itemsets for Association Rules, in: Proceedings of the 7th International Conference on Database Theory, London, UK, ICDT '99, Springer-Verlag, 1999, pp. 398–416.

    http://dl.acm.org/citation.cfm?id=645503.656256
  • 61The WS-Diamond Team.

    2, in: WS-DIAMOND: Web Services DIAgnosability, MONitoring and Diagnosis, J. Mylopoulos, M. Papazoglou (editors), MIT Press Series on Information Systems, 2009.
  • 62E. Timsit, S. Assié, R. Quiniou, H. Seegers, N. Bareille.

    Early detection of bovine respiratory disease in young bulls using reticulo-rumen temperature boluses, in: The Veterinary Journal, 2010. [ DOI : 10.1016/j.tvjl.2010.09.012 ]
  • 63R. Trépos, A. Salleb-Aouissi, M.-O. Cordier, V. Masson, C. Gascuel-Odoux.

    Building Actions From Classification Rules, in: Knowledge and Information Systems (KAIS) journal, 2013, vol. 34, no 2, pp. 267-298. [ DOI : 10.1007/s10115-011-0466-5 ]

    http://hal.inria.fr/hal-00649388
  • 64T. Uno, T. Asai, Y. Uchida, H. Arimura.

    An efficient algorithm for enumerating closed patterns in transaction databases, in: Proc. DS’04, LNAI 3245, 2004, pp. 16–31.
  • 65G. Widmer, M. Kubat.

    Learning flexible Concepts form Streams of Examples : FLORA2, in: proceeding of the 10th European Conference On Artificial Intelligence, Wiley and Sons (editor), 1992, pp. 463-467.
  • 66G. Widmer, M. Kubat.

    Learning in the presence of concept drift and hidden contexts, in: Machine Learning, 1996, vol. 23, no 1, pp. 69-101.
  • 67X. Yan, J. Han.

    gSpan: Graph-Based Substructure Pattern Mining, in: Proceedings of the 2002 IEEE International Conference on Data Mining, Washington, DC, USA, ICDM '02, IEEE Computer Society, 2002, pp. 721–.
  • 68S.-J. Yen, Y.-S. Lee.

    Mining Non-redundant Time-gap Sequential Patterns, in: Applied Intelligence, 2013, vol. 39, no 4, pp. 727–738.
  • 69Y. Zhao, M.-O. Cordier, C. Largouët.

    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, in: RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Lyon, France, January 2012, pp. 978-2-9539515-2-3, Session "Posters".

    http://hal.inria.fr/hal-00656543