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

Previous |

Home