Projet Repco
Précédent : Diffusion des résultats
Remonter : Rapport activite 1997
- Ouvrages et articles de référence
de l'équipe
- 1
- P. BESNARD, M.-O.
CORDIER,
« Explanatory Diagnoses and their Characterization by
Circumscription »,
Annals of Mathematics and Artificial Intelligence 11 ,
1994, p. 75-96.
- 2
- P. BOUCHER, P.
SÉBILLOT,
« Interprétation et génération automatiques de noms composés
anglais à l'aide de formes logiques »,
Traitement Automatique des Langues 34 , 2, 1993, p.
89-104.
- 3
- 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.
- 4
- F. DANNA, P.
SÉBILLOT,
« A Formalization of Student Modeling »,
Computer Assisted Language Learning CALL 10 , 2, 1997,
p. 121-147.
- 5
- P. DUPONT, L.
MICLET, E.
VIDAL,
« What is the search space of the regular inference? »,
in: Grammatical inference and applications ,
Lectures notes in Artificial Intelligence 862 ,
Springer-Verlag, p. 25-37,
1994.
- 6
- Y. MOINARD, R.
ROLLAND,
« Around a Powerful Property of Circumscriptions »,
in: JELIA'94, in LNCS No 838 , Springer-Verlag, p.
34-49,
1994.
- 7
- S. THIÉBAUX, M.-O.
CORDIER, O.
JEHL, J.-P.
KRIVINE,
« Supply Restoration in Power Distribution Systems -- A Case
Study in Integrating Model-Based Diagnosis and Repair Planning
»,
in: Proc. UAI-96 , p. 525-532,
1996.
- Thèses et habilitations à diriger
des recherches
- 8
- F. DANNA,
Modélisation de l'apprenant dans un logiciel d'enseignement
intelligemment assisté par ordinateur - Application à un
tutoriel dédié aux composés anglais ,
thèse de doctorat, Université de Rennes 1, janvier 1997.
- 9
- R. GRAS,
Un outil interactif de recherche de motifs dans les grandes
séquences génétiques fondé sur l'arbre des suffixes ,
thèse de doctorat, Université de Rennes I, décembre 1997.
- 10
- L. ROZÉ,
Supervision de réseaux de télécommunication: une approche à
base de modèles ,
thèse de doctorat, Thèse d'université, Université de Rennes 1,
janvier 1997.
- Articles
- 11
- P. BESNARD, T.
SCHAUB,
« Signed Systems for Paraconsistent Reasoning »,
Automated Reasoning , 1997,
à paraître.
- 12
- J.-M. BLIN, V.
MASSON, R.
QUINIOU,
« Acquisition d'expérience par raisonnement à partir de cas
dans un système de recherche »,
Revue d'Intelligence Artificielle , 1998,
accepté pour publication.
- 13
- F. DANNA, P.
SÉBILLOT,
« A Formalization of Student Modeling »,
CALL, Computer Assisted Language Learning 10 , 2,
1997, p. 121-147.
- 14
- H. GUYARD, V.
MASSON, R.
QUINIOU,
« Expert knowledge for acalculia assessment and rehabilitation
»,
Applied Neuropsychology 7 , 4, octobre 1997, p.
419-439.
- Chapitres de
livre
- 15
- P. BESNARD, L.
FARINAS
DEL
CERRO, D.
GABBAY, A.
HUNTER,
« Logical Handling of Default and Inconsistent Information
»,
in: Uncertainty Management for Information Systems ,
A. Motro et P. Smets (réd.),
Kluwer, 1997, ch. 11.
- 16
- M.-O. CORDIER, L.
ROZÉ, S.
BIBAS, P.
DAGUE, F.
LÉVY, C.
DOUSSON,
« Supervision des réseaux de télécommunications »,
in: Actes des Séminaires Action Scientifique , Numéro
14,
France Telecom, mars 1997, p. 118-132.
- 17
- GROUPE ALARME,
Surveillance et interprétation d'alarmes en milieu
industriel ,
Actes des journées PRC-IA, Hermès, Grenoble, 1997, p. 9-30,
S. Cauvin, M.-.O. Cordier, C. Dousson, G. Defrandre, P.
Laborie, F. Lévy, J. Montmain, M. Porcheron, I. Servet, L.
Travé-Massuyès.
- Communications à des manifestations
scientifiques
- 18
- P. BESNARD, J.-M.
GUINNEBAULT, E.
MAYER,
« Propositional Quantification for Conditional Logic »,
in: First International Joint Conference on Qualitative and
Quantitative Practical Reasoning (ECSQARU-FAPR-97) , D. M.
Gabbay, R. Kruse, A. Nonnengart, H. J. Ohlbach (réd.),
Lecture Notes in Artificial Intelligence , 1244,
Springer Verlag, p. 183-197,
Bad Honnef, Allemagne, 1997.
- 19
- P. BESNARD, J.-M.
GUINNEBAULT,
« The characterization of non-monotonic inference relations
»,
in: Proceedings of the Third Dutch/German Workshop on
Nonmonotonic Reasoning Techniques and their Applications ,
p. 120-129,
Saarbrücken, Germany, 1997.
- 20
- P. BESNARD, T.
SCHAUB,
« Circumscribing Inconsistency »,
in: Proceedings of the Fifteenth International Joint
Conference on Artificial Intelligence (IJCAI-97) , p.
150-155,
Nagoya, Japan, 1997.
- 21
- S. BIBAS, M.-O.
CORDIER, P.
DAGUE, F.
LÉVY, L.
ROZÉ,
« Supervision of a Telecommunication Network: the GASPAR
Project »,
in: Artificial Intelligence for Network Management Systems
- IEEE Colloquium ,
avril 1997.
- 22
- J.-M. BLIN, V.
MASSON, R.
QUINIOU,
« Experience acquisition with case-based reasoning in a search
system »,
in: Proc. of ICCIMA'98 , World Scientific,
Monash University, Australie, février 1998. à paraître.
- 23
- M.-O. CORDIER, S.
THIÉBAUX, O.
JEHL, J.-P.
KRIVINE,
« Supply restoration in power distribution systems: a reference
problem in diagnosis and reconfiguration »,
in: Proceedings of the 8th International Workshop on
Principles of Diagnosis (DX'97) , p. 27-34,
Mont Saint Michel, 1997.
- 24
- F. COSTE, J.
NICOLAS,
« Inférence grammaticale régulière: caractérisation des
solutions canoniques dans l'espace des fusions »,
in: JFA97 ,
1997.
- 25
- F. COSTE, J.
NICOLAS,
« L'inférence grammaticale régulière vue comme un problème de
coloriage et propagation de contraintes sur un graphe »,
in: JNPC'97: Résolution Pratique de Problèmes
NP-Complets , p. 113-120,
avril 1997.
- 26
- F. COSTE, J.
NICOLAS,
« Regular Inference as a Graph Coloring Problem »,
in: Workshop on Grammar Inference, Automata Induction, and
Language Acquisition (ICML' 97), Nashville, TN. ,
1997.
- 27
- F. DANNA, P.
SÉBILLOT, J.
ZHI,
« A Knowledge-based Approach for Analysing and Understanding
the Students'answers in Compounds »,
in: Actes de NLPRS'97 ,
Phuket, Thailand, décembre 1997.
- 28
- F. DANNA, P.
SÉBILLOT,
« Evaluation of a Student Modeling System »,
in: Actes de AI-ED ,
Kobe, Japon, août 1997.
- 29
- F. DANNA,
« Un outil de type micro-monde pour le tutoriel Compounds
»,
in: Actes des Journées EIAO-ENS de Cachan ,
Cachan, France, mai 1997.
- 30
- C. DELAMARCHE, S.
DESCHAMPS, A.
FROGER, J.
GOURANTON, J.-F.
HUBERT, I.
PELLERIN, B.
TALLUR, D.
THOMAS,
« Sequence analysis of the MIP family proteins »,
in: Molecular Physiology of Water Transport ,
Paris, avril 1997.
- 31
- A. FROGER, S.
DESCHAMPS, J.
GOURANTON, J.-F.
HUBERT, I.
PELLERIN, B.
TALLUR, D.
THOMAS, C.
DELAMARCHE,
« Sequence comparisons of aquaporins and glycerol facilitators
»,
in: Mathematical Analysis of Biological Sequences
,
Rouen, août 1997.
- 32
- R. GRAS,
« Analysis of genetic sequences: a pattern matching algorithm
with gaps and errors »,
in: Mathematical analysis of Biological Sequences
Workshop ,
1997.
- 33
- GROUPE PRC
DéCISION
ET
REPRÉSENTATION
DES
CONNAISSANCES,
« Décision et représentation des connaissances »,
in: Actes des 7èmes journées du PRC Intelligence
Artificielle , Hermès,
1997.
- 34
- GROUPE PRC-IA LSD,
« Lois, structures et dépendances »,
in: Actes des sixièmes journées nationales du PRC-GDR
"intelligence artificielle" , Hermès, Paris, p. 1-15,
Grenoble, France, 1997. Auteurs: S. Benferhat, Ph. Besnard, L.
Cholvy, R. Demolombe, D. Dubois, O. Gasquet, J.-L. Golmard, A.
Herzig, P. Marquis, Y. Moinard, H. Prade, C. Schwind.
- 35
- P. LABORIE, J.-P.
KRIVINE,
« Automatic generation of chronicles and its application to
alarm processing in power distribution systems »,
in: Proc. of the 8th International Workshop on Principles
of Diagnosis (DX'97) , p. 61-68,
septembre 1997. Mont Saint Michel, France.
- 36
- P. LABORIE, J.-P.
KRIVINE,
« GEMO: A Model-Based Approach for an Alarm Processing Function
in Power Distribution Networks »,
in: International conference on Intelligent System
Application to Power Systems (ISAP'97) , p. 135-141,
juillet 1997. Seoul, South Corea.
- 37
- I.-C. LERMAN, V.
ROUAT,
« Une résolution approchée du problème #SAT par un algorithme
de sériation »,
in: Cinquièmes Rencontres de la Société Francophone de
Classification , p. 27-33,
Lyon, septembre 1997.
- 38
- I.-C. LERMAN, F.
ROUXEL,
« Comparaison d'arbres de classification: un indice VL
(Vraisemblance du Lien) d'arité 4 »,
in: Cinquièmes Rencontres de la Société Francophone de
Classification , p. 223-228,
Lyon, septembre 1997.
- 39
- Y. MOINARD, R.
ROLLAND,
« Circumscriptions from what they cannot do (preliminary
report) »,
in: Common Sense 98: Fourth Symposium on logical
formalizations of common sense reasonning ,
London, january 1998,
http://www.dcs.qmw.ac.uk/conferences/CS98/CS98Papers.html
.
- 40
- M.
OUALI-ALLAH,
« Uniformisation relationnelle des paramètres de description
»,
in: JOCLAD 96 ,
Lisbonne, Portugal, décembre 1996.
- 41
- V. ROUAT, I.-C.
LERMAN,
« Utilisation de la sériation pour une résolution approchée du
problème #SAT »,
in: JNPC'97 Résolution Pratique de Problèmes
NP-Complets , p. 55-60,
Rennes, avril 1997.
- 42
- L. ROZÉ,
« Supervision of telecommunication network: A diagnoser
approach »,
in: Proceedings of the 8
International Workshop on Principles of Diagnosis (DX'97)
, p. 103-111,
Mont Saint Michel, 1997.
- 43
- C. SINOQUET, J.
NICOLAS,
« Analyse syntaxique de séquences guidée par des connaissances
statistiques »,
in: MABS97 - Mathematical Analysis of Biological Sequences
- 2nd workshop - Rouen, 27-29 august, à paraître ,
1997.
- 44
- J. SLANEY, S.
THIÉBAUX,
« Phase Transitions and Optimality: Sense and Nonsense »,
in: Proc. IJCAI workshop on Empirical AI , T. Walsh
(réd.),
Nagoya, Japan, août 1997. Aussi en rapport technique
TR-ARP-9-97, Australian National University, Août 1997.
- 45
- B. TALLUR,
J.NICOLAS,
« A method for classifying unaligned biological séquences
»,
in: IFCS-96 : Data Science, Classification and Related
Methods , Springer Verlag,
Tokyo, 1997.
- Rapports de
recherche
- 46
- R. GRAS,
« Recherche multiple d'association d'expressions régulières
flexibles dans les grandes séquences génétiques »,
rapport de recherche No3240, Inria, Rennes, France, septembre
1997.
- 47
- P. LABORIE,
« GEMO: un système de génération automatique d'expertise pour
la fonction de synthèse d'événements d'AUSTRAL »,
rapport de recherche NoHR-37/97/005, EDF, Direction des Etudes
et Recherches, 1997.
- 48
- I.-C. LERMAN,
« Comparing classification tree structures: a special case of
comparing q-ary relations »,
rapport de recherche No3167, Inria, mai 1997.
- 49
- R. PICHON, P.
SÉBILLOT,
« Acquisition automatique d'informations lexicales à partir de
corpus : un bilan »,
rapport de recherche No3321, Inria, décembre 1997.
- 50
- C. SINOQUET, J.
NICOLAS,
« Analyse syntaxique non déterministe utilisant un modèle de
n-grams »,
rapport de recherche Inria No3262, Inria, septembre 1997.
- Divers
- 51
- P. BESNARD, Y.
MOINARD, D.
PY,
Rapport d'avancement contrat CNET 97 1B 046, septembre
1997.
- 52
- M.-O. CORDIER, S.
THIÉBAUX,
« Rapport final du contrat EDF R34/1H/9487/01 », juillet
1997.
- 53
- C. FABRE, P.
SÉBILLOT,
Rapport d'avancement, Contrat CNET 95 1B 030, Projet numéro
623, avril 1997.
- 54
- P. LABORIE,
« Rapport d'avancement contrat EDF 1K4619 », juillet 1997.
- Bibliographie
générale
- BC96
- Michèle Basseville and Marie-Odile Cordier.
Surveillance et diagnostic de systèmes dynamiques : approches
complémentaires du traitement de signal et de l'intelligence
artificielle.
Technical Report 1004, IRISA, Mars 1996.
- BCT95
- V. Brusoni, L. Console, and P. Terenziani.
On the computational complexity of querying bound on difference
constraints.
Artificial Intelligence, 74(2):367-379, 1995.
- GGM91
- H. Guyard, J. Giot, and N. Ménager.
Analyse de l'expression numérale : approche cliniques.
Anthropologiques, 3:89-140, 1991.
- GRO97
- GROUPE ALARME.
Surveillance et interprétation d'alarmes en milieu
industriel, pages 9-30.
Actes des journées PRC-IA, Éditions Hermès, Grenoble, 1997.
S. Cauvin, M.-O. Cordier, C. Dousson, G. Defrandre, P. Laborie,
F. Lévy, J. Montmain, M. Porcheron, I. Servet, L.
Travé-Massuyès.
- Jou97
- Véronique Jousse.
Valeur diagnostique d'un outil informatique en cours
d'élaboration : Sarah.
Technical report, DESS Psychologie Clinique et Pathologique,
Chambéry, septembre 1997.
- JR94
- Paul S. Jacobs and Lisa F. Rau.
Innovations in text interpretation.
In F.C.N. Pereira and B.J. Grosz, editors, Natural Language
Processing, pages 143-191. MIT Press, 1994.
- Lie83
- Rochelle Lieber.
Argument Linking and Compounds in English.
Linguistic Inquiry, 2(14):251-285, 1983.
- Pus95
- James Pustejovsky.
The Generative Lexicon.
MIT Press, 1995.
- Qui93
- J.R. Quinlan.
C4.5: Programs for Machine-Learning.
CA: Morgan Kaufmann, San Mateo, 1993.
- Rou97a
- F. Rouxel.
Comparaison d'arbres de classification.
Mémoire, DEA d'Informatique et Recherche Opérationnelle de
l'université de Paris 6, 1997.
- Rou97b
- F. Rouxel.
Recherche récursive de sous arbres dans un arbre de
classification.
Mémoire du diplôme d'ingénieur, Institut d'Informatique
d'Entreprise du Cnam, 1997.
- Sea93
- D.B. Searls.
String variable grammar: a logic grammar formalism for the
biological language of DNA.
Journal of logic programming, (12):1-29, 1993.
- Sel82
- Elisabeth Selkirk.
The Syntax of Words.
MIT Press, 1982.
- SR96a
- Michèle Sebag and Céline Rouveirol.
Constraint inductive logic programming.
In Luc De Raedt, editor, Advances in inductive logic
programming, pages 277-294. IOS Press,
1996.
- SR96b
- Michèle Sebag and Céline Rouveirol.
Induction de clauses contraintes.
In Reconnaissance des formes et intelligence artificielle
(RFIA'96), pages 706-716, Rennes, 1996.
- SSL
94
- M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen,
and D. Teneketzis.
A discrete event systems approach to failure diagnosis.
In Fifth international workshop on principles of diagnosis
(DX'94), pages 269-277, 1994.
- SSL
95
- M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen,
and D. Teneketzis.
Diagnosability of discrete event systems.
In Proceedings of the International Conference on Analysis
and Optimization of Systems, volume 40, pages 1555-1575,
1995.