Chapitre dans un livre

F. Lévy A Survey of Belief Revision and Updating in Classical Logic
in : Revision and Updating in Knowledge Bases, Lea Sombe ed., J.
WiIley & sons, 1994, pp 29-59 (reprise de : International Journal of Intelligent Systems, n^o spécial sur la révision 1994, vol 9 pp 29-59.)
 

Articles de revue  Retour à la liste des rubriques

S. Cauvin, M.O. Cordier, C. Dousson, P. Laborie, F. Lévy, J. Montmain, M. Porcheron, L. Travé-Massuyes : Monitoring and Alarm Interpretation in Industrial Environment
AI Communications 11 (1998), pp 139-173. 40 pages

F. Lévy, N. Chaignaud : Révision et planification d'actions
Interactions, n^o spécial sur Révision et interaction (P. Marquis & C. Brassac ed), l'Harmattan. 1998

F. Gayral, D. Kayser, F. Lévy : Quelle est la couleur du feu rouge du boulevard Henri IV
Verbum 1997 n^o1-2, pp 177-200

F. Gayral, D. Kayser, F. Lévy : Logique et semantique du langage naturel : modeles et interpretation
Intellectica, 1996-2, n^o 23, pp 303-325

S. Bibas, M.-O. Cordier, C. Dousson, P. Dague, F. Lévy et L. Rozé : Alarm driven Supervision for Telecommunication Network
Annales des Télécommunications, 51 (9-10), pp. 493-500, Septembre 1996

F. Lévy Introduction
t.a.l. (traitement automatique du langage), numéro spécial sur la sémantique du langage naturel, 1995, n^o1. (coordination F. Lévy)

F. Gayral, P. Grandemange, D. Kayser, F. Lévy : Interprétation des constats d'accidents : représenter le réel et le potentiel
t.a.l. (traitement automatique du langage), numéro spécial sur la sémantique du langage naturel, 1995, n^o1.

F. Lévy Raisonnement et Intelligence Artificielle
in Psychologie Française, 1994, Tome 39-2, pp 213-222
 
 

Colloques avec actes Retour à la liste des rubriques

A. Osmani, F. Lévy : Simulating Faults in Telecommunication Networks : Reasoning about Uncertain Propagation of Events,

F. Lévy, J. Joachim Quantz : Representing Beliefs in a Situated Event
Calculus,
Common Sense '98, Londres, 3-5 Janv 98, pp 87-98.
Disponible aussi sur ETAI (Electronic Transactions in Artificial Intelligence) http://www.ida.liu.se/ext/etai

N. Chaignaud, F. Lévy : Common Sense Reasonning: Experiments and Implementation
Ecai 96, Budapest, 14-16 Aout 1996 pp 604-608

S. Bibas, P. Dague, F. Lévy, M.-O. Cordier, L. Rozé : Gaspar: a Model-Based System for Monitoring Telecommunication Networks.
CESA'96/MBS, Computational Engineering in Systems Applications EMACS-IEEE/SMC Multiconference, Invited Session on Model-Based Systems, Lille, Juillet 1996.

F. Lévy : Recognizing scenarios : a study
DX94, New-Paltz (N-Y), Octobre 1994. pp 174-178

F. Lévy : Weak Extensions for Default Theories
ECSQARU'93 Grenade, Novembre 93.
Publié dans : "Symbolic and Quantitative approaches to Reasoning and Uncertainty
LNCS 747, Springer-Verlag

F. Lévy : Local Extensions to Default Theories
Congres IPMU'92 Mallorca (Espagne) 6-10 Juillet 1992

M. Amselem, F. Lévy, A. Nguyen-Xuan : Recherche de preuves : une simulation informatique de protocoles expérimentaux
Congrès ECCOS'92 Orsay 29 juin-1er Juillet 1992

M. Amselem, F. Lévy, A. Nguyen-Xuan : Proof Generation in Geometry : a Computer Simulation of Think-aloud Protocols
European Conference on Educationnal Research Twente (Pays -Bas) 22-25 Juin 1992

F. Gayral, F. Lévy Un essai d'interprétation sémantique
8ème congrès AFCET-RFIA, Lyon, Nov 91

F. Lévy Appliquer la résolution au raisonnement par défaut
8ème congrès AFCET-RFIA, Lyon, Nov 91

F. Lévy Computing extensions of default théories
in : Symbolic and quantitative approaches to uncertainty (R. Kruse & P. Siegel ed) LNCS 548 Springer-Verlag 1991

F. Lévy : inférences existentielles en théorie des défauts
(session poster) 7ème congrès AFCET-RFIA, Paris, 29.11-1.12 1989 Actes pp 1165-1172

E. Bonté, F. Lévy : Une procédure complète de calcul des extensions pour les théories de défaut en réseau
7ème congrès AFCET-RFIA, Paris, 29.11-1.12 1989 Actes pp 1315-1325

