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. Opinion Diffusion and influence: A Logical Approach. International Journal of Approximate Reasoning. 93 : 24-39 (2018)
L. Cholvy, L Perrussel, JM Thévenin. Using Inconsistency Measures for Estimating Reliability. International Journal of Approximate Reasoning. 89 (2017)
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.
C. Saurel, O Poitou, L. Cholvy. Assessing the usefulness of information in the context of coalition operations. In Information Quality in Information Fusion and Decision Making. Springer (in Press)
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)
E. Batistella, L. Cholvy. Modelling and Simulating Extreme Opinion Diffusion. ICAART (Revised Selected Papers). Lecture Notes in Computer Science 11352, Springer 2019, ISBN 978-3-030-05452-6.
E. Battistella, L. Cholvy. A logical approach to extreme opinion diffusion. Proceedings of ICAART 2018, Funchal, janvier 2018.
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.
