Search the dblp DataBase
Laurence Cholvy :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Laurence Cholvy , Robert Demolombe Querying a Rule Base. [Citation Graph (9, 0)][DBLP ] Expert Database Conf., 1986, pp:477-485 [Conf ] Laurence Cholvy A Modal Approach to Update Semantics Problem. [Citation Graph (2, 0)][DBLP ] DS-2, 1986, pp:89-98 [Conf ] Laurence Cholvy Update Semantics under the Domain Closure Assumption. [Citation Graph (2, 9)][DBLP ] ICDT, 1986, pp:123-140 [Conf ] Laurence Cholvy , Frédéric Cuppens Providing Consistent Views in a Polyinstantiated Database. [Citation Graph (1, 0)][DBLP ] DBSec, 1994, pp:277-296 [Conf ] Laurence Cholvy Querying an Inconstistent Database. [Citation Graph (0, 0)][DBLP ] AIMSA, 1990, pp:81-92 [Conf ] Laurence Cholvy , Christophe Garion Distribution of goals addressed to a group of agents. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:765-772 [Conf ] Laurence Cholvy , Christophe Garion Deriving individual obligations from collective obligations. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:962-963 [Conf ] Laurence Cholvy , Christophe Garion Desires, Norms and Constraints. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:724-731 [Conf ] Laurence Cholvy Mises à jour dans les bases de connaissances. [Citation Graph (0, 0)][DBLP ] BDA, 1989, pp:69-86 [Conf ] Laurence Cholvy , Christophe Garion , Claire Saurel Ability in a Multi-agent Context: A Model in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:23-36 [Conf ] Frédéric Cuppens , Laurence Cholvy , Claire Saurel , Jérôme Carrère Merging Security Policies: Analysis of a Practical Example. [Citation Graph (0, 0)][DBLP ] CSFW, 1998, pp:123-136 [Conf ] Laurence Cholvy , Robert Demolombe , Andrew Jones Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. [Citation Graph (0, 0)][DBLP ] DAISD, 1994, pp:345-373 [Conf ] Laurence Cholvy A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2005, pp:390-401 [Conf ] Laurence Cholvy Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2001, pp:478-487 [Conf ] Laurence Cholvy Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. [Citation Graph (0, 0)][DBLP ] ECSQARU, 1995, pp:125-132 [Conf ] Laurence Cholvy , Anthony Hunter Information Fusion in Logic: A Brief Overview. [Citation Graph (0, 0)][DBLP ] ECSQARU-FAPR, 1997, pp:86-95 [Conf ] Laurence Cholvy , Christophe Garion Strategies for Distributing Goals in a Team of Cooperative Agents. [Citation Graph (0, 0)][DBLP ] ESAW, 2004, pp:178-190 [Conf ] Laurence Cholvy Answering Queries Addressed to a Group of Deductive Databases. [Citation Graph (0, 0)][DBLP ] FQAS, 1996, pp:203-217 [Conf ] Laurence Cholvy Checking regulation consistency by using SOL-resolution. [Citation Graph (0, 0)][DBLP ] ICAIL, 1999, pp:73-79 [Conf ] Laurence Cholvy , Frédéric Cuppens Solving Normative Conflicts by Merging Roles. [Citation Graph (0, 0)][DBLP ] ICAIL, 1995, pp:201-209 [Conf ] Laurence Cholvy , Frédéric Cuppens , Claire Saurel Towards a Logical Formalization of Responsibility. [Citation Graph (0, 0)][DBLP ] ICAIL, 1997, pp:233-242 [Conf ] Laurence Cholvy Future Information Systems (Panel). [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1986, pp:645-646 [Conf ] Laurence Cholvy , Jack Foisseau ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1983, pp:501-505 [Conf ] Laurence Cholvy Proving Theorems in a Multi-Source Environment. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:66-73 [Conf ] Elsa Pascual , Laurence Cholvy Answering Queries Addressed to the Rule Base of a Deductive Database. [Citation Graph (0, 0)][DBLP ] IPMU, 1988, pp:138-145 [Conf ] Laurence Cholvy , Robert Demolombe , Andrew Jones Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. [Citation Graph (0, 0)][DBLP ] ISMIS, 1994, pp:488-499 [Conf ] Laurence Cholvy , Christophe Garion Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. [Citation Graph (0, 0)][DBLP ] ISMIS, 2002, pp:131-139 [Conf ] Laurence Cholvy A Logical Approach to Multi-Sources Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:183-196 [Conf ] Laurence Cholvy , Frédéric Cuppens Analyzing Consistency of Security Policies. [Citation Graph (0, 0)][DBLP ] IEEE Symposium on Security and Privacy, 1997, pp:103-112 [Conf ] Laurence Cholvy , Christophe Garion An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2001, v:48, n:2-3, pp:183-204 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2001, v:16, n:10, pp:1107-1134 [Journal ] Frédéric Cuppens , Laurence Cholvy , Claire Saurel , Jérôme Carrère Merging regulations: Analysis of a practical example. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2001, v:16, n:11, pp:1223-1243 [Journal ] Laurence Cholvy , Serafín Moral Merging databases: Problems and examples. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2001, v:16, n:10, pp:1193-1221 [Journal ] Laurence Cholvy , Christophe Garion Querying several conflicting databases. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2004, v:14, n:3, pp:295-327 [Journal ] Laurence Cholvy , Christophe Garion Answering Queries Addressed to Several Databases According to a Majority Merging Approach. [Citation Graph (0, 0)][DBLP ] J. Intell. Inf. Syst., 2004, v:22, n:2, pp:175-201 [Journal ] Laurence Cholvy Reasoning About Data Provided by Federated Deductive Databases. [Citation Graph (0, 0)][DBLP ] J. Intell. Inf. Syst., 1998, v:10, n:1, pp:49-80 [Journal ] Laurence Cholvy , Anthony Hunter Merging requirements from a set of ranked agents. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 2003, v:16, n:2, pp:113-126 [Journal ] Christophe Garion , Laurence Cholvy Deriving individual obligations from collective obligations. [Citation Graph (0, 0)][DBLP ] Normative Multi-agent Systems, 2007, pp:- [Conf ] Laurence Cholvy , Stéphanie Roussel Reasoning with an Incomplete Information Exchange Policy. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2007, pp:683-694 [Conf ] Towards Agent-Oriented Relevant Information. [Citation Graph (, )][DBLP ] Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory. [Citation Graph (, )][DBLP ] How to Complete Regulations in Multi-agent Systems. [Citation Graph (, )][DBLP ] Evaluation of Information Reported: A Model in the Theory of Evidence. [Citation Graph (, )][DBLP ] Plausibility of Information Reported by Successive Sources. [Citation Graph (, )][DBLP ] Consistency and Completeness of Regulations. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.307secs