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.

http://hal.inria.fr/hal-00544122/en
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

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

http://hal.inria.fr/tel-00933375
6Y. Zhao.

Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d'outils de model-checking, Université Rennes 1, January 2014.

http://hal.inria.fr/tel-00933443

Articles in International Peer-Reviewed Journals

7A. Aubert, R. Tavenard, R. Emonet, A. De Lavenne, S. Malinowski, T. Guyet, R. Quiniou, J.-M. Odobez, P. Mérot, C. Gascuel-Odoux.

Clustering flood events from water quality time-series using Latent Dirichlet Allocation model, in: Water Resources Research, 2013, 1 p. [ DOI : 10.1002/2013WR014086 ]

http://hal.inria.fr/halshs-00906292
8T. 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
9R. 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

Articles in National Peer-Reviewed Journals

10V. 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

International Conferences with Proceedings

11S. Benabderrahmane.

Biomedical Knowledge Extraction Using Fuzzy Differential Profiles and Semantic Ranking, in: 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, N. Peek (editor), June 2013, vol. 7885, pp. 84-93. [ DOI : 10.1007/978-3-642-38326-7_13 ]

http://hal.inria.fr/hal-00934265
12S. Benabderrahmane.

Enhancing Transcriptomic Data Mining with Semantic Ranking: Towards a new Functional Spectral Representation, in: International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2013, Granada, Spain, ISBN 978-84-15814-13-9, March 2013, vol. 15814, pp. 978-84.

http://hal.inria.fr/hal-00934279
13S. 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 2014, Granada, Spain, April 2014, 1 p.

http://hal.inria.fr/hal-00935378
14P. Besnard, M.-O. Cordier, Y. Moinard.

Arguments using ontological and causal knowledge, in: FoIKS, Bordeaux, France, C. Beierle, C. Meghini (editors), LNCS, Springer, March 2014, vol. 8367, pp. 79–96.

http://hal.inria.fr/hal-00931679
15M.-O. Cordier, R. Micalizio, S. Robin, L. Rozé.

Adapting Web Services to Maintain QoS Even When Faults Occur, in: ICWS - IEEE 20th International Conference on Web Services, Santa Clara - CA, United States, 2013, pp. 403-410. [ DOI : 10.1109/ICWS.2013.61 ]

http://hal.inria.fr/hal-00920474
16T. Guyet.

Visualisation de données relationnelles, in: Conférence Internationale de Géomatique et d'Analyse Spatiale (SAGEO), Brest, France, September 2013.

http://hal.inria.fr/hal-00916923
17T. 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.

http://hal.inria.fr/hal-00916964
18T. Guyet, H. Nicolas, B. Ghedamsi, E. Athane.

Fouille d'images géoréférencées avec RapidMiner, in: Conférence Internationale de Géomatique et d'Analyse Spatiale (SAGEO), Brest, France, September 2013.

http://hal.inria.fr/hal-00916921
19S. Malinowski, T. Guyet, R. Quiniou, R. Tavenard.

1d-SAX: A Novel Symbolic Representation for Time Series, in: International Symposium on Intelligent Data Analysis, United Kingdom, 2013, pp. 273-284. [ DOI : 10.1007/978-3-642-41398-8_24 ]

http://hal.inria.fr/halshs-00912512
20S. 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.

http://hal.inria.fr/hal-00916970

National Conferences with Proceedings

21J. Bourbeillon, L. Piel, R. El Ayeb, D. Rousselière, T. Guyet.

Construction semi-automatique d'une ontologie de la perception des paysages, in: Conférence Ingénierie des Connaissances 2013, Lille, France, May 2013, pp. 1-10.

http://hal.inria.fr/hal-00920722

Conferences without Proceedings

22P. Besnard, M.-O. Cordier, Y. Moinard.

Arguments using ontological and causal knowledge, in: JIAF 2013 (Septièmes Journées de l'Intelligence Artificielle Fondamentale), Aix-en-Provence, France, S. Konieczny, N. Maudet (editors), April 2013, pp. 41-48.

http://hal.inria.fr/hal-00932294

Scientific Books (or Scientific Book chapters)

23L. 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), Cépaduès, January 2013, vol. 2.

http://hal.inria.fr/hal-00770580
24M.-O. Cordier, P. Dague, Y. Pencolé, L. Travé-Massuyès.

