Laurence Cholvy

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 8

Top Topics

Probability Function

Diffusion Process

Reliability Assessment

Top Venues

Int. J. Approx. Reason.

Knowl. Eng. Rev.

Publications

Célia da Costa Pereira, Laurence Cholvy
Usefulness of Information for Achieving Goals with Disjunctive Premises. Knowl. Eng. Rev. 39 (2024)
Laurence Cholvy, Célia da Costa Pereira
Usefulness of Information for Goal Achievement. PRIMA (2019)
Laurence Cholvy
Opinion diffusion and influence: A logical approach. Int. J. Approx. Reason. 93 (2018)
Enzo Battistella, Laurence Cholvy
Modelling and Simulating Extreme Opinion Diffusion. ICAART (Revised Selected Papers) (2018)
Enzo Battistella, Laurence Cholvy
A Logical Approach to Extreme Opinion Diffusion. ICAART (2) (2018)
Laurence Cholvy, Laurent Perrussel, Jean-Marc Thévenin
Using inconsistency measures for estimating reliability. Int. J. Approx. Reason. 89 (2017)
Laurence Cholvy
Influence-Based Opinion Diffusion: (Extended Abstract). AAMAS (2016)
Laurence Cholvy
Diffusion of Opinion and Influence. SUM (2016)
Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thévenin
Consistency-Based Reliability Assessment. ECSQARU (2015)
Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thévenin
Towards Consistency-Based Reliability Assessment. AAMAS (2015)
Laurence Cholvy
Towards a logical belief function theory. J. Appl. Log. 13 (4) (2015)
Laurence Cholvy
Abduction for Analysing Data Exchange Policies. ADBIS (Short Papers and Workshops) (2015)
Laurence Cholvy
How Strong to Believe Information? A Trust Model in the Logical Belief Function Theory. TRUST@AAMAS (2014)
Laurence Cholvy
A Logical Version of the Belief Function Theory. IPMU (3) (2014)
Laurence Cholvy
Collecting Information Reported by Imperfect Information Sources. IPMU (3) (2012)
Laurence Cholvy
Non-exclusive hypotheses in Dempster-Shafer Theory. Int. J. Approx. Reason. 53 (4) (2012)
Thomas Polacsek, Laurence Cholvy, Rémi Delmas
Vers une aide à la spécification d'une politique d'échange d'information dans un SI . INFORSID (2012)
Laurence Cholvy
How Strong Can an Agent Believe Reported Information ? ECSQARU (2011)
Thomas Polacsek, Laurence Cholvy
A framework to report and to analyse a debate. CSCWD (2011)
Laurence Cholvy
Plausibility of Information Reported by Successive Sources. SUM (2010)
Christophe Garion, Stéphanie Roussel, Laurence Cholvy
Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. Rev. d'Intelligence Artif. 24 (3) (2010)
Laurence Cholvy
Evaluation of Information Reported: A Model in the Theory of Evidence. IPMU (1) (2010)
Christophe Garion, Stéphanie Roussel, Laurence Cholvy
A modal logic for reasoning on consistency and completeness of regulations. Normative Multi-Agent Systems (2009)
Laurence Cholvy
Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory. ECSQARU (2009)
Jérôme Besombes, Vincent Nimier, Laurence Cholvy
Information evaluation in fusion using information correlation. FUSION (2009)
Christophe Garion, Stéphanie Roussel, Laurence Cholvy
How to Complete Regulations in Multi-agent Systems. IAT (2009)
Laurence Cholvy, Stéphanie Roussel
Towards Agent-Oriented Relevant Information. AIMSA (2008)
Laurence Cholvy, Stéphanie Roussel
Consistency and Completeness of Regulations. NORMAS (2008)
Anne-Laure Jousselme, Patrick Maupin, Christophe Garion, Laurence Cholvy, Claire Saurel
Situation awareness and ability in coalitions. FUSION (2007)
Laurence Cholvy
Modelling information evaluation in fusion. FUSION (2007)
Christophe Garion, Laurence Cholvy
Deriving individual obligations from collective obligations. Normative Multi-agent Systems (2007)
Laurence Cholvy, Stéphanie Roussel
Reasoning with an Incomplete Information Exchange Policy. ECSQARU (2007)
Laurence Cholvy
A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources. ECSQARU (2005)
Laurence Cholvy, Christophe Garion, Claire Saurel
Ability in a Multi-agent Context: A Model in the Situation Calculus. CLIMA (2005)
Laurence Cholvy, Christophe Garion
Answering Queries Addressed to Several Databases According to a Majority Merging Approach. J. Intell. Inf. Syst. 22 (2) (2004)
Laurence Cholvy, Christophe Garion
Strategies for Distributing Goals in a Team of Cooperative Agents. ESAW (2004)
Laurence Cholvy, Christophe Garion
Querying several conflicting databases. J. Appl. Non Class. Logics 14 (3) (2004)
Laurence Cholvy, Christophe Garion
Desires, Norms and Constraints. AAMAS (2004)
Laurence Cholvy, Christophe Garion
Distribution of goals addressed to a group of agents. AAMAS (2003)
Laurence Cholvy, Christophe Garion
Deriving individual obligations from collective obligations. AAMAS (2003)
Laurence Cholvy, Anthony Hunter
Merging requirements from a set of ranked agents. Knowl. Based Syst. 16 (2) (2003)
Laurence Cholvy, Christophe Garion
Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. ISMIS (2002)
Laurence Cholvy, Christophe Garion
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. Fundam. Informaticae 48 (2-3) (2001)
Laurence Cholvy, Serafín Moral
Merging databases: Problems and examples. Int. J. Intell. Syst. 16 (10) (2001)
Laurence Cholvy
Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators. ECSQARU (2001)
Frédéric Cuppens, Laurence Cholvy, Claire Saurel, Jérôme Carrère
Merging regulations: Analysis of a practical example. Int. J. Intell. Syst. 16 (11) (2001)
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, Rudolf Kruse, Jérôme Lang, Serafín Moral, Henri Prade, Alessandro Saffiotti, Philippe Smets, Claudio Sossai
Fusion: General concepts and characteristics. Int. J. Intell. Syst. 16 (10) (2001)
Laurence Cholvy
Checking regulation consistency by using SOL-resolution. ICAIL (1999)
Laurence Cholvy
Reasoning About Data Provided by Federated Deductive Databases. J. Intell. Inf. Syst. 10 (1) (1998)
Frédéric Cuppens, Laurence Cholvy, Claire Saurel, Jérôme Carrère
Merging Security Policies: Analysis of a Practical Example. CSFW (1998)
Laurence Cholvy, Anthony Hunter
Information Fusion in Logic: A Brief Overview. ECSQARU-FAPR (1997)
Laurence Cholvy, Frédéric Cuppens, Claire Saurel
Towards a Logical Formalization of Responsibility. ICAIL (1997)
Laurence Cholvy, Frédéric Cuppens
Analyzing Consistency of Security Policies. IEEE Symposium on Security and Privacy (1997)
Laurence Cholvy
Answering Queries Addressed to a Group of Deductive Databases. FQAS (1996)
Laurence Cholvy
Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. ECSQARU (1995)
Laurence Cholvy, Frédéric Cuppens
Solving Normative Conflicts by Merging Roles. ICAIL (1995)
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. ISMIS (1994)
Laurence Cholvy, Frédéric Cuppens
Providing Consistent Views in a Polyinstantiated Database. DBSec (1994)
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones
Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD (1994)
Laurence Cholvy
Database updates and transition constraints: A formula-based approach. Int. J. Intell. Syst. 9 (1) (1994)
Laurence Cholvy
Proving Theorems in a Multi-Source Environment. IJCAI (1993)
Laurence Cholvy
A Logical Approach to Multi-Sources Reasoning. Logic at Work (1992)
Laurence Cholvy
Querying an Inconstistent Database. AIMSA (1990)
Laurence Cholvy
Mises à jour dans les bases de connaissances. BDA (1989)
Elsa Pascual, Laurence Cholvy
Answering Queries Addressed to the Rule Base of a Deductive Database. IPMU (1988)
Laurence Cholvy
A Modal Approach to Update Semantics Problem. DS-2 (1986)
Laurence Cholvy
Future Information Systems (Panel). IFIP Congress (1986)
Laurence Cholvy, Robert Demolombe
Querying a Rule Base. Expert Database Conf. (1986)
Laurence Cholvy
Update Semantics under the Domain Closure Assumption. ICDT (1986)
Laurence Cholvy, Jack Foisseau
ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. IFIP Congress (1983)