The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laurence Cholvy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Laurence Cholvy, Robert Demolombe
    Querying a Rule Base. [Citation Graph (9, 0)][DBLP]
    Expert Database Conf., 1986, pp:477-485 [Conf]
  2. Laurence Cholvy
    A Modal Approach to Update Semantics Problem. [Citation Graph (2, 0)][DBLP]
    DS-2, 1986, pp:89-98 [Conf]
  3. Laurence Cholvy
    Update Semantics under the Domain Closure Assumption. [Citation Graph (2, 9)][DBLP]
    ICDT, 1986, pp:123-140 [Conf]
  4. Laurence Cholvy, Frédéric Cuppens
    Providing Consistent Views in a Polyinstantiated Database. [Citation Graph (1, 0)][DBLP]
    DBSec, 1994, pp:277-296 [Conf]
  5. Laurence Cholvy
    Querying an Inconstistent Database. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1990, pp:81-92 [Conf]
  6. Laurence Cholvy, Christophe Garion
    Distribution of goals addressed to a group of agents. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:765-772 [Conf]
  7. Laurence Cholvy, Christophe Garion
    Deriving individual obligations from collective obligations. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:962-963 [Conf]
  8. Laurence Cholvy, Christophe Garion
    Desires, Norms and Constraints. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:724-731 [Conf]
  9. Laurence Cholvy
    Mises à jour dans les bases de connaissances. [Citation Graph (0, 0)][DBLP]
    BDA, 1989, pp:69-86 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Laurence Cholvy
    Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:478-487 [Conf]
  15. Laurence Cholvy
    Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:125-132 [Conf]
  16. Laurence Cholvy, Anthony Hunter
    Information Fusion in Logic: A Brief Overview. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:86-95 [Conf]
  17. 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]
  18. Laurence Cholvy
    Answering Queries Addressed to a Group of Deductive Databases. [Citation Graph (0, 0)][DBLP]
    FQAS, 1996, pp:203-217 [Conf]
  19. Laurence Cholvy
    Checking regulation consistency by using SOL-resolution. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1999, pp:73-79 [Conf]
  20. Laurence Cholvy, Frédéric Cuppens
    Solving Normative Conflicts by Merging Roles. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1995, pp:201-209 [Conf]
  21. 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]
  22. Laurence Cholvy
    Future Information Systems (Panel). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:645-646 [Conf]
  23. 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]
  24. Laurence Cholvy
    Proving Theorems in a Multi-Source Environment. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:66-73 [Conf]
  25. 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]
  26. 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]
  27. 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]
  28. Laurence Cholvy
    A Logical Approach to Multi-Sources Reasoning. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:183-196 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Christophe Garion, Laurence Cholvy
    Deriving individual obligations from collective obligations. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  39. Laurence Cholvy, Stéphanie Roussel
    Reasoning with an Incomplete Information Exchange Policy. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2007, pp:683-694 [Conf]

  40. Towards Agent-Oriented Relevant Information. [Citation Graph (, )][DBLP]


  41. Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory. [Citation Graph (, )][DBLP]


  42. How to Complete Regulations in Multi-agent Systems. [Citation Graph (, )][DBLP]


  43. Evaluation of Information Reported: A Model in the Theory of Evidence. [Citation Graph (, )][DBLP]


  44. Plausibility of Information Reported by Successive Sources. [Citation Graph (, )][DBLP]


  45. Consistency and Completeness of Regulations. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002