F. Lévy, E. Bonté, J. Castaing, P. Grandemange, S. Grumbach, D. Kayser. : Cohérence et profondeur variable
Journées Européennes de Logique et d'Intelligence Artificielle. Roscoff, Juin 1988.

E. Bonté, J. Castaing, P. Grandemange, S. Grumbach, F. Lévy : Description d'un raisonneur à profondeur variable
8èmes journées internationales sur les systèmes experts et leurs applications, Avignon, Juin 1988

J. Castaing, E. Bonté, P. Grandemange, S. Kolodziejczyk, F. Levy : Représentation des connaissances à profondeur variable
Congrès de l'Association pour la Recherche Cognitive. Mars 1988
 

Workshops avec commité de lecture Retour à la liste des rubriques

F.Lévy: Alternate Situations and Lexical Meaning (Poster) ICWS'99, Twente, 11-12 Janv 99, pp 52-53.

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé : Supervision of a Telecomunication Network : the GASPAR Project
Artificial Intelligence for Network Management Systems - IEEE Colloquium - Savoy Place - 14 Avril 1997

F. Gayral, D. Kayser, F. Lévy : Quelle est la couleur du feu rouge du boulevard Henri IV
Actes du séminaire international de travail Anaphore et référence. Nancy, 20-22 Sept 1996.

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé : Modelling a Telecommunication Network for Supervision Purposes
ECAI-96 Workshop on Model-Based Systems and Qualitative Reasoning Perspectives for Industrial Applications, Budapest, 12 Août 1996.

F. Gayral, D. Kayser, F. Lévy : A Limited Semantic Analysis : which Kind of Limits ?
Actes du Workshop Corpus-oriented Semantics, Ecai 96, Budapest, 13 Aout 1996

N. Chaignaud, F. Lévy : An implementation for human problem solving methods
Actes du Workshop : Computational cognitive modeling : the source of the power
(AAAI) 96, Portland, 4 Aout 1996

S. Bibas, L. Roze, P. Dague, F. Lévy, M-O Cordier : Scenario Generation for Telecommunication Network Supervision
Workshop IJCAI 'AI in Distributed Information Networks', Montréal, Aout 95

F. Lévy La sémantique du langage Naturel
Actes des 5èmes journées nationales PRC-GDR Intelligence Artificielle, Nancy, Février 1995, pp 84-103

Léa Sombé (P. Besnard, L. Cholvy, M.-O. Cordier, D. Dubois, L. Farinas del Cero, C. Froideaux, F. Lévy, Y. Moinard, H. Prade, C. Schwind, P. Siegel) La Révision
Actes des 4èmes journées nationales PRC-GDR Intelligence Artificielle, Marseille, Novembre 1992

F. Lévy : Maintenance de vérité et logique des défauts
Actes des journées du PRC-GDR d'Intelligence Artificielle, Paris, 6-7 Mars 1990, Éditions Hermès pp 35-44

Colloques à diffusion restreinte Retour à la liste des rubriques

P. Blache, J. Guizol, F. Lévy, A. Nazarenko, S. N'Guéma, R. Pasero, M. Rolbert, P. Sabatier : Evaluer de systèmes de compréhension de textes.
Actes de Journées Scientifiques et Techniques (JST), Francil, AUPELF-UREF, Avignon, Avril 1997.

S. Cauvin, M-O. Cordier, C. Dousson, G. Deflandre, P. Laborie, F. Lévy, J. Montmain, M. Porcheron, I. Servet, L. Travé-Massuyes : Surveillance et interprétation d'alarmes en milieu industriel
Journées du PRC-IA, Grenoble, 19 Mars 1997, pp 9-30

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé : Le projet GASPAR : Gestion d'alarmes par simulation des pannes sur le réseau Transpac
Séminaire Gestion et Supervision de Réseaux, Lannion, Octobre 1995

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé : Modélisation, Diagnostic et Supervision de Réseaux de Télécommunications
Séminaire Logiciels pour les Télé communications, Bordeaux, Mai 1995

Léa Sombé (P. Besnard, L. Cholvy, M.-O. Cordier, D. Dubois, L. Farinas del Cero, C. Froideaux, F. Lévy, Y. Moinard, H. Prade, C. Schwind, P. Siegel) : Informations incomplètes - informations contradictoires
in : La recherche en informatique, Courrier du CNRS, Fev 93

F. Lévy : Théorie des défauts, ATMS et diagnostic
Communication aux journées pôle A - pôle E du PRC Intelligence Artificielle, Kerallic, septembre 91.

F. Lévy : Hitting sets with Defaults
Workshop of Esprit Basic Research Action 3085 (DRUMS), Marseille-Luminy, 24-27 Février 1990 (sur invitation)