Diagnostic et supervision : approches à base de modèles, 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-00769636
25T. Guyet, F. Le Ber, M. Teisseire.

Intelligence artificielle et agronomie, Revue d'Intelligence Artificielle, July 2013, vol. 27, 273 p.

http://hal.inria.fr/hal-00916980
26A. Herzig, P. Besnard.

Représentation des connaissances : modalités, conditionnels et raisonnement non monotone, 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-00770563
27A. 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

Internal Reports

28F. Gourmelon, D. Le Guyader, G. Fontenelle, H. Levrel, C. Tissot, L. Bonneau De Beaufort, M. Rouan.

Modélisation et scénarisation des activités humaines en rade de Brest, February 2013, 93 p.

http://hal.inria.fr/hal-00797154

References in notes

29B. Dubuisson (editor)

Diagnostic, intelligence artificielle et reconnaissance des formes, Traité IC2 : Information - Commande - Communication, Hermes, 2001.
30S. Dzeroski, N. Lavrač (editors)

Relational Data Mining, Springer, Berlin, 2001.
31W. Hamscher, L. Console, J. de Kleer (editors)

Readings in Model-Based Diagnosis, Morgan Kaufmann, San Meteo, CA, Etats-Unis, 1992.
32C. Aggarwal.

Data Streams: Models and Algorithms, Advances in Database Systems, Springer, 2007.
33R. 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.
34R. 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.
35G. Alarme.

Monitoring and alarm interpretation in industrial environments, in: AI Communications, 1998, vol. 11, 3-4, pp. 139-173, S. Cauvin, Marie-Odile Cordier, Christophe Dousson, P. Laborie, F. Lévy, J. Montmain, M. Porcheron, I. Servet, L. Travé-Massuyès.
36M. L. Angheloiu.

Incremental and adaptive learning for online monitoring of embedded software, Master 2 recherche informatique, Université de Rennes 1, June 2012.

http://dumas.ccsd.cnrs.fr/dumas-00725171
37M. Basseville, M.-O. Cordier.

Surveillance et diagnostic de systèmes dynamiques : approches complémentaires du traitement de signal et de l'intelligence artificielle, Irisa, 1996, n^o 1004.

ftp://ftp.irisa.fr/techreports/1996/PI-1004.ps.gz
38P. Besnard, M.-O. Cordier.

Inferring causal explanations, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'99), A. Hunter, S. Parsons (editors), Lecture Notes in Artificial Intelligence, Springer-Verlag, 1999, vol. 1638, pp. 55-67.
39P. Besnard, M.-O. Cordier, Y. Moinard.

Configurations for Inference between Causal Statements, in: KSEM 2006 (First Int. Conf. on Knowledge Science, Engineering and Management), J. Lang, F. Lin, J. Wang (editors), LNAI, Springer, aug 2006, n^o 4092, pp. 292–304.

http://www.irisa.fr/dream/dataFiles/moinard/causeksempub.pdf
40P. Besnard, M.-O. Cordier, Y. Moinard.

Ontology-based inference for causal explanation, in: KSEM07 (Second International Conference on Knowledge Science, Engineering and Management), Z. Zhang, J. Siekmann (editors), LNAI, Springer, nov 2007, n^o 4798, pp. 153-164.

http://www.irisa.fr/dream/dataFiles/moinard/ksem07bcausesonto.pdf
41P. Besnard, M.-O. Cordier, Y. Moinard.

Deriving explanations from causal information, in: ECAI 2008 (18th European Conference on Artificial Intelligence), Patras, Greece, M. Ghallab, C. D. Spytopoulos, N. Fakotakis, N. Avouris (editors), IOS Press, jul 2008, pp. 723–724.
42P. 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.
43P. Besnard, A. Hunter.

Elements of Argumentation, The MIT Press, june 2008.

http://www.mitpress.mit.edu/
44C. 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.
45A. Bochman.

A Causal Theory of Abduction, in: 7th Int. Symposium on Logical Formalizations of Common Sense Reasoning, S. McIlraith, P. Peppas, M. Thielscher (editors), 2005, pp. 33–38.
46T. Bouadi, M.-O. Cordier, R. Quiniou.

