Références

Livres et monographies

1

P. Besnard, S. Hanks (réd.), Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence, Montréal, Morgan Kaufmann, août 1995.

2

D. Guin, J. Nicaud, D. Py (réd.), Quatrièmes journées EIAO de Cachan, Eyrolles, 1995.

Thèses

3

J. Giordano, Inférence de grammaires algébriques, thèse de doctorat, Université de Rennes 1, janvier 1995.

4

R. Ngouenet, Analyse géométrique des données de dissimilarité par la multidimensional scaling :une approche parallèle basée sur des algorithmes génétiques, thèse de doctorat, Université de Rennes 1, décembre 1995.

5

E. Siou, Programmation logique inductive et modélisation de l'apprenant; application à l'analyse des erreurs de raisonnement chez l'aphasique, thèse de doctorat, Université de Rennes 1, décembre 1994.

6

S. Thiébaux, Contribution à la planification sous incertitude et en temps contraint, thèse de doctorat, Université de Rennes I, juin 1995.

Articles et chapitres de livre

7

C. Belleannée, P. Brisset, O. Ridoux, ``A Pragmatic Reconstruction of LambdaProlog'', Technique et Science Informatique 14, 2, novembre 1995.

8

P. Besnard, J. Kohlas, ``Evidence Theory based on General Consequence Relations'', Foundations of Computer Science 6, 2, 1995, p. 119--135.

9

P. Besnard, T. Schaub, ``An Approach to Context-Based Default Reasoning'', Fundamenta Informaticae 23, 2--4, 1995, p. 175--223.

10

P. Besnard, ``Systèmes d'inférence non monotones'', Theoria 23, 1995, p. 37--47.

11

I. Lerman, ``Statistical reduction of the satisfiability problem by means of a classification method'', in: Data Science and Its Applications, Y. Escoufier et al. (réd.), Academic Press, 1995, p. 219-234.

12

T. Schaub, ``A new methodology for query-answering in default logics via structure-oriented theorem proving'', Journal of Automated Reasoning 15, 1, 1995, p. 95--165.

13

S. Thiébaux, J. Hertzberg, W. Shoaff, M. Schneider, ``A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty'', Int. J. Intelligent Systems 10, 2, 1995.

14

M. Thielscher, T. Schaub, ``Default Reasoning by Deductive Planning'', Journal of Automated Reasoning 15, 1, 1995, p. 1--40.

Communications à des congrès, colloques, etc.

15

C. Belleannée, P. Kuhna, P. Lamarre, C. Schwind, S. Thiébaux, V. Vialard, R. Vorc'h, ``Méthodes sémantiques de démonstration pour logiques non standards'', in: Actes des 5èmes journées nationales PRC-GDR IA, Teknea, p. 377--396, Nancy, février 1995.

16

C. Belleannée, R. Vorc'h (participation de), ``Classes polynômiales - Projet inter-PRC'', in: Actes des 5èmes journées nationales PRC-GDR IA, Teknea, p. 3--28, Nancy, février 1995.

17

F. Bergadano, P. Besnard, ``Abduction and Induction based on Non-Monotonic Reasoning'', in: Mathematical and Statistical Methods in Artificial Intelligence, G. Della Riccia, R. Kruse, R. Viertl (réd.), CISM 363, Springer, p. 105--118, 1995.

18

P. Besnard, A. Hunter, ``Quasi-Classical Logic: Non-Trivializable Classical Reasoning from Inconsistent Information'', in: Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, C. Froidevaux, J. Kohlas (réd.), LNAI 946, Springer, p. 44--51, 1995.

19

P. Besnard, Y. Moinard, ``Implication connectives for logic with right weakening'', in: Advances in Intelligent Computing, in LNCS No 945, B. Bouchon-Meunier, R. Yager, L. Zadeh (réd.), Springer-Verlag, p. 360--369, 1995.

20

P. Besnard, Y.-H. Tan, ``A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning'', in: AAAI Fall Symposium on Formalizing Context, S. Buvac (réd.), AAAI Press, 1995.

21

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy, L. Rozé, ``Scenario Generation for Telecommunication Networks'', in: Workshop on AI in Distributed Intelligent Networks, Montréal (Canada), 1995.

