Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub


Major publications by the team in recent years
P. 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.
C. 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.
T. Guyet, R. Quiniou.
Extracting temporal patterns from interval-based sequences, in: International Joint Conference on Artificial Intelligence (IJCAI), Barcelone, Spain, July 2011.
Y. 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.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Y. Zhao.
Qualitative modelling and strategy synthesis of grazing activities, Université Rennes 1, January 2014.

Articles in International Peer-Reviewed Journals

W. 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.

International Conferences with Proceedings

S. 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.
S. 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.
P. 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.
T. 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.
J. 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.
J. 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.
M.-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 ]
S. 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.
A.-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.
T. 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 ]

National Conferences with Proceedings

K. Gashteovski, T. Guyet, R. Quiniou, A. Da Silva.
Sequential pattern mining for customer relationship management analysis, in: Atelier GAST@EGC2015, Luxembourg, Luxembourg, January 2015.
T. 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.
T. 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.
T. Guyet, Y. Moinard, R. Quiniou.
Using Answer Set Programming for pattern mining, in: Intelligence Artificielle Fondamentale, Angers, France, June 2014.
S. 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.

Scientific Books (or Scientific Book chapters)

L. 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.
A. 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.
C. 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.

Scientific Popularization

T. 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.

Other Publications

T. 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.
References in notes
R. 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.
R. 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.
R. Alur, D. Dill.
A theory of timed automata, in: Theoretical Computer Science, 1994, vol. 126, pp. 183-235.
E. Asarin, O. Maler, A. Pnueli.
Symbolic Controller Synthesis for Discrete and Timed Systems, in: Hybrid Systems II, LNCS 999, Springer, 1995, pp. 1–20.
C. Baral.
Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
P. Besnard, A. Hunter.
Elements of Argumentation, The MIT Press, june 2008.
C. 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.
T. Blaschke.
Object based image analysis for remote sensing, in: J. Photogramm., 2010, vol. 65, no 1, pp. 2–16.
T. 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.
T. 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 ]
M. 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.
J. Dambacher, W. Hiram, P. Rossignol.
Qualitative predictions in model ecosystems, in: Ecological Modelling, 2003, vol. 161, pp. 79-93.
M. Deckert.
Incremental rule-based leraners for handling concept drift : an overview, in: foundations of computing and decision sciences, 2013, vol. 38, pp. 35-65.
A. Douzal-Chouakria, C. Amblard.
Classification Trees for Time Series, in: Pattern Recogn., 2012, vol. 45, no 3, pp. 1076–1091.
K. 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.
M. 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.
M. Gelfond, V. Lifschitz.
The Stable Model Semantics for Logic Programming, in: Proceedings of ICLP, 1988.
T. 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.
T. 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.
T. Guyet, R. Quiniou.
Mining temporal patterns with quantitative intervals, in: 4th International Workshop on Mining Complex Data at ICDM 2008, December 2008.
T. Guyet, R. Quiniou.
Extracting temporal patterns from interval-based sequences, in: International Joint Conference on Artificial Intelligence (IJCAI), Barcelone, Spain, July 2011.
J. Han, J. Pei, Y. Yin.
Mining Frequent Patterns Without Candidate Generation, in: SIGMOD Rec., May 2000, vol. 29, no 2, pp. 1–12.
M. Järvisalo.
Itemset mining as a challenge application for answer set enumeration, in: Logic Programming and Nonmonotonic Reasoning, Springer, 2011, pp. 304–310.
C. 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 ]
D. 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.
C. 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.
C. 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 ]
V. 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.
P. 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 ]
M. A. Maloof, R. S. Michalski.
Incremental learning with partial instance memory, in: Artificial Intelligence, 2004, vol. 154, pp. 95-261.
V. 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 ]
R. S. Michaski.
A theory and methodology of inductive leraning, in: Machine learning : an Arificial Intelligence Approach, 1983, vol. I.
B. 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 ]
N. 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.
The 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.
E. 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 ]
R. 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 ]
T. 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.
G. 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.
G. Widmer, M. Kubat.
Learning in the presence of concept drift and hidden contexts, in: Machine Learning, 1996, vol. 23, no 1, pp. 69-101.
X. 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–.
S.-J. Yen, Y.-S. Lee.
Mining Non-redundant Time-gap Sequential Patterns, in: Applied Intelligence, 2013, vol. 39, no 4, pp. 727–738.
Y. 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".