Laurence Cholvy

Contact

Laurence Cholvy

Research Director

ONERA, 2 avenue Edouard Belin, 31055 Toulouse

laurence.cholvy((at))onera.fr

 

Research 

My research is related to information  modeling. I use  logics  (classical and modal logics) and Belief Function Theory for: 

  • Modelling Opinion diffusion in networks of agents,
  • Information fusion, information evaluation, reasoning with reported information,
  • Logical approach to Belief Function Theory,
  • Reasoning with Inconsistency,  information base updates,  consistency restoration,
  • Normative Reasoning: Normative conflicts, Contrary-To-Duties, Collective obligations,  regulation consistency,  regulation completeness,
  • Multi-agents:  Reasoning with Goals, Preferences, Ability, Actions, Relevant information, cooperative agents.

 

Publications


Journals

L. Cholvy, L Perrussel, JM Thévenin. Using Inconsistency Measures for Estimating Reliability. Journal of Approximate Reasoning. (in press)

L. Cholvy. Towards a logical belief function theory.  Journal of Applied Logic  (volume 13  Issue 4 decembre 2015)

L. Cholvy. Non-exclusive Hypothesis in Dempster-Shafer Theory. International. Journal of Approximate Reasoning. 53(4) p 493-501 (2012)

J. Besombes, L. Cholvy, V. Dragos. A semantic-based model to assess information for intelligence. Aerospace Lab, the ONERA  Journal,  issue 4, 2012.

C. Garion, S. Roussel, L. Cholvy. Une logique modale pour raisonner sur la cohérence et la complétude de  réglementations. Revue d'Intelligence Artificielle,   24(3),2010.

S. Roussel, L. Cholvy.  A definition of agent-oriented relevance in modal logic. Information-Interaction-Intelligence,  An International Journal  9(2), 2009.

L. Cholvy, C. Garion. Querying several Conflictual  Databases.  Journal  of Applied Non-Classical Logics,  14(3), 2004.

L. Cholvy, C.  Garion. Answering  queries  addressed to several databases according  to a majority merging approach.  Journal  of Intelligent Information Systems,  22(2), 2004.

L. Cholvy, A. Hunter. Merging requirements  from a set of ranked agents.     International Journal  Knowledge-Based Systems, 16, 2003.

L.  Cholvy, C. Garion.  Allocation de buts  affectés à un groupe  d'agents.       Information-Interaction- Intelligence.  Numéro Spécial  ``Modèles  Formels de  l'Interaction'', Cépaduès, 2002.

 L. Cholvy et Ch. Garion. An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties. Fundamenta Informaticae, 48, 2001.

L. Cholvy,  S. Moral.  Merging databases: problems and examples.    International  Journal  of Intelligent  Systems, Special Issue on Fusion, 16(10),  2001.

J.  Carrère, L. Cholvy,  F. Cuppens, Cl. Saurel.  Merging regulations: analysis  of a practical example.    International Journal  of Intelligent Systems,  Special Issue  on Fusion,  16(11), 2001.

L. Cholvy.  Fusion de croyances et révision.  Revue Interaction  et  cognition,  4(11,12),  Edition  Harmattan, 2001.

L.  Cholvy.  Reasoning  about   data provided  by federated deductive databases. Journal of Intelligent Information Systems, 10(1), Kluwer Academic Publishers, 1998.

L. Cholvy, F. Cuppens, R. Demolombe.  Logiques modales et bases de données. Revue  Techniques   et Sciences de l'Information, 17(3), Hermès, 1998.

L. Cholvy. Fusion de sources d'informations contradictoires ordonnées en fonction des thèmes. Revue de l'Intelligence Artificielle, 8(2), Hermès, 1994.

L. Cholvy. Database updates and transition constraints : a formula-based approach. International Journal of Intelligent Systems, 9(1), Wiley, 1994.

