Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Laurence Cholvy
2010 – today
- 2012
[j9]Laurence Cholvy: Non-exclusive hypotheses in Dempster-Shafer Theory. Int. J. Approx. Reasoning 53(4): 493-501 (2012)- [c41]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: 352-370
- [c40]Laurence Cholvy: Collecting Information Reported by Imperfect Information Sources. IPMU (3) 2012: 501-510
- 2011
- [c39]
- [c38]
- 2010
- [c37]Laurence Cholvy: Evaluation of Information Reported: A Model in the Theory of Evidence. IPMU (1) 2010: 258-267
- [c36]
2000 – 2009
- 2009
- [c35]Laurence Cholvy: Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory. ECSQARU 2009: 264-274
- [c34]Christophe Garion, Stéphanie Roussel, Laurence Cholvy: How to Complete Regulations in Multi-agent Systems. IAT 2009: 285-288
- 2008
- [c33]
- [c32]
- 2007
- [c31]Christophe Garion, Laurence Cholvy: Deriving individual obligations from collective obligations. Normative Multi-agent Systems 2007
- [c30]Laurence Cholvy, Stéphanie Roussel: Reasoning with an Incomplete Information Exchange Policy. ECSQARU 2007: 683-694
- 2005
- [c29]Laurence Cholvy, Christophe Garion, Claire Saurel: Ability in a Multi-agent Context: A Model in the Situation Calculus. CLIMA 2005: 23-36
- [c28]Laurence Cholvy: A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources. ECSQARU 2005: 390-401
- 2004
- [j8]Laurence Cholvy, Christophe Garion: Querying several conflicting databases. Journal of Applied Non-Classical Logics 14(3): 295-327 (2004)
- [j7]Laurence Cholvy, Christophe Garion: Answering Queries Addressed to Several Databases According to a Majority Merging Approach. J. Intell. Inf. Syst. 22(2): 175-201 (2004)
- [c27]
- [c26]Laurence Cholvy, Christophe Garion: Strategies for Distributing Goals in a Team of Cooperative Agents. ESAW 2004: 178-190
- 2003
- [j6]Laurence Cholvy, Anthony Hunter: Merging requirements from a set of ranked agents. Knowl.-Based Syst. 16(2): 113-126 (2003)
- [c25]Laurence Cholvy, Christophe Garion: Distribution of goals addressed to a group of agents. AAMAS 2003: 765-772
- [c24]Laurence Cholvy, Christophe Garion: Deriving individual obligations from collective obligations. AAMAS 2003: 962-963
- 2002
- [c23]Laurence Cholvy, Christophe Garion: Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. ISMIS 2002: 131-139
- [e1]Alexander Borgida, Diego Calvanese, Laurence Cholvy, Marie-Christine Rousset (Eds.): Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002. CEUR Workshop Proceedings 54, CEUR-WS.org 2002
- 2001
- [j5]Laurence Cholvy, Christophe Garion: An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. Fundam. Inform. 48(2-3): 183-204 (2001)
- [j4]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): 1107-1134 (2001)
- [j3]Laurence Cholvy, Serafín Moral: Merging databases: Problems and examples. Int. J. Intell. Syst. 16(10): 1193-1221 (2001)
- [j2]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): 1223-1243 (2001)
- [c22]Laurence Cholvy: Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators. ECSQARU 2001: 478-487
1990 – 1999
- 1999
- [c21]
- 1998
- [j1]Laurence Cholvy: Reasoning About Data Provided by Federated Deductive Databases. J. Intell. Inf. Syst. 10(1): 49-80 (1998)
- [c20]Frédéric Cuppens, Laurence Cholvy, Claire Saurel, Jérôme Carrère: Merging Security Policies: Analysis of a Practical Example. CSFW 1998: 123-136
- 1997
- [c19]Laurence Cholvy, Anthony Hunter: Information Fusion in Logic: A Brief Overview. ECSQARU-FAPR 1997: 86-95
- [c18]Laurence Cholvy, Frédéric Cuppens, Claire Saurel: Towards a Logical Formalization of Responsibility. ICAIL 1997: 233-242
- [c17]Laurence Cholvy, Frédéric Cuppens: Analyzing Consistency of Security Policies. IEEE Symposium on Security and Privacy 1997: 103-112
- 1996
- [c16]
- 1995
- [c15]Laurence Cholvy: Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. ECSQARU 1995: 125-132
- [c14]Laurence Cholvy, Frédéric Cuppens: Solving Normative Conflicts by Merging Roles. ICAIL 1995: 201-209
- 1994
- [c13]Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones: Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD 1994: 345-373
- [c12]Laurence Cholvy, Frédéric Cuppens: Providing Consistent Views in a Polyinstantiated Database. DBSec 1994: 277-296
- [c11]Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones: Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. ISMIS 1994: 488-499
- 1993
- [c10]
- 1992
- [c9]
- 1990
- [c8]
1980 – 1989
- 1989
- [c7]
- 1988
- [c6]Elsa Pascual, Laurence Cholvy: Answering Queries Addressed to the Rule Base of a Deductive Database. IPMU 1988: 138-145
- 1986
- [c5]
- [c4]
- [c3]
- [c2]
- 1983
- [c1]Laurence Cholvy, Jack Foisseau: ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. IFIP Congress 1983: 501-505
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-08 22:10 CET by the dblp team