Incremental Computation of Skyline Queries with Dynamic Preferences, in: Database and Expert Systems Applications (DEXA), Vienne, Austria, S. W. Liddle, K.-D. Schewe, A. M. Tjoa, X. Zhou (editors), Springer, 2012, vol. 1, pp. 219-233. [ DOI : 10.1007/978-3-642-32600-4_17 ]

http://hal.inria.fr/hal-00757838
47Y. Chi, S. Nijssen, R. R. Muntz, J. N. Kok.

Frequent Subtree Mining–An Overview, in: Fundamenta Informaticae, IOS Press, 2005, vol. 66, pp. 161–198.
48A. Cornuéjols, L. Miclet.

Apprentissage artificiel : concepts et algorithmes, Eyrolles, 2002.
49L. De Raedt.

A perspective on inductive databases, in: SIGKDD Explor. Newsl., 2002, vol. 4, n^o 2, pp. 69–77.

http://doi.acm.org/10.1145/772862.772871
50C. Dousson.

Chronicle Recognition System, 1994.
51C. Dousson.

Suivi d'évolutions et reconnaissance de chroniques, Université Paul Sabatier de Toulouse, LAAS-CNRS, Toulouse, 1994.
52C. 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.
53C. Dousson, P. Gaborit, M. Ghallab.

Situation recognition: representation and algorithms, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Chambéry, France, 1993, pp. 166-172.
54S. Dzeroski, L. Todorovski.

Discovering dynamics: from inductive logic programming to machine discovery, in: Journal of Intelligent Information Systems, 1995, vol. 4, pp. 89-108.
55J. Gao, B. Ding, W. Fan, J. Han, P. S. Yu.

Classifying Data Streams with Skewed Class Distributions and Concept Drifts, in: IEEE Internet Computing, 2008, vol. 12, n^o 6, pp. 37-49.
56M. Garofalakis, J. Gehrke, R. Rastogi.

Querying and Mining Data Streams: You Only Get One Look. Tutorial notes, in: ACM Int. Conf. on Management of Data, 2002.
57E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, H. Turner.

Nonmonotonic causal theories, in: Artificial Intelligence Journal, March 2004, vol. 153, n^o 1–2, pp. 49–104.
58T. 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
59T. Guyet, R. Quiniou.

Mining temporal patterns with quantitative intervals, in: 4th International Workshop on Mining Complex Data at ICDM 2008, December 2008.
60T. Guyet, R. Quiniou.

Extraction incrémentale de séquences fréquentes dans un flux d'itemsets, in: Extraction et Gestion de Connaissances (EGC'2012), Bordeaux, France, B. Pinaud, G. Melançon, Y. Lechevallier (editors), RNTI, Hermann, February 2012.

http://hal.inria.fr/hal-00648893
61T. Guyet, R. Quiniou.

Incremental mining of frequent sequences from a window sliding over a stream of itemsets, in: Journées Intelligence Artificielle Fondamentale, France, May 2012, pp. 153-162.

http://hal.inria.fr/hal-00757120
62D. T. Hau, E. W. Coiera.

Learning qualitative models of dynamic systems, in: Machine Learning, 1997, vol. 26, pp. 177-211.
63T. Imielinski, H. Mannila.

A database perspective on knowledge discovery, in: Comm. of The ACM, 1996, vol. 39, pp. 58–64.
64M. Kubat, J. Gama, P. E. Utgoff.

Incremental learning and concept drift, in: Intell. Data Anal., 2004, vol. 8, n^o 3.
65C. 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
66E.-G. Lazrak, M. Benoît, J.-F. Mari.

Time-Space Dependencies in Land-Use Successions at Agricultural Landscape Scales, in: International Conference on Integrative Landscape Modelling, 2010.

http://hal.inria.fr/inria-00482890
67S. D. Lee, L. De Raedt.

Constraint Based Mining of First Order Sequences in SeqLog, LNCS, Springer-Verlag, 2004, vol. 2682, pp. 154-173.
68J. Lin, E. Keogh, L. Wei, S. Lonardi.

Experiencing SAX: a Novel Symbolic Representation of Time Series, in: Data Mining and Knowledge Discovery, 2007, vol. 15, n^o 2, pp. 107–144.
69H. Mannila, H. Toivonen, A. I. Verkamo.

Discovery of Frequent Episodes in Event Sequences, in: Data Mining and Knowledge Discovery, 1997, vol. 1, n^o 3, pp. 259–289.
70A. Marascu, F. Masseglia.