Léa Sombé (collectif).  A glance at revision and updating in knowledge bases. International Journal of Intelligent Systems, 9(1), Wiley, 1994.

L. Cholvy. Answering queries addressed to a rule base. Revue d'Intelligence Artificielle, 4(1), Hermès, 1990.


Book Chapters.

L. Cholvy. When reported information is second hand. In Information Evaluation. P Capet,  T Delavallade (eds). Wiley 2014.

L. Cholvy. Lorsque l'information est de seconde main. In L'évaluation de l'information: confiance et défiance. Editeurs P. Capet et T. Delavallade,  Hermès, 2013.

N. Bidoit, P. Bosc, L. Cholvy, O. Pivert, M.C. Rousset. Bases de données et Intelligence Artificielle. In "L'I.A. frontières et applications". Cépaduès, 2013.

M.  Bouzid, L. Cholvy, D. Dubois, L. Garcia, S. Konieczny, F. Le Ber, G. Ligozat, P. Marquis, P. Nicolas, O. Papini, H. Prade, L. Saïs. Intelligence Artificielle Fondamentale : Ses contours généraux et un aperçu de quelques problématiques importantes.  In Information Interaction Intelligence, le point sur i3, Cépaduès, 2012, ISBN 9782364930094

L. Cholvy, C Garion.  Apports de la logique  mathématique dans la modélisation formelle des informations et des  systèmes. In Gestion de la complexité et de l'information dans les grands  systèmes critiques, Editeur Alain Appriou, CNRS Edition, janvier 2009.

J. Besombes, L. Cholvy. Cotation des Informations en Fusion de Renseignements: utilisation d'une  ontologie. In Gestion de la complexité et de l'information dans les grands  systèmes critiques, Editeur Alain Appriou, CNRS Edition, janvier 2009.

L. Cholvy, C. Garion, C. Saurel. Ability in a multi-agent context: a model in the Situation Calculus.  Computational Logic in Multi-Agent Systems. Editeurs F. Toni et  P Torroni,   LNAI  n° 3900.  Spinger,  2006.

L. Cholvy. Querying contradictory databases by taking into  account their reliability and their number.  Flexible databases  Supporting Imprecision and Uncertainty. Editeurs G. Bordogna, G. Psaila,   Springer-Verlag, 2006.

 L. Cholvy. Information Evaluation in Fusion: Formalization of  informal recommendations. In Information  Processing and Management of  Uncertainty. Editeurs B. Bouchon-Meunier,  G. Coletti, R. Yager, Elsevier, 2005.

 L. Cholvy et  C. Garion. Strategies for distributing goals in a team of cooperative agents.  LNAI  n° 3451. Editeurs MP Gleizes, A Omicini et F. Zambonnelli,   Spinger-Verlag, 2005.

L. Cholvy. A modal logic for reasoning with contradictory beliefs  which takes into account the number and the reliability of the sources.  LNAI n° 3371. Editeur  L Godo,   Spinger-Verlag, 2005.

L. Cholvy. Towards  another logical interpretation of Theory of Evidence and  a new combination rule.  In Intelligent Systems for Information Processing:  From representation     to Applications.  B. Bouchon-Meunier,  L. Foulloy et  R.  Yager  editors,   Elsevier, 2004.

L. Cholvy. Mises à jour dans les bases de données. In Le temps, l'espace et l'évolutif. Cépaduès Editions, 2000.

L. Cholvy. Reasoning about merged information. In  Handbook of Defeasible Reasoning and Uncertainty management, Vol 1,  Kluwer Publishers 1998.

L. Cholvy et F. Cuppens. Reasoning about norms provided by conflicting regulations. In Norms, Logics and Information Systems. H. Prakken,  P. McNamara editors,  IOS Press, 1998.

L. Cholvy. Flexible Query-Answering in a group of databases. In Flexible Query-Answering Systems. T. Andreasen, H. Christiansen, H. Larsen, editors, Kluwer Academic Publishers, 1997.