22

J. Blin, V. Masson, R. Quiniou, ``Apprentissage incrémental par programmation logique inductive et raisonnement à partir de cas'', in: RFIA'96, Rennes, janvier 1996.

23

S. Brüning, T. Schaub, ``Using classical theorem-proving techniques for approximate reasoning: A Revised Report'', in: Advances in Intelligent Computing, B. Bouchon-Meunier, R. Yager, L. Zadeh (réd.), Springer, p. 389--398, 1995.

24

M.-O. Cordier, J. Lang, ``Linking transition-based update and base revision'', in: Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, C. Froidevaux, J. Kohlas (réd.), LNAI 946, Springer, p. 133-141, 1995.

25

M.-O. Cordier, P. Siégel, ``Prioritized transitions for Updates'', in: Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, C. Froidevaux, J. Kohlas (réd.), LNAI 946, Springer, p. 142-151, 1995.

26

F. Danna, P. Sébillot, ``Modeling Student's Cognitive Temporal Evolution'', in: Proc. of the 3rd Int. Conf. on Computer Aided Engineering Education, Bratislava, SLOVAQUIE, septembre 1995.

27

J. Delgrande, T. Schaub, ``Towards Hybrid Nonmonotonic Reasoning Systems'', in: Hybrid Problems, Hybrid Solutions, J. Hallam (réd.), Frontiers in Artificial Intelligence and Applications, 27, IOS Press, p. 39--50, 1995.

28

C. Fabre, P. Sébillot, ``Interprétation automatique des composés nominaux anglais hors domaine : quelles solutions ?'', in: Proc. of 10ème Congrès Reconnaissance des Formes et Intelligence Artificielle, Rennes, FRANCE, janvier 1996.

29

C. Fabre, ``Interpretation of english nominal compounds : designing a domain-independent model to guide semantic information retrieval'', in: Actes de CLIN-95, Anvers, Belgique, décembre 1995.

30

J. Giordano, ``Grammatical inference as an optimization problem: application of Tabu Search to the inference of regular grammars.'', in: 8th International Symposium on Artificial Intelligence, octobre 1995.

31

J. Giordano, ``L'inférence grammaticale comme problème d'optimisation combinatoire : application de la méthode Tabou a l'inférence de grammaires régulières.'', in: Actes des 10èmes Journées Francophones d'Apprentissage, avril 1995.

32

R. Gras, J. Nicolas, ``Visualization of repeats in large biological sequences'', in: 3rd Int. Conf. on Intelligent Systems for Molecular Biology, Cambridge, juillet 1995. abstract.

33

I. Lerman, R. Ngouenet, ``Analyse des séquences biologiques par une approche parallèle des Algorithmes Génétiques dans la MDS'', in: Troisièmes Rencontres Francophones de Classification, Namur, Belgique, septembre 1995.

34

I. Lerman, R. Ngouenet, ``An efficient parallel genetic algorithm for multidimensional scaling'', in: Seventh International Symposium on Applied Stochastic Models and Data Analysis, Dublin, Irlande, juin 1995.

35

I. Lerman, P. Peter, J. Risler, ``Matrices AVL pour la Classification et l'Alignement de séquences protéïques'', in: JOCLAD-94, II Jornadas de classificacao e Analise de Dados, décembre 1994.

36

I. Lerman, J. Pinto da Costa, ``Apports méthodologiques dans les Arbres de Décision ; Application à l'identification de la Structure Secondaire d'une Protéine'', in: OSDA'95, Ordinal Symbolic Data Analysis, Paris, juin 1995.

37

I. Lerman, ``Des tests inférentiels aux analyses des données ; cas de l'analyse des similarités», méthodes d'analyses statistiques multidimensionnelles en didactique des mathématiques'', in: Méthodes d'analyses statistiques multidimensionnelles en didactique des mathématiques, Caen, janvier 1995.

38

T. Linke, T. Schaub, ``Lemma handling in default logic theorem provers'', in: Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, C. Froidevaux, J. Kohlas (réd.), LNAI 946, Springer, p. 285--292, 1995.

39

