![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Laurence Cholvy
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Célia da Costa Pereira
, Laurence Cholvy:
Usefulness of Information for Achieving Goals with Disjunctive Premises. Knowl. Eng. Rev. 39 (2024) - 2020
- [p2]Nicole Bidoit, Patrick Bosc, Laurence Cholvy, Olivier Pivert, Marie-Christine Rousset:
Databases and Artificial Intelligence. A Guided Tour of Artificial Intelligence Research (3) (III) 2020: 91-116
2010 – 2019
- 2019
- [c53]Laurence Cholvy, Célia da Costa Pereira
:
Usefulness of Information for Goal Achievement. PRIMA 2019: 123-137 - [p1]Claire Saurel, Olivier Poitou, Laurence Cholvy:
Assessing the Usefulness of Information in the Context of Coalition Operations. Information Quality in Information Fusion and Decision Making 2019: 135-154 - 2018
- [j14]Laurence Cholvy:
Opinion diffusion and influence: A logical approach. Int. J. Approx. Reason. 93: 24-39 (2018) - [c52]Enzo Battistella
, Laurence Cholvy:
A Logical Approach to Extreme Opinion Diffusion. ICAART (2) 2018: 17-28 - [c51]Enzo Battistella, Laurence Cholvy:
Modelling and Simulating Extreme Opinion Diffusion. ICAART (Revised Selected Papers) 2018: 79-104 - 2017
- [j13]Laurence Cholvy, Laurent Perrussel
, Jean-Marc Thévenin:
Using inconsistency measures for estimating reliability. Int. J. Approx. Reason. 89: 41-57 (2017) - [e2]Alessandro Antonucci, Laurence Cholvy, Odile Papini:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings. Lecture Notes in Computer Science 10369, Springer 2017, ISBN 978-3-319-61580-6 [contents] - 2016
- [c50]Laurence Cholvy:
Influence-Based Opinion Diffusion: (Extended Abstract). AAMAS 2016: 1355-1356 - [c49]Laurence Cholvy:
Diffusion of Opinion and Influence. SUM 2016: 112-125 - 2015
- [j12]Laurence Cholvy:
Towards a logical belief function theory. J. Appl. Log. 13(4): 441-457 (2015) - [c48]Laurence Cholvy:
Abduction for Analysing Data Exchange Policies. ADBIS (Short Papers and Workshops) 2015: 517-526 - [c47]Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thévenin:
Towards Consistency-Based Reliability Assessment. AAMAS 2015: 1643-1644 - [c46]Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thévenin:
Consistency-Based Reliability Assessment. ECSQARU 2015: 246-256 - 2014
- [c45]Laurence Cholvy:
How Strong to Believe Information? A Trust Model in the Logical Belief Function Theory. TRUST@AAMAS 2014: 44-54 - [c44]Laurence Cholvy:
A Logical Version of the Belief Function Theory. IPMU (3) 2014: 170-179 - 2012
- [j11]Laurence Cholvy:
Non-exclusive hypotheses in Dempster-Shafer Theory. Int. J. Approx. Reason. 53(4): 493-501 (2012) - [c43]Thomas Polacsek, Laurence Cholvy, Rémi Delmas:
Vers une aide à la spécification d'une politique d'échange d'information dans un SI . INFORSID 2012: 352-370 - [c42]Laurence Cholvy:
Collecting Information Reported by Imperfect Information Sources. IPMU (3) 2012: 501-510 - 2011
- [c41]Thomas Polacsek, Laurence Cholvy:
A framework to report and to analyse a debate. CSCWD 2011: 84-90 - [c40]Laurence Cholvy:
How Strong Can an Agent Believe Reported Information ? ECSQARU 2011: 386-397 - 2010
- [j10]Christophe Garion
, Stéphanie Roussel, Laurence Cholvy:
Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. Rev. d'Intelligence Artif. 24(3): 267-290 (2010) - [c39]Laurence Cholvy:
Evaluation of Information Reported: A Model in the Theory of Evidence. IPMU (1) 2010: 258-267 - [c38]Laurence Cholvy:
Plausibility of Information Reported by Successive Sources. SUM 2010: 126-136
2000 – 2009
- 2009
- [c37]Laurence Cholvy:
Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory. ECSQARU 2009: 264-274 - [c36]Jérôme Besombes, Vincent Nimier, Laurence Cholvy:
Information evaluation in fusion using information correlation. FUSION 2009: 264-269 - [c35]Christophe Garion
, Stéphanie Roussel, Laurence Cholvy:
How to Complete Regulations in Multi-agent Systems. IAT 2009: 285-288 - [i2]Christophe Garion, Stéphanie Roussel, Laurence Cholvy:
A modal logic for reasoning on consistency and completeness of regulations. Normative Multi-Agent Systems 2009 - 2008
- [c34]Laurence Cholvy, Stéphanie Roussel:
Towards Agent-Oriented Relevant Information. AIMSA 2008: 22-31 - [c33]Laurence Cholvy, Stéphanie Roussel:
Consistency and Completeness of Regulations. NORMAS 2008: 51-65 - 2007
- [c32]Laurence Cholvy, Stéphanie Roussel:
Reasoning with an Incomplete Information Exchange Policy. ECSQARU 2007: 683-694 - [c31]Laurence Cholvy:
Modelling information evaluation in fusion. FUSION 2007: 1-6 - [c30]Anne-Laure Jousselme, Patrick Maupin, Christophe Garion
, Laurence Cholvy, Claire Saurel:
Situation awareness and ability in coalitions. FUSION 2007: 1-9 - [i1]Christophe Garion, Laurence Cholvy:
Deriving individual obligations from collective obligations. Normative Multi-agent Systems 2007 - 2005
- [c29]Laurence Cholvy, Christophe Garion
, Claire Saurel:
Ability in a Multi-agent Context: A Model in the Situation Calculus. CLIMA 2005: 23-36 - [c28]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
- [j9]Laurence Cholvy, Christophe Garion
:
Querying several conflicting databases. J. Appl. Non Class. Logics 14(3): 295-327 (2004) - [j8]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) - [c27]Laurence Cholvy, Christophe Garion:
Desires, Norms and Constraints. AAMAS 2004: 724-731 - [c26]Laurence Cholvy, Christophe Garion:
Strategies for Distributing Goals in a Team of Cooperative Agents. ESAW 2004: 178-190 - 2003
- [j7]Laurence Cholvy, Anthony Hunter
:
Merging requirements from a set of ranked agents. Knowl. Based Syst. 16(2): 113-126 (2003) - [c25]Laurence Cholvy, Christophe Garion:
Distribution of goals addressed to a group of agents. AAMAS 2003: 765-772 - [c24]Laurence Cholvy, Christophe Garion:
Deriving individual obligations from collective obligations. AAMAS 2003: 962-963 - 2002
- [c23]Laurence Cholvy, Christophe Garion:
Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. ISMIS 2002: 131-139 - [e1]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 Workshop Proceedings 54, CEUR-WS.org 2002 [contents] - 2001
- [j6]Laurence Cholvy, Christophe Garion:
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. Fundam. Informaticae 48(2-3): 183-204 (2001) - [j5]Isabelle Bloch, Anthony Hunter
, Alain Appriou, André Ayoun, Salem Benferhat, Philippe Besnard, Laurence Cholvy, Roger M. 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) - [j4]Laurence Cholvy, Serafín Moral
:
Merging databases: Problems and examples. Int. J. Intell. Syst. 16(10): 1193-1221 (2001) - [j3]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) - [c22]Laurence Cholvy:
Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators. ECSQARU 2001: 478-487
1990 – 1999
- 1999
- [c21]Laurence Cholvy:
Checking regulation consistency by using SOL-resolution. ICAIL 1999: 73-79 - 1998
- [j2]Laurence Cholvy:
Reasoning About Data Provided by Federated Deductive Databases. J. Intell. Inf. Syst. 10(1): 49-80 (1998) - [c20]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 - 1997
- [c19]Laurence Cholvy, Anthony Hunter
:
Information Fusion in Logic: A Brief Overview. ECSQARU-FAPR 1997: 86-95 - [c18]Laurence Cholvy, Frédéric Cuppens, Claire Saurel:
Towards a Logical Formalization of Responsibility. ICAIL 1997: 233-242 - [c17]Laurence Cholvy, Frédéric Cuppens:
Analyzing Consistency of Security Policies. S&P 1997: 103-112 - 1996
- [c16]Laurence Cholvy:
Answering Queries Addressed to a Group of Deductive Databases. FQAS 1996: 203-217 - 1995
- [c15]Laurence Cholvy:
Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. ECSQARU 1995: 125-132 - [c14]Laurence Cholvy, Frédéric Cuppens:
Solving Normative Conflicts by Merging Roles. ICAIL 1995: 201-209 - 1994
- [j1]Laurence Cholvy:
Database updates and transition constraints: A formula-based approach. Int. J. Intell. Syst. 9(1): 169-180 (1994) - [c13]Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones:
Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD 1994: 345-373 - [c12]Laurence Cholvy, Frédéric Cuppens:
Providing Consistent Views in a Polyinstantiated Database. DBSec 1994: 277-296 - [c11]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
- [c10]Laurence Cholvy:
Proving Theorems in a Multi-Source Environment. IJCAI 1993: 66-73 - 1992
- [c9]Laurence Cholvy:
A Logical Approach to Multi-Sources Reasoning. Logic at Work 1992: 183-196 - 1990
- [c8]Laurence Cholvy:
Querying an Inconstistent Database. AIMSA 1990: 81-92
1980 – 1989
- 1989
- [c7]Laurence Cholvy:
Mises à jour dans les bases de connaissances. BDA 1989: 69-86 - 1988
- [c6]Elsa Pascual, Laurence Cholvy:
Answering Queries Addressed to the Rule Base of a Deductive Database. IPMU 1988: 138-145 - 1986
- [c5]Laurence Cholvy:
A Modal Approach to Update Semantics Problem. DS-2 1986: 89-98 - [c4]Laurence Cholvy, Robert Demolombe:
Querying a Rule Base. Expert Database Conf. 1986: 477-485 - [c3]Laurence Cholvy:
Update Semantics under the Domain Closure Assumption. ICDT 1986: 123-140 - [c2]Laurence Cholvy:
Future Information Systems (Panel). IFIP Congress 1986: 645-646 - 1983
- [c1]Laurence Cholvy, Jack Foisseau:
ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. IFIP Congress 1983: 501-505
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint