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

• 5S. V. Emteu Tchagou.
  
  On-the-fly trace reduction for analyzing multimedia embedded systems applications, Université de Grenoble Alpes, December 2015.
  
  https://hal.inria.fr/tel-01247429

Articles in International Peer-Reviewed Journals

• 6L. Bonneau De Beaufort, K. Sedki, G. Fontenelle.
  
  Inference reasoning on fishers' knowledge using Bayesian causal maps, in: Ecological Informatics, 2015. [ DOI : 10.1016/j.ecoinf.2015.09.006 ]
  
  https://hal.archives-ouvertes.fr/hal-01231072
• 7P. Dusseux, Y. Zhao, M.-O. Cordier, T. Corpetti, L. Delaby, C. Gascuel, L. Hubert-Moy.
  
  PaturMata, a model to manage grassland under climate change, in: Agronomy for Sustainable Development, December 2015, vol. 35, n^o 3, pp. 1087-1093.
  
  https://hal.archives-ouvertes.fr/hal-01237980
• 8P. Dusseux, Y. Zhao, M.-O. Cordier, T. Corpetti, L. Delaby, C. Gascuel-Odoux, L. Hubert-Moy.
  
  PaturMata, a model to manage grassland under climate change, Agronomy for Sustainable Development, in: Agronomy for Sustainable Development, March 2015, pp. 10.1007/s13593-015-0295-0. [ DOI : 10.1007/s13593-015-0295-0 ]
  
  https://hal.archives-ouvertes.fr/hal-01152055
• 9M. Gebser, A. Harrison, R. Kaminski, V. Lifschitz, T. Schaub.
  
  Abstract Gringo, in: Theory and Practice of Logic Programming, 2015, vol. 15, n^o 4-5, pp. 449-463.
  
  https://hal.inria.fr/hal-01186999
• 10T. 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: International Journal of Geomatics and Spatial Analysis / Revue Internationale de Géomatique, 2015, 22 p.
  
  https://hal.inria.fr/hal-01184095
• 11T. Guyet, H. Nicolas.
  
  Long term analysis of time series of satellite images, in: Pattern Recognition Letters, November 2015. [ DOI : 10.1016/j.patrec.2015.11.005 ]
  
  https://hal.inria.fr/hal-01239504
• 12S. Videla, I. Konokotina, L. Alexopoulos, J. Saez-Rodriguez, T. Schaub, A. Siegel, C. Guziolowski.
  
  Designing experiments to discriminate families of logic models, in: Frontiers in Bioengineering and Biotechnology, September 2015, 9 p. [ DOI : 10.3389/fbioe.2015.00131 ]
  
  https://hal.inria.fr/hal-01196178

Articles in National Peer-Reviewed Journals

• 13T. Guyet, Y. Moinard, R. Quiniou.
  
  Programmation par ensembles réponses pour simuler l’assolement d’un paysage, in: Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2015, vol. 29, n^o 3-4, 28 p.
  
  https://hal.inria.fr/hal-01184092

International Conferences with Proceedings

• 14M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran.
  
  Shift-design with Answer Set Programming, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, United States, F. Calimeri, G. Ianni, M. Truszczyński (editors), lnai, Springer, 2015, vol. 9345, 7 p, forthcoming.
  
  https://hal.inria.fr/hal-01186995
• 15B. Andres, A. Biewer, J. Romero, C. Haubelt, T. Schaub.
  
  Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, United States, F. Calimeri, G. Ianni, M. Truszczyński (editors), lnai, Springer, 2015, vol. 9345, forthcoming.
  
  https://hal.inria.fr/hal-01187002
• 16B. Andres, D. Rajaratnam, O. Sabuncu, T. Schaub.
  
  Integrating ASP into ROS for Reasoning in Robots, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, US, F. Calimeri, G. Ianni, M. Truszczyński (editors), 2015, 25 p, forthcoming.
  
  https://hal.inria.fr/hal-01187006
• 17A. Bailly, S. Malinowski, R. Tavenard, T. Guyet, L. Chapel.
  
  Bag-of-Temporal-SIFT-Words for Time Series Classification, in: ECML/PKDD Workshop on Advanced Analytics and Learning on Temporal Data, Porto, Portugal, September 2015.
  
  https://halshs.archives-ouvertes.fr/halshs-01184900
• 18M. Banbara, M. Gebser, K. Inoue, M. Ostrowski, A. Peano, T. Schaub, T. Soh, N. Tamura, M. Weise.
  
  aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, United States, F. Calimeri, G. Ianni, M. Truszczyński (editors), lnai, Springer, September 2015, vol. 9345, pp. 112-126. [ DOI : 10.1007/978-3-319-23264-5_10 ]
  
  https://hal.inria.fr/hal-01186996
• 19A. Biewer, B. Andres, J. Gladigau, T. Schaub, C. Haubelt.
  
  A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving, in: Proceedings of the Conference on Design, Automation and Test in Europe (DATE'15), San Jose, United States, W. Nebel, D. Atienza (editors), ACM, 2015, pp. 357-362.
  
  https://hal.inria.fr/hal-01187000
• 20J. Bomanson, M. Gebser, T. Janhunen, B. Kaufmann, T. Schaub.
  
  Answer Set Programming modulo Acyclicity, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, United States, F. Calimeri, G. Ianni, M. Truszczyński (editors), Springer, September 2015, vol. 9345, pp. 143-150. [ DOI : 10.1007/978-3-319-23264-5_13 ]
  
  https://hal.inria.fr/hal-01187003
• 21G. Brewka, J. P. Delgrande, J. Romero, T. Schaub.
  
  Implementing preferences with asprin, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, United States, F. Calimeri, G. Ianni, M. Truszczyński (editors), lnai, Springer, 2015, vol. 9345, forthcoming.
  
  https://hal.inria.fr/hal-01187004
• 22G. Brewka, J. P. Delgrande, J. Romero, T. Schaub.
  
  asprin: Customizing Answer Set Preferences without a Headache, in: Proceedings of the Twenty-Ninth National Conference on Artificial Intelligence (AAAI'15), Austin, United States, B. Bonet, S. Koenig (editors), AAAI Press, 2015, pp. 1467-1474.
  
  https://hal.inria.fr/hal-01187001
• 23Y. Dauxais, D. Gross-Amblard, T. Guyet, A. Happe.
  
  Chronicles mining in a database of drugs exposures, in: ECML Doctoral consortium, Porto, Portugal, Proceedings of the ECML Doctoral consortium, September 2015.
  
  https://hal.inria.fr/hal-01184100
• 24S. 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
• 25M. Gebser, T. Janhunen, H. Jost, R. Kaminski, T. Schaub.
  
  ASP Solving for Expanding Universes, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, US, F. Calimeri, G. Ianni, M. Truszczyński (editors), lnai, Springer, 2015, vol. 9345, forthcoming.
  
  https://hal.inria.fr/hal-01187005
• 26M. Gebser, R. Kaminski, B. Kaufmann, J. Romero, T. Schaub.
  
  Progress in clasp series 3, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, US, F. Calimeri, G. Ianni, M. Truszczyński (editors), lnai, Springer, 2015, vol. 9345, forthcoming.
  
  https://hal.inria.fr/hal-01186997
• 27T. Guyet.
  
  Extracting characteristics of Satellite Image Time Series with Decision Trees, in: MultiTemp, Annecy, France, Proceedings of the MultiTemp Workshop, IEEE, 2015, pp. 260-263.
  
  https://hal.inria.fr/hal-01178943
• 28T. Guyet.
  
  Landscape features that prevent or foster urban sprawl, in: MultiTemp 2015 : 8th International Workshop on the Analysis of Multitemporal Remote Sensing Images, Annecy, France, Proceedings of the MultiTemp Workshop, July 2015, pp. 244-247.
  
  https://hal.inria.fr/hal-01178944
• 29C. Hardy, L. Amsaleg, G. Gravier, S. Malinowski, R. Quiniou.
  
  Sequential pattern mining on multimedia data, in: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database Workshop on Advanced Analytics and Learning on Temporal Data, Porto, Portugal, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01186446
• 30O. Iegorov, A. Termier, V. Leroy, J.-F. Méhaut, M. Santana.
  
  Data Mining Approach to Temporal Debugging of Embedded Streaming Applications, in: 15th International Conference on Embedded Software (EMSOFT'2015), Amsterdam, Netherlands, October 2015.
  
  https://hal.archives-ouvertes.fr/hal-01178782
• 31H. Mirisaee, A. Chouakria Douzal, A. Termier.
  
  Selecting Representative Instances from Datasets, in: IEEE International Conference on Data Science and Advanced Analytics (DSAA 2015), Paris, France, October 2015.
  
  https://hal.archives-ouvertes.fr/hal-01191805
• 32H. Mirisaee, E. Gaussier, A. Termier.
  
  Improved Local Search for Binary Matrix Factorization, in: Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, United States, AAAI, January 2015, pp. 1198-1204.
  
  https://hal.archives-ouvertes.fr/hal-01178773
• 33B. O. Tehrani, S. Amer-Yahia, A. Termier.
  
  Interactive User Group Analysis, in: 24th ACM International Conference on Information and Knowledge Management (CIKM 2015), Melbourne, Australia, ACM, October 2015.
  
  https://hal.archives-ouvertes.fr/hal-01178784
• 34P. Vicol, J. P. Delgrande, T. Schaub.
  
  An Implementation of Consistency-Based Multi-Agent Belief Change using ASP, in: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Lexington, United States, F. Calimeri, G. Ianni, M. Truszczyński (editors), lnai, Springer, 2015, vol. 9345, 7 p, forthcoming.
  
  https://hal.inria.fr/hal-01186998

National Conferences with Proceedings

• 35K. Gashteovski, T. Guyet, R. Quiniou, A. Da Silva, V. Masson.
  
  Sequential pattern mining for customer relationship management analysis, in: Atelier GAST@EGC2015, Luxembourg, Luxembourg, January 2015.
  
  https://hal.inria.fr/hal-01097466
• 36T. Guyet, Y. Moinard, R. Quiniou, T. Schaub.
  
  Fouille de motifs séquentiels avec ASP, in: Extraction et Gestion de Connaissances (EGC), Reims, France, Actes de la conférence Extraction et Gestion de Connaissances, RNTI, 2016.
  
  https://hal.inria.fr/hal-01239501

Conferences without Proceedings

• 37K. Sedki, L. Bonneau De Beaufort.
  
  Constructing Weighted Argumentation Framework with Cognitive Maps, in: International Conference on Tools with Artificial Intelligence (ICTAI), Vietri sul Mare, Italy, IEEE, November 2015. [ DOI : 10.1109/ICTAI.2015.108 ]
  
  https://hal.archives-ouvertes.fr/hal-01231192

Scientific Books (or Scientific Book chapters)

• 38É. Athané, J. Bourbeillon, T. Coisnon, T. Guyet, A. Marshall, H. Nicolas, W. Oueslati, D. Rousselière, J. Salanié.
  
  Paysages et étalement urbain : Aspects physiques et culturels à travers l'exemple de l'aire urbaine d'Angers, in: Biodiversité, paysage et cadre de vie - La démocratie en pratique, Victoires Editions, 2015, pp. 91-110.
  
  https://hal.inria.fr/hal-01178942
• 39P. Durand, P. Moreau, L. Ruiz, J. Salmon-Monviola, F. Vertes, C. Baratte, C. Benhamou, T. Bouadi, M.-O. Cordier, S. Corgne, P. Dusseux, P. Faverdin, C. Gascuel, L. Hubert-Moy, V. Parnaudeau, E. Ramat, T. Raimbault, V. Viaud.
  
  Des modèles et des outils pour des projets de territoire, in: Comment réconcilier agriculture et territoire, Matière à débattre et décider, Editions Quae, 2015, 151 p. p.
  
  https://hal.archives-ouvertes.fr/hal-01209250
• 40M. Gebser, R. Kaminski, P. Obermeier, T. Schaub.
  
  Ricochet Robots Reloaded: A Case-study in Multi-shot ASP Solving, in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, T. Eiter, H. Strass, M. Truszczynski, S. Woltran (editors), lnai, Springer, 2015, vol. 9060, pp. 17-32. [ DOI : 10.1007/978-3-319-14726-0_2 ]
  
  https://hal.inria.fr/hal-01187007
• 41A. Termier.
  
  Distributed Computing for Enumeration, in: Encyclopedia of Algorithms, Springer Berlin Heidelberg, 2015. [ DOI : 10.1007/978-3-642-27848-8_724-1 ]
  
  https://hal.archives-ouvertes.fr/hal-01178769

Other Publications

• 42A. Bailly, S. Malinowski, R. Tavenard, T. Guyet, L. Chapel.
  
  Dense Bag-of-Temporal-SIFT-Words for Time Series Classification, January 2016, working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-01252726

References in notes

• 43R. 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.
• 44R. 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.
• 45R. Alur, D. Dill.
  
  A theory of timed automata, in: Theoretical Computer Science, 1994, vol. 126, pp. 183-235.
• 46E. Asarin, O. Maler, A. Pnueli.
  
  Symbolic Controller Synthesis for Discrete and Timed Systems, in: Hybrid Systems II, LNCS 999, Springer, 1995, pp. 1–20.
• 47C. Baral.
  
  Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
• 48P. 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
• 49P. Besnard, A. Hunter.
  
  Elements of Argumentation, The MIT Press, june 2008.
  
  http://mitpress.mit.edu/books/elements-argumentation
• 50T. Bouadi.
  
  Analyse multidimensionnelle interactive de résultats de simulation. Aide à la décision dans le domaine de l'agroécologie, Thèse Université Rennes 1, November 2013.
  
  https://tel.archives-ouvertes.fr/tel-00933375
• 51T. 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
• 52T. 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
• 53X. Chardon, C. Rigolot, C. Baratte, S. Espagnol, C. Raison, R. Martin-Clouaire, J. Rellier, A. Le Gall, J. Dourmad, B. Piquemal, P. Leterme, J. Paillat, L. Delaby, F. Garcia, J. Peyraud, J. Poupa, T. Morvan, P. Faverdin.
  
  MELODIE: a whole-farm model to study the dynamics of nutrients in dairy and pig farms with crops, in: animal, 2012, vol. 6, n^o 10, pp. 1711-1721. [ DOI : 10.1017/S1751731112000687 ]
  
  https://hal.inria.fr/hal-00849187
• 54M.-O. 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.
• 55D. Cram, B. Mathern, A. Mille.
  
  A complete chronicle discovery approach: application to activity analysis, in: Expert Systems, 2012, vol. 29, n^o 4, pp. 321–346.
• 56J. Dambacher, W. Hiram, P. Rossignol.
  
  Qualitative predictions in model ecosystems, in: Ecological Modelling, 2003, vol. 161, pp. 79-93.
• 57M. Deckert.
  
  Incremental rule-based leraners for handling concept drift : an overview, in: foundations of computing and decision sciences, 2013, vol. 38, pp. 35-65.
• 58C. Dousson, T. V. Duong.
  
  Discovering Chronicles with Numerical Time Constraints from Alarm Logs for Monitoring Dynamic Systems, in: IJCAI, T. Dean (editor), Morgan Kaufmann, 1999, pp. 620-626.
• 59C. Gautrais.
  
  Analysis of customer attrition in a large retail dataset, Master Thesis Report, University of Rennes 1, 2015.
• 60M. Gelfond, V. Lifschitz.
  
  The Stable Model Semantics for Logic Programming, in: Proceedings of ICLP, 1988.
• 61T. 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.
• 62J. 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
• 63Z. Huang, X. Lu, H. Duan.
  
  On mining clinical pathway patterns from medical behaviors, in: Artificial Intelligence in Medicine, 2012, vol. 56, n^o 1, pp. 35–50.
• 64M. Järvisalo.
  
  Itemset mining as a challenge application for answer set enumeration, in: Logic Programming and Nonmonotonic Reasoning, Springer, 2011, pp. 304–310.
• 65C. 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, 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
• 66D. 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
• 67A. 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), Cépaduès, January 2013, vol. 2.
  
  http://hal.inria.fr/hal-00758896
• 68C. 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.
• 69V. 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.
• 70D. G. Lowe.
  
  Distinctive image features from scale-invariant keypoints, in: International journal of computer vision, 2004, vol. 60, n^o 2, pp. 91–110.
• 71P. 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
• 72M. A. Maloof, R. S. Michalski.
  
  Incremental learning with partial instance memory, in: Artificial Intelligence, 2004, vol. 154, pp. 95-261.
• 73A.-V. F. Mang.
  
  Advances in Detection and Diagnosis of Bovine Respiratory Disease in Feedlot Cattle, Master Thesis Report, University of Calgary, 2015.
• 74R. S. Michalski.
  
  A theory and methodology of inductive leraning, in: Machine learning : an Arificial Intelligence Approach, 1983, vol. I.
• 75S. Nadkarni, P. P. Shenoy.
  
  A Bayesian network approach to making inferences in causal maps, in: European Journal of Operational Research, 2001, vol. 128, n^o 3, pp. 479–498.
• 76B. Negrevergne, T. Guns.
  
  Constraint-based sequence mining using constraint programming, in: Integration of AI and OR Techniques in Constraint Programming, Springer, 2015, pp. 288–305.
• 77B. 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
• 78N. 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
• 79E. 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 ]
• 80R. 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
• 81W. Ugarte, P. Boizumault, B. Crémilleux, A. Lepailleur, S. Loudni, M. Plantevit, C. Raïssi, A. Soulet.
  
  Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems, in: Artificial Intelligence, 2015.
• 82T. 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.
• 83G. 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.
• 84G. 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.
• 85X. 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–.
• 86Y. 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
• 87Y. Zhao.
  
  Qualitative modelling and strategy synthesis of grazing activities, Université Rennes 1, January 2014.
  
  https://tel.archives-ouvertes.fr/tel-00933443