 | 2009 |
|---|
| 44 |       | Laurence Cholvy:
Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory.
ECSQARU 2009: 264-274 |
| 43 | | Christophe Garion,
Stéphanie Roussel,
Laurence Cholvy:
How to Complete Regulations in Multi-agent Systems.
IAT 2009: 285-288 |
| 2008 |
|---|
| 42 | | 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 | | Laurence Cholvy,
Stéphanie Roussel:
Reasoning with an Incomplete Information Exchange Policy.
ECSQARU 2007: 683-694 |
| 39 | | Christophe Garion,
Laurence Cholvy:
Deriving individual obligations from collective obligations.
Normative Multi-agent Systems 2007 |
| 2005 |
|---|
| 38 | | Laurence Cholvy,
Christophe Garion,
Claire Saurel:
Ability in a Multi-agent Context: A Model in the Situation Calculus.
CLIMA VI 2005: 23-36 |
| 37 | | 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 | | Laurence Cholvy,
Christophe Garion:
Desires, Norms and Constraints.
AAMAS 2004: 724-731 |
| 35 | | Laurence Cholvy,
Christophe Garion:
Strategies for Distributing Goals in a Team of Cooperative Agents.
ESAW 2004: 178-190 |
| 34 | | 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 | | Laurence Cholvy,
Christophe Garion:
Distribution of goals addressed to a group of agents.
AAMAS 2003: 765-772 |
| 31 | | Laurence Cholvy,
Christophe Garion:
Deriving individual obligations from collective obligations.
AAMAS 2003: 962-963 |
| 30 | | 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 | | 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 | | 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 | | Laurence Cholvy:
Checking regulation consistency by using SOL-resolution.
ICAIL 1999: 73-79 |
| 1998 |
|---|
| 21 | | 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 | | Laurence Cholvy,
Frédéric Cuppens,
Claire Saurel:
Towards a Logical Formalization of Responsibility.
ICAIL 1997: 233-242 |
| 17 | | 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 | | 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 | | 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 |
