ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. - Laurence Cholvy; Jack Foisseau (IFIP Congress, 1983)

A Modal Approach to Update Semantics Problem. - Laurence Cholvy (DS-2, 1986)

Querying a Rule Base. - Laurence Cholvy; Robert Demolombe (Expert Database Conf., 1986)

Update Semantics under the Domain Closure Assumption. - Laurence Cholvy (ICDT, 1986)

Future Information Systems (Panel). - Laurence Cholvy (IFIP Congress, 1986)

Answering Queries Addressed to the Rule Base of a Deductive Database. - Elsa Pascual; Laurence Cholvy (IPMU, 1988)

Mises à jour dans les bases de connaissances. - Laurence Cholvy (BDA, 1989)

Querying an Inconstistent Database. - Laurence Cholvy (AIMSA, 1990)

A Logical Approach to Multi-Sources Reasoning. - Laurence Cholvy (Logic at Work, 1992)

Proving Theorems in a Multi-Source Environment. - Laurence Cholvy (IJCAI, 1993)

Providing Consistent Views in a Polyinstantiated Database. - Laurence Cholvy; Frédéric Cuppens (DBSec, 1994)

Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. - Laurence Cholvy; Robert Demolombe; Andrew J. I. Jones (ISMIS, 1994)

Database updates and transition constraints: A formula-based approach. - Laurence Cholvy (Int. J. Intell. Syst., 1994)

Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. - Laurence Cholvy (ECSQARU, 1995)

Solving Normative Conflicts by Merging Roles. - Laurence Cholvy; Frédéric Cuppens (ICAIL, 1995)

Answering Queries Addressed to a Group of Deductive Databases. - Laurence Cholvy (FQAS, 1996)

Information Fusion in Logic: A Brief Overview. - Laurence Cholvy; Anthony Hunter (ECSQARU-FAPR, 1997)

Towards a Logical Formalization of Responsibility. - Laurence Cholvy; Frédéric Cuppens; Claire Saurel (ICAIL, 1997)

Analyzing Consistency of Security Policies. - Laurence Cholvy; Frédéric Cuppens (S&P, 1997)

Merging Security Policies: Analysis of a Practical Example. - Frédéric Cuppens; Laurence Cholvy; Claire Saurel; Jérôme Carrère (CSFW, 1998)

Reasoning About Data Provided by Federated Deductive Databases. - Laurence Cholvy (J. Intell. Inf. Syst., 1998)

Checking regulation consistency by using SOL-resolution. - Laurence Cholvy (ICAIL, 1999)

Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators. - Laurence Cholvy (ECSQARU, 2001)

An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. - Laurence Cholvy; Christophe Garion (Fundam. Informaticae, 2001)

Fusion: General concepts and characteristics. - Isabelle Bloch; Anthony Hunter; Alain Appriou; André Ayoun; Salem Benferhat; Philippe Besnard; Laurence Cholvy; Roger M. Cooke; Frédéric Cuppens; Didier Dubois; Hélène Fargier; Michel Grabisch; et al. (Int. J. Intell. Syst., 2001)

Merging databases: Problems and examples. - Laurence Cholvy; Serafín Moral (Int. J. Intell. Syst., 2001)

Merging regulations: Analysis of a practical example. - Frédéric Cuppens; Laurence Cholvy; Claire Saurel; Jérôme Carrère (Int. J. Intell. Syst., 2001)

Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. - Laurence Cholvy; Christophe Garion (ISMIS, 2002)

Distribution of goals addressed to a group of agents. - Laurence Cholvy; Christophe Garion (AAMAS, 2003)

Merging requirements from a set of ranked agents. - Laurence Cholvy; Anthony Hunter (Knowl. Based Syst., 2003)

Desires, Norms and Constraints. - Laurence Cholvy; Christophe Garion (AAMAS, 2004)

Strategies for Distributing Goals in a Team of Cooperative Agents. - Laurence Cholvy; Christophe Garion (ESAW, 2004)

Querying several conflicting databases. - Laurence Cholvy; Christophe Garion (J. Appl. Non Class. Logics, 2004)

Answering Queries Addressed to Several Databases According to a Majority Merging Approach. - Laurence Cholvy; Christophe Garion (J. Intell. Inf. Syst., 2004)

Ability in a Multi-agent Context: A Model in the Situation Calculus. - Laurence Cholvy; Christophe Garion; Claire Saurel (CLIMA, 2005)

A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources. - Laurence Cholvy (ECSQARU, 2005)

Deriving individual obligations from collective obligations. - Christophe Garion; Laurence Cholvy (Normative Multi-agent Systems, 2007)

