Laurence Cholvy

2008
42	EE	Laurence 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
40	EE	Laurence Cholvy, Stéphanie Roussel: Reasoning with an Incomplete Information Exchange Policy. ECSQARU 2007: 683-694
39	EE	Christophe Garion, Laurence Cholvy: Deriving individual obligations from collective obligations. Normative Multi-agent Systems 2007
2005
38	EE	Laurence Cholvy, Christophe Garion, Claire Saurel: Ability in a Multi-agent Context: A Model in the Situation Calculus. CLIMA VI 2005: 23-36
37	EE	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
36	EE	Laurence Cholvy, Christophe Garion: Desires, Norms and Constraints. AAMAS 2004: 724-731
35	EE	Laurence Cholvy, Christophe Garion: Strategies for Distributing Goals in a Team of Cooperative Agents. ESAW 2004: 178-190
34	EE	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)
33		Laurence Cholvy, Christophe Garion: Querying several conflicting databases. Journal of Applied Non-Classical Logics 14(3): 295-327 (2004)
2003
32	EE	Laurence Cholvy, Christophe Garion: Distribution of goals addressed to a group of agents. AAMAS 2003: 765-772
31	EE	Laurence Cholvy, Christophe Garion: Deriving individual obligations from collective obligations. AAMAS 2003: 962-963
30	EE	Laurence 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
28	EE	Laurence Cholvy, Christophe Garion: Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. ISMIS 2002: 131-139
2001
27	EE	Laurence 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
22	EE	Laurence Cholvy: Checking regulation consistency by using SOL-resolution. ICAIL 1999: 73-79
1998
21	EE	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
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
18	EE	Laurence Cholvy, Frédéric Cuppens, Claire Saurel: Towards a Logical Formalization of Responsibility. ICAIL 1997: 233-242
17	EE	Laurence 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
14	EE	Laurence 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
11		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
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
3	EE	Laurence 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

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

Colors in the list of coauthors