L. Miclet, P. Dupont, S. Vial, ``Inférence grammaticale régulière : méthodes semi-itératives et mesure de performances'', in: Actes des Journées Francophones sur l'Apprentissage, p. 103-116, 1995.

40

R. Ngouenet, I. Lerman, ``Hybridized genetic algorithms for least squares multidimensional scaling'', in: 9th European Meeting of the Psychometric Society, Leiden, The Netherlands, July 1995.

41

J. Pinto da Costa, I. Lerman, F. Nicolau, ``Utilizacao de movas coefficientes em Arvores de Decicao ; una aplicacao em Biologia Molecular'', in: III Congresso Anual da Sociedade Portuguesa de Estatisca, Guimaraes, Portugal, juin 1995.

42

D. Py, ``Model-based diagnosis for tutoring systems'', in: World Conference on Computers in Education, Birmingham, Angleterre, 1995.

43

D. Py, ``Modélisation du diagnostic en EIAO'', in: Quatrièmes journées EIAO de Cachan, D. Guin, J. Nicaud, D. Py (réd.), Eyrolles, 1995.

44

P. Sébillot, ``From automatic extraction to automatic abstract'', in: Actes de CLIN-95, Anvers, Belgique, décembre 1995.

45

J. Slaney, S. Thiébaux, ``Tractable Approximation to Optimal Planning in the Blocks World'', in: 14 Workshop UK Planning and Scheduling SIG, Colchester (UK), octobre 1995.

Rapports de recherche et publications internes

46

F. Danna, P. Sébillot, ``Modélisation de l'apprenant dans un tuteur intelligent des composés en anglais'', publication interne n°928, Irisa, mai 1995.

47

I. Lerman, R. Ngouenet, ``Algorithmes Génétiques séquentiels et parallèles pour une représentation affine des proximités'', rapport de recherche n°901, Irisa, janvier 1995.

48

I. Lerman, P. Peter, J. Risler, ``Matrices AVL pour la classification et l'alignement de séquences protéïques'', rapport de recherche n°2570, Inria, janvier 1995.

49

J. Slaney, S. Thiébaux, ``Blocks World Tamed (Ten thousand blocks in under a second'', Technical Report n°TR-ARP-17-95, Australian National University, octobre 1995.

50

J. Slaney, S. Thiébaux, ``Tractable Approximation to Optimal Planning in the Blocks World'', Publication Interne n°896, Irisa, janvier 1995.

Divers

51

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy, L. Rozé, Rapports d'avancement, Contrat CNET 93 1B 142, Projet numéro 513, janvier, avril, juillet 1995.

52

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy, L. Rozé, ``Le projet GASPAR : gestion d'alarmes par simulation des pannes sur le réseau Transpac'', Journées de Lannion, octobre 1995.

53

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy, L. Rozé, ``Modélisation, diagnostic et supervision de réseaux de télécommunications'', Journées de Bordeaux, mai 1995.

54

M.-O. Cordier, O. Jehl, J.-P. Krivine, S. Thiébaux, ``Génération réactive de plans de reprise de service : modélisation du problème et premières expérimentation'', juillet 1995, Rapport intermédiaire du contrat EDF 1H/9487.

55

M.-O. Cordier, ``Doigtage intelligent d'une partition de guitare'', Bulletin de l'AFIA, octobre 1995.

56

C. Fabre, P. Sébillot, ``Contrat CNET 95 1B 030, Projet numéro 623,'', Rapports d'avancement, avril, octobre 1995.

57

N. Ghazzali, A. Leger, I. Lerman, ``Rôle de la Classification Statistique dans la Compression du Signal d'Image : Panorama et étude spécifique de cas'', décembre 1994.

58

J. Nicolas, R. Gras, B.Tallur, J.Lebbe, R.Vignes, J. Giordano, ``Classification et caractérisation de séquences. Définition d'un outil d'analyse pour les grandes séquences. Application à l'étude du Bacillus subtilis'', Rapport de fin de contrat, mai 1995.

59

J. Nicolas, B. Tallur (participation de), ``Méthodes symbolique-numériques de discrimination - Projet inter-PRC Symenu'', février 1995.