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


Bibliography

Major publications by the team in recent years
[1]
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.
http://hal.inria.fr/inria-00476906/en/
[2]
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.
[3]
T. 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
[4]
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.
http://hal.inria.fr/inria-00511104/en/
Publications of the year

Doctoral Dissertations and Habilitation Theses

[5]
Y. 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

[6]
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.
https://hal.inria.fr/hal-01052810

International Conferences with Proceedings

[7]
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.
https://hal.archives-ouvertes.fr/hal-00935378
[8]
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.
https://hal.inria.fr/hal-01052805
[9]
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.
https://hal.inria.fr/hal-00931679
[10]
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.
https://hal.inria.fr/hal-01052864
[11]
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.
https://hal.inria.fr/hal-01100627
[12]
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.
https://hal.inria.fr/hal-01100645
[13]
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 ]
https://hal.archives-ouvertes.fr/hal-01094742
[14]
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.
https://hal.archives-ouvertes.fr/hal-01093576
[15]
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.
https://hal.inria.fr/hal-01093905
[16]
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 ]
https://hal.inria.fr/hal-01088643

National Conferences with Proceedings

[17]
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.
https://hal.inria.fr/hal-01097466
[18]
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.
https://hal.inria.fr/hal-00916964
[19]
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.
https://hal.archives-ouvertes.fr/hal-00989199
[20]
T. 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
[21]
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.
https://hal.inria.fr/hal-00916970

Scientific Books (or Scientific Book chapters)

[22]
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.
https://hal.inria.fr/hal-00770580
[23]
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.
https://hal.inria.fr/hal-00758896
[24]
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.
https://hal.archives-ouvertes.fr/hal-01108551

Scientific Popularization

[25]
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.
https://hal.inria.fr/hal-01094661

Other Publications

[26]
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.
https://hal.inria.fr/hal-01100583
References in notes
[27]
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.
[28]
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.
[29]
R. Alur, D. Dill.
A theory of timed automata, in: Theoretical Computer Science, 1994, vol. 126, pp. 183-235.
[30]
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.
[31]
C. Baral.
Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
[32]
P. Besnard, A. Hunter.
Elements of Argumentation, The MIT Press, june 2008.
http://mitpress.mit.edu/books/elements-argumentation
[33]
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.
[34]
T. Blaschke.
Object based image analysis for remote sensing, in: J. Photogramm., 2010, vol. 65, no 1, pp. 2–16.
[35]
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.
https://tel.archives-ouvertes.fr/tel-00933375
[36]
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 ]
http://hal.inria.fr/hal-00920548
[37]
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.
[38]
J. Dambacher, W. Hiram, P. Rossignol.
Qualitative predictions in model ecosystems, in: Ecological Modelling, 2003, vol. 161, pp. 79-93.
[39]
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.
[40]
A. Douzal-Chouakria, C. Amblard.
Classification Trees for Time Series, in: Pattern Recogn., 2012, vol. 45, no 3, pp. 1076–1091.
[41]
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.
[42]
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.
[43]
M. Gelfond, V. Lifschitz.
The Stable Model Semantics for Logic Programming, in: Proceedings of ICLP, 1988.
[44]
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.
[45]
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.
http://hal.inria.fr/hal-00646158
[46]
T. Guyet, R. Quiniou.
Mining temporal patterns with quantitative intervals, in: 4th International Workshop on Mining Complex Data at ICDM 2008, December 2008.
[47]
T. 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
[48]
J. 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
[49]
M. Järvisalo.
Itemset mining as a challenge application for answer set enumeration, in: Logic Programming and Nonmonotonic Reasoning, Springer, 2011, pp. 304–310.
[50]
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 ]
https://hal.archives-ouvertes.fr/hal-00923538
[51]
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.
http://doi.acm.org/10.1145/800133.804353
[52]
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.
[53]
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 ]
http://hal.inria.fr/hal-00649275
[54]
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.
[55]
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 ]
https://hal.archives-ouvertes.fr/hal-00750941
[56]
M. A. Maloof, R. S. Michalski.
Incremental learning with partial instance memory, in: Artificial Intelligence, 2004, vol. 154, pp. 95-261.
[57]
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 ]
http://hal.inria.fr/hal-00881658
[58]
R. S. Michaski.
A theory and methodology of inductive leraning, in: Machine learning : an Arificial Intelligence Approach, 1983, vol. I.
[59]
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 ]
https://hal.archives-ouvertes.fr/hal-00923535
[60]
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.
http://dl.acm.org/citation.cfm?id=645503.656256
[61]
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.
[62]
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 ]
[63]
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 ]
http://hal.inria.fr/hal-00649388
[64]
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.
[65]
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.
[66]
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.
[67]
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–.
[68]
S.-J. Yen, Y.-S. Lee.
Mining Non-redundant Time-gap Sequential Patterns, in: Applied Intelligence, 2013, vol. 39, no 4, pp. 727–738.
[69]
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".
http://hal.inria.fr/hal-00656543