L. Cholvy et T.   Hunter.   Information Fusion in Logic:  a brief overview.     LNAI n° 1244, Springer Verlag, 1997.

L. Cholvy.   Automated  reasoning with merged contradictory information whose  reliability  depends on  topics.  LNAI  n°946, Springer-Verlag, 1995.

Léa Sombé ( collectif).  Revision and updating in knowledge bases.  Wiley Publishers, 1994.

L. Cholvy. A logical approach to multi-sources reasoning. LNAI n°808. Springer-Verlag, 1994.

R. Demolombe L. Cholvy et A. Jones. Reasoning about the safety of information : from logical formalization to operational definition. LNAI  n°869, Springer-Verlag, 1994.

Léa Sombé (collectif). Informations incomplètes, informations contradictoires. Courrier du CNRS, février 1993.


International conferences and workshops (with peer-reviews)

L. Cholvy. Diffusion of Opinion and Influence. Proc. of SUM 2016, Nice, septembre 2016.

L. Cholvy. Influence-based Opinion Diffusion (Extended Abstract). Proc AAMAS 2016, Singapur, may 2016.

L. Cholvy. Abduction for Analysing data Exchange Policies. Proceedings of  Workshop on Information Systems for Alarm Diffusion (WISARD 2015), Poitiers, september 2015. 

L. Cholvy, L. Perrussel, W. Raynaut, JM Thévenin. Towards Consistency-Based Reliability Assessment. (Extended Abstract). Proc. AAMAS 2015, Istambul, may 2015.

L. Cholvy, L. Perrussel, W. Raynaut, JM Thévenin. Consistency-Based Reliability Assessment. Proc ECSQARU 2015, Compiègnes, july 2015.

L. Cholvy. A logical version of the belief function theory.  Proceedings of the 15th International Conference on Information Processing and Uncertainty Management in Knowledge-based systems (IPMU 2014), Montpellier, France, july 2014.

L. Cholvy. How strong to believ information ? A trust model in the logical belief function theory. In R. Cohen, R. Falcone and T.J. Norman (eds). Proc of the 17th international Workshop on Trust in Agent Societies, Paris, France, may 2014.

L. Cholvy. Logical representation of beliefs in the belief function theory. Proceedings of IJCAI 2013 Workshop on Weighted Logics for Artificial Intelligence. August 2-3 2013, Beijing, China.

L. Cholvy. Collecting  information reported by imperfect information sources. Proceedings of the 14th International Conference on Information Processing and Uncertainty Management in Knowledge-Based Systems (IPMU 2012), Catania, Italy, July 2012.

L. Cholvy.  How strong can an agent believe reported information ? Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'11),  Belfast, Northern Ireland, July 2011.

L. Cholvy. Reasoning with Information reported by Imperfect Agents. Proceedings of First International Workshop on Uncertainty Reasoning and Multi-Agent Systems for Sensor Networks (URMASSN'11), Belfast, Northern Ireland, July 2011.

T. Polacsek, L. Cholvy. A framework to report and to analyse a debate. Proceedings of the 15th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2011), June  2011, Lauzanne, Switzerland

T. Polacsek, L. Cholvy. Organize, report and understand an experts' group debate. Proceedings of 4th European Conference for Aerospace Sciences, EUCASS 2011, St Petersbourg, 2011.