J. Castaing, F. Lévy : Inférences incertaines et maintien de la cohérence
Journées du PRC Intelligence Artificielle, pôle analyse de l'inférence et du contrô le" Saint Malo, Septembre 1988.
 

Rapports de fin de contrat et rapports internes Retour à la liste des rubriques

M. Barquin, H. Citeau, C. Dousson, E. Fabre, F. Lévy : Rapport d'avancement du projet Magda, 13 Déc 1999 - sur http://magda.elibel.tm.fr

M. Barquin, L. Lievre, C. Dousson, A. Aghasaryan, T. Vu Dong, E. Fabre, A. Benveniste, C. Jard, M-O. Cordier, F. Lévy : Magda Requirements, 22 Oct 1999 - sur http://magda.elibel.tm.fr

M.O.Cordier, P.Dague, F.Lévy, E.Mayer, A.Osmani : Modélisation du Réseau TRANSPAC et Algorithmes de simulation., rapport technique du contrat CNET 97 1B 437, n° 3,Mai 99

M.-O. Cordier, P. Dague, F. Krief, F. Lévy, E. Mayer, A. Osmani et L. Rozé : Modélisation de réseaux de télécommunications pour les besoins de gestion de pannes : cas de la technologie ATM, rapport technique du contrat CNET 97 1B 437, n° 2, Novembre 1998.

S.Bibas, M.O.Cordier, P.Dague, F.Lévy, E.Mayer, A.Osmani, L.Rozé :Supervision des réseaux de télécommunications : une approche à base de modèles, Dossier :Intelligence Artificielle et Télécommunications, Bulletin de l'AFIA, Avril 98.

M. Allouche, S. Bibas, S. Cauvin, M-O. Cordier, P. Dague, G. Deflandres, C. Dousson, M. Dumas, D. Fontaine, S. Gentil, P. Laborie, F. Lévy, J. Montmain, M. Porcheron, G. Ramaux, L. Roze, C. Sayettat, I. Servet, L. Travé-Massuyes : Surveillance et interprétation d'alarmes enmilieu industriel, Rapport d'activité du groupe Alarme, LIPN, Janvier 1998.

M.-O. Cordier, P. Dague, F. Lévy, E. Mayer, A. Osmani et L. Rozé : Modélisation, Diagnostic et Supervision de Réseaux de Télécommunications, rapport technique du contrat CNET 97 1B 437, n° 1, Novembre 1997.

S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé : Modélisation, Diagnostic et Supervision de Réseaux de Télécommunications
rapports techniques CNET-CNRS 93 1B 142, numéros 1à 6, 1994-1996

Gestion de l'Évolutif et de l'Incertain dans une base de Connaissances
projet interPRC, rapport final, Décembre 1994

F. Lévy : Reason Maintenance Systems and Default Theories
Rapport LIPN no 92-2 Décembre 1992

F. Lévy : Weak Extensions for Default Theories
Rapport LIPN no 92-1 Décembre 1992

M. Abraham, D. Coulon, J.-P. Desclés, P. Enjalbert, D. Estival, C. Fuchs, F. Gayral, J. Jayez, D. Kayser, F. Lévy, G. Ligozat, D. Maire-Reppert, H.-G. Oh, P. Saint-Dizier : Rapport d'activité Juin 1990 - Juin 1992 du Groupe Inter-PRC "Sémantique des Langues Naturelles"
L.I.P.N., Septembre 1992

G. Chaty, F. Lévy : Default Logic and Kernel in Digraph
Rapport LIPN no 91-9 Novembre 1991

F. Lévy : An ATMS for Default theories
Rapport LIPN no 91-8 Novembre 1991

F. Gayral, G. Girod, D. Kayser, F. Lévy, C. Tollu : Sémantique et profondeur variable
Annexes du rapport final du groupe inter-PRC sur la Sémantique des Langues Naturelles, Paris, 27 Mars 1990, Annexe E.

M. Bras, D. Coulon, J.-P. Desclés, C. Fuchs, F. Gayral, J. Jayez, D. Kayser, F. Lévy, F. Nef, D. Reppert, P. Saint-Dizier, C. Tollu, Y. Toussaint, B. Victorri : La sémantique des langues naturelles : éléments d'une approche comparative
Rapport final (100 p.) du groupe inter-PRC sur la Sémantique des Langues Naturelles, Paris, 27 Mars 1990

E. Bonte, J. Castaing, F. Gayral, P. Grandemange, D. Kayser, F. Lévy , C. Tollu : Profondeur variable 90
Rapport final du contrat D.R.E.T., Mars 1990

E. Bonte, J. Castaing, P. Grandemange, S. Grumbach, D. Kayser, F. Lévy :Description générale d'un raisonneur à profondeur variable
Rapport technique LIPN, Université de Paris Nord, Février 1988