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, n^o 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, n^o 1-2, pp. 121-170.
  http://hal.inria.fr/inria-00511104/en/

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 5Y. Zhao.
  Qualitative modelling and strategy synthesis of grazing activities, Université Rennes 1, January 2014.
  https://tel.archives-ouvertes.fr/tel-00933443

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, n^o 2, pp. 587-600.
• 34T. Blaschke.
  Object based image analysis for remote sensing, in: J. Photogramm., 2010, vol. 65, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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