L. Cholvy, S. Roussel. Agents coopératifs et politiques d’échange d’informations. Actes des sixièmes Journées Francophones  "Modèles Formels de l'Interaction" (MFI'11), Rouen, juin 2011.

L. Cholvy  Plausibility of Information Reported by successive sources. Proceedings of International Conference on Scalable Uncertainty Management (SUM 2010), Toulouse, octobre 2010.

L. Cholvy. Evaluation of Information reported: a model in the Theory of Evidence. Proceedings of International Conference on Information Processing and management of Uncertainty in Knowledge-Based Systems (IPMU 2010), Dortmund, Germany, July, 2010.

L. Cholvy, S. Roussel. A formal characterization of relevant information in multi-agent systems. NATO IST Panel Symposium IST-087 "Information Management Exploitation",  Stockholm, october 2009.

C. Garion, S. Roussel, L. Cholvy. How to complete regulations in multi-agent systems.  In  Proceedings of the international conference on  Intelligent Agent Technology (WI-IAT'09), Milano, september 2009.

J. Besombes, L. Cholvy, V. Nimier. Information Evaluation in Fusion using Information correlation. Proceedings of 12nd International Conference on Information  Fusion (FUSION'2009), Seattle , July 2009.

S. Roussel, L. Cholvy. Cooperative interpersonal communication and relevant information. Workhshop "Logical Methods for Social Concepts" (LMSC'09),  Bordeaux, July 2009.

L. Cholvy. Using Logic to Understand relations between DSmT and Dempster-Shafer Theory. Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'09),  Verona, Italy, july  2009.

S. Roussel, L. Cholvy. Une définition en logique modale de la pertinence orientée agent. Actes des Cinquièmes Journées Francophones  "Modèles Formels de l'Interaction" (MFI'09), Lannion, juin  2009.

C. Garion, S. Roussel, L. Cholvy. Une logique modale pour raisonner  sur la cohérence et la complétude des  réglementations. Actes des Cinquièmes Journées Francophones  "Modèles Formels de l'Interaction" (MFI'09), Lannion, juin  2009.

L. Cholvy, S. Roussel. Towards Agent-oriented relevant Information. Proceedings of the 13th International Conference on Artificial  Intelligence: Methodologies, Systems and Applications (AIMSA 2008).   LNAI n°5253,  Springer-Verlag, 2008.

L. Cholvy, C. Saurel.  Checking Compliance of a system with regulations:  towards a formalisation. International Workshop on Regulations Modelling and Deployment (REMOD'08) , June 2008,  Montpellier.

P. Fabiani, Ch.  Seguin, L. Cholvy, Ch Castel, Fl teichteil, C. Tessier, V. Wiels.  The security of extended air operations: complexity and paradox.  Symposium International "Europe  and The Transformation of its forces" colloque 3AF, Paris. Février 2008.

L. Cholvy, S. Roussel.  Reasoning with an incomplete information exchange policy. Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'07),  Hammamet,  october 2007.

J. Besombes, L. Cholvy. Information Fusion: using an ontology to information evaluation. Proceedings of the International Colloquium of Information Fusion  (ICIF'07),  , Xi'an, China, August 2007.

C. Garion, L. Cholvy. Deriving individual obligations from collective obligations. Normative Multi-Agent Systems, Dagstul, march 2007.

L. Cholvy. Modelling Information Evaluation in Fusion.  Proceedings of 10th International Conference on Information  Fusion (FUSION'2007) , Québec, July 2007.

A.L. Jousselme, P. Maupin, Ch. Garion, L. Cholvy, Cl. Saurel.  Situation awareness and ability in coalitions. Proceedings of 10th International Conference on Information  Fusion (FUSION'2007), Québec, July 2007.

L. Cholvy, Ch.  Garion, Cl. Saurel. Modélisation de réglementations pour le partage d'information dans un SMA.  Actes des Quatrièmes  Journées Francophones  "Modèles Formels de l'Intercation" (MFI'07), Paris,  mai 2007.

L. Cholvy, Ch.  Garion, Cl. Saurel. Information Sharing Policies for coalition systems. Proceedings of NATO RTO-IST-062 Symposium on Dynamic communications  management.  Budapest, october 2006.

P. Bieber, C. Castel, L. Cholvy, H. Demmou, C Kehren, M. Medjoudj,  N. Rivière, C. Seguin, R. Valette. Qualitative Formalisation of Critical  Scenarios with respect to dynamic system models. Workshop Qualité et Sureté de Fonctionnement (QUALITAS 2005), Bordeaux, 2005.

L. Cholvy, C.  Garion, C. Saurel.  Notion de capacité dans un  contexte multi-agents: une modélisation dans le calcul des situations.   Actes des troisièmes Journées Francophones Modèles  Formels  de  l'Interaction  (MFI'05), Caen, 2005.

L. Cholvy, C.  Garion, C. Saurel. Ability in a multi-agent context: a model in the Situation Calculus. CLIMA VI (Sixth International Workshop on  Computational Logic in Multi-Agent Systems),  Londres  2005.

L.   Cholvy, C  Garion. Stategies for Distributing Goals in a  Team of Cooperative Agents. Proceedings of the 5th  International Workshop on  Engineering Societies in the Agents World (ESAW'04),  Toulouse,  2004.

L.   Cholvy, C  Garion. Desires, Norms and Constraints. Proceedings of the 3rd International Joint Conference on Autonomous Agents and  Multi-Agent Systems (AAMAS'04),  New-York, 2004.

L.   Cholvy. Information Evaluation in Fusion: a case study. Proceedings of the  International Conference on  Information Processing and management of Uncertainty in  Knowledge-Based Systems (IPMU'04), Perugia, 2004.

L.   Cholvy, V. Nimier. Information Evaluation in Fusion.  Symposium RTO/IST ``Military Data and Information Fusion'', Prague, Octobre 2003.

L.   Cholvy, C  Garion.   Querying several  conflictual databases.  International Workshop ``Uncertainty, Incompleteness, Imprecision  and  Conflicts  in  multiple  data  sources'',  Aalborg, Juillet 2003.

L. Cholvy.  Information  Evaluation in fusion: a case study. International Workshop ``Uncertainty, Incompleteness, Imprecision and  Conflicts in  multiple  data sources'',  Aalborg, Juillet  2003.

L. Cholvy et Ch Garion.  Distribution of goals allocated to a group of agents. Proceedings of the 2nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, août 2003.

L.  Cholvy, C Garion.  Méthodes   formelles  pour l'ingénierie des exigences:  fusion de points de vue  par une approche majoritaire.  In   15ièmes Journées Internationales Génie Logiciel et Ingéniérie des Systèmes et leurs applications (ICSSEA-2002), Paris, décembre 2002.

L.  Cholvy, C Garion.  Merging conflictual requirements with  a   majority  approach. In International  Workshop  on Requirement for High Assurance Systems (RHAS-2002), Essen, septembre 2002.

L. Cholvy. Towards  another logical interpretation of Theory of  Evidence  and  a  new  combination  rule.  In    International Conference  on Information  Processing and  management  of Uncertainty (IPMU-2002), Annecy juillet 2002.

L. Cholvy, C Garion.   Answering queries addressed to several databases: a query evaluator which implements a majority approach. Proceedings of the 13th International Symposium ISMIS, Lyon, juin 2002.

L. Cholvy, C Garion.  Allocation des buts affectés à un groupe  d'agents.   Actes des premières Journées Francophones Modèles  Formels  de  l'Interaction  (MFI'01), Toulouse, 2001.

L. Cholvy, C Garion. A logic to reason on contradictory beliefs with a majority approach.   Workhop IJCAI ``Inconsistency in Data and Knowledge'', Seattle, Sept. 2001.

L. Cholvy. Data Merging: Theory of Evidence vs Knowledge-Based Merging Operators. Proceedings of the  6th European Conference on Symbolic and Qualitative Approaches to reasoning (ECSQARU'01), Toulouse, sept. 2001.

L.  Cholvy. Applying Theory of Evidence  in multisensor data fusion: a logical interpretation. Proceedings of the 3rd  International Conference on  Data Fusion (FUSION'00), Paris, July  2000.

L.   Cholvy, C Garion. An attempt to adapt  a logic of conditional preferences  for reasoning with  Contrary-To-Duties.   Proceedings of the 5th International  Workshop on Deontic Logic  in Computer Science (DEON'00), Toulouse, Janvier 2000.

L.   Cholvy.  Checking  regulation   consistency  by  using SOL-resolution.  Proceedings of the 7th  International Conference on AI and Law, Oslo, 1999.

L.  Cholvy.  A general framework for reasoning about contradictory information and some of its applications.  Workshop ECAI ``Conflicts among agents'', Brigton, Août 1998.

J.  Carrère, L. Cholvy, F.  Cuppens,  Cl. Saurel. Merging security policies:  analysis    of  a  practical  example.  Proceedings of 11th IEEE Computer Security Foundations Workshop. Rockport, USA, juin 1998.

L. Cholvy,  F.  Cuppens.  Reasoning about norms provided by conflicting regulations.  International  Workshop on  Deontic Logic in Computer Science (DEON'98), Bologne, Janvier 1998.

L. Cholvy. An application of SOL Deduction : checking regulation consistency. In  Poster collection, IJCAI'97, Nagoya, Japon, septembre 1997.

L. Cholvy, F. Cuppens et Cl. Saurel. Towards a logical formalization of the notion of responsibility. Proceedings of the 6th International Conference on AI and Law, Melbourne, juin 1997.

L. Cholvy,  F. Cuppens. Analysing consistency of security policies. Proceedings of IEEE Symposium on Security and Privacy,  Oakland, may 1997.

L. Cholvy.   Answering queries addressed to a group  of deductive databases. Proceedings of  the Workshop on Flexible Query-Answering Systems, Roskilde University, Danemark, May 1996.

L. Cholvy, F. Cuppens. Solving normative conflicts by merging roles. Proceedings of the 5th International Conference on Artificial Intelligence and Law, ACM, Washington, May 1995.

L. Cholvy, R. Demolombe. Reasoning with information sources ordered by topics. Proceedings of Artificial Intelligence : Methods, Systems and  Applications (AIMSA),  World Scientific, Sofia, septembre 1994.

L. Cholvy et F. Cuppens. Providing consistent views in a polyinstanciated database. Proceedings of the 8th  Working Conference on Database Security, Bad Salzedetforth, Août 1994.

L. Cholvy. Proving theorems in a multi-sources environment. Proceedings of International Conference on Artificial Intelligence (IJCAI'93)  Chambéry, Septembre 1993.

L. Cholvy  Updates and topics of information. Proceedings of IJCAI'93 Workshop on Reasoning about Action and Change, Septembre 1993.

L. Cholvy. Consistency of merged databases. Proceedings of the Workshop on Cooperation systems, Keele University (GB), 1992.

L. Cholvy. A logical approach to multi-sources reasoning. Proceedings of the Applied Logic Conference, Amsterdam, December 1992.

A. Bauval, L. Cholvy. Automated reasoning in case of inconsistency. Proceedings of the first World Conference on Fundamentals of Artificial Intelligence  (WOCFAI), Paris, juillet 1991.

A. Bauval, L. Cholvy. Answering queries in an inconsistent database. Proceedings of International Workshop on Nonstandard Queries and Answers, Toulouse, Juillet 1991.

L. Cholvy. Querying an inconsistent database. Proceedings of Artificial Intelligence : Methodology, systems and applications (AIMSA), Publié par North-Holland, 1990.

L. Cholvy, E. Pascual. Answering queries addressed to the rules of a database. Proceedings of Information Processing and Management of Uncertainty Conference (IPMU), 1988.

L. Cholvy. Update semantics under the domain closure assumption. Proceedings of International Conference on Database Theory (ICDT'86), Rome, 1986.

L. Cholvy. A modal approach to update semantics problem. Proceedings of the second IFIP 2.6 Working Conference on Database Semantics (DS-2). North Holland, 1986.

L. Cholvy, R. Demolombe. Querying a rule base. Proceedings of the first International Conference on Expert Database Systems, Charleston, 1986.


National conferences and workshops (with peer-reviews)

L. Cholvy, L. Perrussel, W. Raynaut, JM Thévenin. Mise à jour de pré-ordres basée sur la consistance pour estimer la fiabilité relative des sources d'informations.  Journées d'Intelligence Artificielle Fondamentale (IAF'14), Angers, juin 2014.

L. Cholvy, R. Delmas, T. Polacsek. Analyser une politique d'échanges d'informations dans un SI. 30ième congrès Informatique des Organisations et des Systèmes d'Informations.  INFORSID 2012, Montpellier, mai 2012

L. Cholvy, C. Garion, S. Roussel.  Consistance et complétude des réglementations en présence de contraintes. Journées d'Intelligence Artificielle Fondamentale (IAF'12), Toulouse, may 2012.

T. Delavallade, H. Akdag, T. Baerecke, B. Bouchon-Meunier, P. Capet,  L. Cholvy, M.J. Lesot, F. Pichon. Des données textuelles au renseignement: vers un modèle global de cotation. Colloque Veille Stratégique et Scientifique (VSST 2010),  Toulouse, 2010.

A. Bovo, L. Cholvy. Une approche logique à la plausibilité d'une information rapportée. Journées d'Intelligence Artificielle Fondamentale (IAF'10), Strasbourg june  2010.

T. Delavallade, H. Akdag, T. Baerecke, B. Bouchon-Meunier, P. Capet,  L. Cholvy, M.J. Lesot, F. Pichon. Des données textuelles au renseignement: vers un modèle global de cotation. Atelier COtation des Informations : Théorie et Applications  (COTA 2010), Alès, 2010.

L. Cholvy. Utilisation de la logique pour mettre en relation la DSmT et la Théorie de  Dempster-Shafer. Rencontres sur la logique floue et ses applications (LFA 2008), Lens, Octobre 2008.

L. Cholvy, Garion.  Exigences, réglementations et contraintes. Journées Nationales sur les Modèles de Raisonnement (JNMR 2003), Paris, Novembre 2003.

L. Cholvy, C Garion. Utilisation d'une logique de préférences conditionnelles pour raisonner avec des normes Contrary-To-Duties.  Journées Nationales sur les Modèles de Raisonnement (JNMR 2001), Arras, Mai 2001.

L. Cholvy. Une application de la SOL-résolution : vérifier la cohérence d'une réglementation.   Actes du  Congrès Francophone de Reconnaissance des Formes et d'Intelligence Artificielle (RFIA'98),  1998.

Membres du projet ``LSD'' du PRC-IA (collectif) Lois, Structures et dépendances.  Actes des journées du PRC-IA, Grenoble, mars 1997.

L. Cholvy. Fusion de sources d'informations ordonnées en fonction des thèmes. Actes du congrès Francophone de Reconnaissance des Formes et d'Intelligence Artificielle RFIA'94, AFECT, 1994.

Membres du Projet ``Evolutif et Incertain'' du PRC-IA (collectif)  Gestion de l'évolutif et de l'incertain dans une base de connaissances. Actes des journées du PRC-IA, Nancy, février 1995.

L. Cholvy. Intégrité dans les bases de données. Actes des journées Science et Défense, Publié par Dunod, 1994.

Léa Sombé (collectif). Révision de bases de connaissances. Actes des journées du PRC-IA, 1992.

L. Cholvy et al. Generating cooperative responses in natural language. Actes des Journées Systèmes experts (Avignon), 1991.

L. Cholvy et al. Interfaces intelligentes d'interrogation de bases de données. Actes des Journées du génie linguistique (Versailles), 1991.

L.  Cholvy. Mises à  jour dans les bases de connaissances (une approche syntaxique). Actes des journées du PRC BD3, Genève, septembre 1989.