| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Laurence Cholvy 27 Laurence Cholvy, Christophe Garion : Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. ISMIS 2002 : 131-139 26 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. KRDB 2002 25 Laurence Cholvy: Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators. ECSQARU 2001 : 478-487 24 Laurence Cholvy, Christophe Garion : An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. Fundamenta Informaticae 48 (2-3): 183-204 (2001) 23 Isabelle Bloch , A. Hunter , Alain Appriou , A. Ayoun , Salem Benferhat , Philippe Besnard , Laurence Cholvy, R. 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. International Journal of Intelligent Systems 16 (10): 1107-1134 (2001) 22 Laurence Cholvy, Serafín Moral : Merging databases: Problems and examples. International Journal of Intelligent Systems 16 (10): 1193-1221 (2001) 21 Frédéric Cuppens , Laurence Cholvy, Claire Saurel , Jérôme Carrère : Merging regulations: Analysis of a practical example. International Journal of Intelligent Systems 16 (11): 1223-1243 (2001) 20 Laurence Cholvy: Checking regulation consistency by using SOL-resolution. ICAIL 1999 : 73-79 19 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 18 Laurence Cholvy: Reasoning About Data Provided by Federated Deductive Databases. JIIS 10 (1): 49-80 (1998) 17 Laurence Cholvy, Anthony Hunter : Information Fusion in Logic: A Brief Overview. ECSQARU-FAPR 1997 : 86-95 16 Laurence Cholvy, Frédéric Cuppens , Claire Saurel : Towards a Logical Formalization of Responsibility. ICAIL 1997 : 233-242 15 Laurence Cholvy: Answering Queries Addressed to a Group of Deductive Databases. FQAS 1996 : 203-217 14 Laurence Cholvy: Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. ECSQARU 1995 : 125-132 13 Laurence Cholvy, Frédéric Cuppens : Solving Normative Conflicts by Merging Roles. ICAIL 1995 : 201-209 12 Laurence Cholvy, Robert Demolombe , Andrew Jones : Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD 1994 : 345-373 11 Laurence Cholvy, Frédéric Cuppens : Providing Consistent Views in a Polyinstantiated Database. DBSec 1994 : 277-296 10 Laurence Cholvy, Robert Demolombe , Andrew Jones : Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. ISMIS 1994 : 488-499 9 Laurence Cholvy: Proving Theorems in a Multi-Source Environment. IJCAI 1993 : 66-73 8 Laurence Cholvy: A Logical Approach to Multi-Sources Reasoning. Logic at Work 1992 : 183-196 7 Laurence Cholvy: Querying an Inconstistent Database. AIMSA 1990 : 81-92 6 Elsa Pascual , Laurence Cholvy: Answering Queries Addressed to the Rule Base of a Deductive Database. IPMU 1988 : 138-145 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 1 Laurence Cholvy, Jack Foisseau : ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. IFIP Congress 1983 : 501-505  DiSC'03 © 2003 Association for Computing Machinery |