Reasoning with an Incomplete Information Exchange Policy. - Laurence Cholvy; Stéphanie Roussel 001 (ECSQARU, 2007)

Modelling information evaluation in fusion. - Laurence Cholvy (FUSION, 2007)

Situation awareness and ability in coalitions. - Anne-Laure Jousselme; Patrick Maupin; Christophe Garion; Laurence Cholvy; Claire Saurel (FUSION, 2007)

Towards Agent-Oriented Relevant Information. - Laurence Cholvy; Stéphanie Roussel 001 (AIMSA, 2008)

Consistency and Completeness of Regulations. - Laurence Cholvy; Stéphanie Roussel 001 (NORMAS, 2008)

A modal logic for reasoning on consistency and completeness of regulations. - Christophe Garion; Stéphanie Roussel 001; Laurence Cholvy (Normative Multi-Agent Systems, 2009)

Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory. - Laurence Cholvy (ECSQARU, 2009)

Information evaluation in fusion using information correlation. - Jérôme Besombes; Vincent Nimier; Laurence Cholvy (FUSION, 2009)

How to Complete Regulations in Multi-agent Systems. - Christophe Garion; Stéphanie Roussel 001; Laurence Cholvy (IAT, 2009)

Evaluation of Information Reported: A Model in the Theory of Evidence. - Laurence Cholvy (IPMU (1), 2010)

Plausibility of Information Reported by Successive Sources. - Laurence Cholvy (SUM, 2010)

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. - Christophe Garion; Stéphanie Roussel 001; Laurence Cholvy (Rev. d'Intelligence Artif., 2010)

A framework to report and to analyse a debate. - Thomas Polacsek; Laurence Cholvy (CSCWD, 2011)

How Strong Can an Agent Believe Reported Information ? - Laurence Cholvy (ECSQARU, 2011)

Vers une aide à la spécification d'une politique d'échange d'information dans un SI . - Thomas Polacsek; Laurence Cholvy; Rémi Delmas (INFORSID, 2012)

Collecting Information Reported by Imperfect Information Sources. - Laurence Cholvy (IPMU (3), 2012)

Non-exclusive hypotheses in Dempster-Shafer Theory. - Laurence Cholvy (Int. J. Approx. Reason., 2012)

How Strong to Believe Information? A Trust Model in the Logical Belief Function Theory. - Laurence Cholvy (TRUST@AAMAS, 2014)

A Logical Version of the Belief Function Theory. - Laurence Cholvy (IPMU (3), 2014)

Abduction for Analysing Data Exchange Policies. - Laurence Cholvy (ADBIS (Short Papers and Workshops), 2015)

Towards Consistency-Based Reliability Assessment. - Laurence Cholvy; Laurent Perrussel; William Raynaut; Jean-Marc Thévenin (AAMAS, 2015)

Consistency-Based Reliability Assessment. - Laurence Cholvy; Laurent Perrussel; William Raynaut; Jean-Marc Thévenin (ECSQARU, 2015)

Towards a logical belief function theory. - Laurence Cholvy (J. Appl. Log., 2015)

Influence-Based Opinion Diffusion: (Extended Abstract). - Laurence Cholvy (AAMAS, 2016)

Diffusion of Opinion and Influence. - Laurence Cholvy (SUM, 2016)

Using inconsistency measures for estimating reliability. - Laurence Cholvy; Laurent Perrussel; Jean-Marc Thévenin (Int. J. Approx. Reason., 2017)

A Logical Approach to Extreme Opinion Diffusion. - Enzo Battistella; Laurence Cholvy (ICAART (2), 2018)

Modelling and Simulating Extreme Opinion Diffusion. - Enzo Battistella; Laurence Cholvy (ICAART (Revised Selected Papers), 2018)

Opinion diffusion and influence: A logical approach. - Laurence Cholvy (Int. J. Approx. Reason., 2018)

Assessing the Usefulness of Information in the Context of Coalition Operations. - Claire Saurel; Olivier Poitou; Laurence Cholvy (Information Quality in Information Fusion and Decision Making, 2019)

Usefulness of Information for Goal Achievement. - Laurence Cholvy; Célia da Costa Pereira (PRIMA, 2019)

Databases and Artificial Intelligence. - Nicole Bidoit; Patrick Bosc; Laurence Cholvy; Olivier Pivert; Marie-Christine Rousset (A Guided Tour of Artificial Intelligence Research (3) (III), 2020)

Usefulness of Information for Achieving Goals with Disjunctive Premises. - Célia da Costa Pereira; Laurence Cholvy (Knowl. Eng. Rev., 2024)