Laurence Cholvy

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