Mining sequential patterns from data streams: a centroid approach, in: J. Intell. Inf. Syst., 2006, vol. 27, n^o 3, pp. 291–307.

http://dx.doi.org/10.1007/s10844-006-9954-6
71F. Masseglia, F. Cathala, P. Poncelet.

The PSP Approach for Mining Sequential Patterns, in: Proceedings of the Second European Symposium on Principles of Data Mining and Knowledge Discovery, 1998, pp. 176–184.
72Y. Moinard.

A formalism for causal explanations with an Answer Set Programming translation, in: 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), United Kingdom Belfast, B. Scotney, Z. Jin (editors), LNCS, Springer-Verlag, Aug 2010.

http://hal.inria.fr/inria-00511093/en
73Y. Moinard.

Using ASP with recent extensions for causal explanations, in: ASPOCP10, Answer Set Programming and Other Computing Paradigms Workshop, associated with ICLP, United Kingdom Edinburgh, M. Balduccini, S. Woltran (editors), Jul 2010.

http://hal.inria.fr/inria-00542880/en
74D. Page.

ILP: Just Do It, in: Proceedings of ILP'2000, J. Cussens, A. Frisch (editors), LNAI, Springer, 2000, vol. 1866, pp. 3-18.
75Y. Pencolé, M.-O. Cordier, L. Rozé.

Incremental decentralized diagnosis approach for the supervision of a telecommunication network, in: DX'01 (International Workshop on Principles of Diagnosis), Sansicario, Italy, 2001.

http://www.irisa.fr/dream/dataFiles/ypencole/DX01.pdf
76R. Quiniou, M.-O. Cordier, G. Carrault, F. Wang.

Application of ILP to cardiac arrhythmia characterization for chronicle recognition, in: ILP'2001, C. Rouveirol, M. Sebag (editors), LNAI, Springer-Verlag, 2001, vol. 2157, pp. 220-227.

http://www.irisa.fr/dream/dataFiles/quiniou/ilp01.pdf
77N. Ramaux, M. Dojat, D. Fontaine.

Temporal scenario recognition for intelligent patient monitoring, in: Proc. of the 6th Conference on Artificial Intelligence in Medecine Europe (AIME'97), 1997.
78R. Reiter.

A theory of diagnosis from first principles, in: Artificial Intelligence, 1987, vol. 32, n^o 1, pp. 57-96.
79M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis.

Diagnosability of discrete event systems, in: Proceedings of the International Conference on Analysis and Optimization of Systems, 1995, vol. 40, pp. 1555-1575.
80M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis.

Active Diagnosis of Discrete-Event Systems, in: IEEE Transactions on Automatic Control, 1998, vol. 43, n^o 7, pp. 908-929.
81M. Sebag, C. Rouveirol.

Constraint Inductive Logic Programming, in: Advances in Inductive Logic Programming, L. De Raedt (editor), IOS Press, 1996, pp. 277-294.
82K. Sedki, L. Bonneau De Beaufort.

Cognitive Maps and Bayesian Networks for Knowledge Representation and Reasoning, in: 24th International Conference on Tools with Artificial Intelligence, Greece, 2012, pp. 1035-1040. [ DOI : 10.1109/ICTAI.2012.175 ]

http://hal.inria.fr/hal-00757189
83P. Smets, R. Kennes.

The Transferable Belief Model, in: Classic Works of the Dempster-Shafer Theory of Belief Functions, R. R. Yager, L. Liu (editors), Studies in Fuzziness and Soft Computing, Springer Berlin Heidelberg, 2008, vol. 219, pp. 693-736.
84The 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.
85A. Vautier, M.-O. Cordier, R. Quiniou.

An Inductive Database for Mining Temporal Patterns in Event Sequences (short version), in: Proceedings of IJCAI-05 (International Joint Conference on Artificial Intelligence), Edinburgh, L. P. Kaelbling, A. Saffiotti (editors), 2005, pp. 1640-1641, Poster.
86G. 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.
87X. 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–.
88Y. 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
89J. de Kleer, A. Mackworth, R. Reiter.

Characterizing diagnoses and systems, in: Artificial Intelligence, 1992, vol. 56, n^o 2-3, pp. 197-222.

Previous |

Home