dblp.uni-trier.dewww.uni-trier.de

Laurence Cholvy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
43EELaurence Cholvy: Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory. ECSQARU 2009: 264-274
2008
42EELaurence Cholvy, Stéphanie Roussel: Towards Agent-Oriented Relevant Information. AIMSA 2008: 22-31
41 Laurence Cholvy, Stéphanie Roussel: Consistency and Completeness of Regulations. NORMAS 2008: 51-65
2007
40EELaurence Cholvy, Stéphanie Roussel: Reasoning with an Incomplete Information Exchange Policy. ECSQARU 2007: 683-694
39EEChristophe Garion, Laurence Cholvy: Deriving individual obligations from collective obligations. Normative Multi-agent Systems 2007
2005
38EELaurence Cholvy, Christophe Garion, Claire Saurel: Ability in a Multi-agent Context: A Model in the Situation Calculus. CLIMA VI 2005: 23-36
37EELaurence 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
36EELaurence Cholvy, Christophe Garion: Desires, Norms and Constraints. AAMAS 2004: 724-731
35EELaurence Cholvy, Christophe Garion: Strategies for Distributing Goals in a Team of Cooperative Agents. ESAW 2004: 178-190
34EELaurence Cholvy, Christophe Garion: Answering Queries Addressed to Several Databases According to a Majority Merging Approach. J. Intell. Inf. Syst. 22(2): 175-201 (2004)
33 Laurence Cholvy, Christophe Garion: Querying several conflicting databases. Journal of Applied Non-Classical Logics 14(3): 295-327 (2004)
2003
32EELaurence Cholvy, Christophe Garion: Distribution of goals addressed to a group of agents. AAMAS 2003: 765-772
31EELaurence Cholvy, Christophe Garion: Deriving individual obligations from collective obligations. AAMAS 2003: 962-963
30EELaurence Cholvy, Anthony Hunter: Merging requirements from a set of ranked agents. Knowl.-Based Syst. 16(2): 113-126 (2003)
2002
29 Alexander Borgida, Diego Calvanese, Laurence Cholvy, Marie-Christine Rousset: Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002 CEUR-WS.org 2002
28EELaurence Cholvy, Christophe Garion: Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. ISMIS 2002: 131-139
2001
27EELaurence Cholvy: Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators. ECSQARU 2001: 478-487
26 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)
25 Isabelle Bloch, Anthony Hunter, Alain Appriou, André Ayoun, Salem Benferhat, Philippe Besnard, Laurence Cholvy, Roger 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)
24 Laurence Cholvy, Serafín Moral: Merging databases: Problems and examples. Int. J. Intell. Syst. 16(10): 1193-1221 (2001)
23 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)
1999
22EELaurence Cholvy: Checking regulation consistency by using SOL-resolution. ICAIL 1999: 73-79
1998
21EEFrédéric Cuppens, Laurence Cholvy, Claire Saurel, Jérôme Carrère: Merging Security Policies: Analysis of a Practical Example. CSFW 1998: 123-136
20 Laurence Cholvy: Reasoning About Data Provided by Federated Deductive Databases. J. Intell. Inf. Syst. 10(1): 49-80 (1998)
1997
19 Laurence Cholvy, Anthony Hunter: Information Fusion in Logic: A Brief Overview. ECSQARU-FAPR 1997: 86-95
18EELaurence Cholvy, Frédéric Cuppens, Claire Saurel: Towards a Logical Formalization of Responsibility. ICAIL 1997: 233-242
17EELaurence Cholvy, Frédéric Cuppens: Analyzing Consistency of Security Policies. IEEE Symposium on Security and Privacy 1997: 103-112
1996
16 Laurence Cholvy: Answering Queries Addressed to a Group of Deductive Databases. FQAS 1996: 203-217
1995
15 Laurence Cholvy: Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. ECSQARU 1995: 125-132
14EELaurence Cholvy, Frédéric Cuppens: Solving Normative Conflicts by Merging Roles. ICAIL 1995: 201-209
1994
13 Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones: Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD 1994: 345-373
12 Laurence Cholvy, Frédéric Cuppens: Providing Consistent Views in a Polyinstantiated Database. DBSec 1994: 277-296
11EELaurence Cholvy, Robert Demolombe, Andrew J. I. Jones: Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. ISMIS 1994: 488-499
1993
10 Laurence Cholvy: Proving Theorems in a Multi-Source Environment. IJCAI 1993: 66-73
1992
9 Laurence Cholvy: A Logical Approach to Multi-Sources Reasoning. Logic at Work 1992: 183-196
1990
8 Laurence Cholvy: Querying an Inconstistent Database. AIMSA 1990: 81-92
1989
7 Laurence Cholvy: Mises à jour dans les bases de connaissances. BDA 1989: 69-86
1988
6 Elsa Pascual, Laurence Cholvy: Answering Queries Addressed to the Rule Base of a Deductive Database. IPMU 1988: 138-145
1986
5 Laurence Cholvy: A Modal Approach to Update Semantics Problem. DS-2 1986: 89-98
4 Laurence Cholvy, Robert Demolombe: Querying a Rule Base. Expert Database Conf. 1986: 477-485
3EELaurence Cholvy: Update Semantics under the Domain Closure Assumption. ICDT 1986: 123-140
2 Laurence Cholvy: Future Information Systems (Panel). IFIP Congress 1986: 645-646
1983
1 Laurence Cholvy, Jack Foisseau: ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. IFIP Congress 1983: 501-505

Coauthor Index

1Alain Appriou [25]
2André Ayoun [25]
3Salem Benferhat [25]
4Philippe Besnard [25]
5Isabelle Bloch [25]
6Alexander Borgida [29]
7Diego Calvanese [29]
8Jérôme Carrère [21] [23]
9Roger Cooke [25]
10Frédéric Cuppens [12] [14] [17] [18] [21] [23] [25]
11Robert Demolombe [4] [11] [13]
12Didier Dubois [25]
13Hélène Fargier [25]
14Jack Foisseau [1]
15Christophe Garion [26] [28] [31] [32] [33] [34] [35] [36] [38] [39]
16Michel Grabisch [25]
17Anthony Hunter [19] [25] [30]
18Andrew J. I. Jones [11] [13]
19Rudolf Kruse [25]
20Jérôme Lang [25]
21Serafín Moral [24] [25]
22Elsa Pascual [6]
23Henri Prade [25]
24Stéphanie Roussel [40] [41] [42]
25Marie-Christine Rousset [29]
26Alessandro Saffiotti [25]
27Claire Saurel [18] [21] [23] [38]
28Philippe Smets [25]
29Claudio Sossai [25]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)