Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Laurence Cholvy
@inproceedings{DBLP:conf/prima/CholvyP19,
author = {Laurence Cholvy and
C{\'{e}}lia da Costa Pereira},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Usefulness of Information for Goal Achievement},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {123--137},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_8},
doi = {10.1007/978-3-030-33792-6\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/CholvyP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/SaurelPC19,
author = {Claire Saurel and
Olivier Poitou and
Laurence Cholvy},
editor = {{\'{E}}loi Boss{\'{e}} and
Galina L. Rogova},
title = {Assessing the Usefulness of Information in the Context of Coalition
Operations},
booktitle = {Information Quality in Information Fusion and Decision Making},
pages = {135--154},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-03643-0\_7},
doi = {10.1007/978-3-030-03643-0\_7},
timestamp = {Sun, 02 Jun 2019 20:42:29 +0200},
biburl = {https://dblp.org/rec/books/sp/19/SaurelPC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Cholvy18,
author = {Laurence Cholvy},
title = {Opinion diffusion and influence: {A} logical approach},
journal = {Int. J. Approx. Reason.},
volume = {93},
pages = {24--39},
year = {2018},
url = {https://doi.org/10.1016/j.ijar.2017.10.014},
doi = {10.1016/J.IJAR.2017.10.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Cholvy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BattistellaC18,
author = {Enzo Battistella and
Laurence Cholvy},
editor = {Ana Paula Rocha and
H. Jaap van den Herik},
title = {A Logical Approach to Extreme Opinion Diffusion},
booktitle = {Proceedings of the 10th International Conference on Agents and Artificial
Intelligence, {ICAART} 2018, Volume 2, Funchal, Madeira, Portugal,
January 16-18, 2018},
pages = {17--28},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006530900170028},
doi = {10.5220/0006530900170028},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BattistellaC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BattistellaC18a,
author = {Enzo Battistella and
Laurence Cholvy},
editor = {H. Jaap van den Herik and
Ana Paula Rocha},
title = {Modelling and Simulating Extreme Opinion Diffusion},
booktitle = {Agents and Artificial Intelligence - 10th International Conference,
{ICAART} 2018, Funchal, Madeira, Portugal, January 16-18, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11352},
pages = {79--104},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05453-3\_5},
doi = {10.1007/978-3-030-05453-3\_5},
timestamp = {Fri, 27 Mar 2020 08:49:32 +0100},
biburl = {https://dblp.org/rec/conf/icaart/BattistellaC18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/CholvyPT17,
author = {Laurence Cholvy and
Laurent Perrussel and
Jean{-}Marc Th{\'{e}}venin},
title = {Using inconsistency measures for estimating reliability},
journal = {Int. J. Approx. Reason.},
volume = {89},
pages = {41--57},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2016.10.004},
doi = {10.1016/J.IJAR.2016.10.004},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/CholvyPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsqaru/2017,
editor = {Alessandro Antonucci and
Laurence Cholvy and
Odile Papini},
title = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 14th European Conference, {ECSQARU} 2017, Lugano, Switzerland, July
10-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10369},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61581-3},
doi = {10.1007/978-3-319-61581-3},
isbn = {978-3-319-61580-6},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsqaru/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Cholvy16,
author = {Laurence Cholvy},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Influence-Based Opinion Diffusion: (Extended Abstract)},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1355--1356},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937157},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/Cholvy16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/Cholvy16,
author = {Laurence Cholvy},
editor = {Steven Schockaert and
Pierre Senellart},
title = {Diffusion of Opinion and Influence},
booktitle = {Scalable Uncertainty Management - 10th International Conference, {SUM}
2016, Nice, France, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9858},
pages = {112--125},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45856-4\_8},
doi = {10.1007/978-3-319-45856-4\_8},
timestamp = {Wed, 25 Sep 2019 18:13:12 +0200},
biburl = {https://dblp.org/rec/conf/sum/Cholvy16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Cholvy15,
author = {Laurence Cholvy},
title = {Towards a logical belief function theory},
journal = {J. Appl. Log.},
volume = {13},
number = {4},
pages = {441--457},
year = {2015},
url = {https://doi.org/10.1016/j.jal.2014.12.002},
doi = {10.1016/J.JAL.2014.12.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Cholvy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/Cholvy15,
author = {Laurence Cholvy},
editor = {Tadeusz Morzy and
Patrick Valduriez and
Ladjel Bellatreche},
title = {Abduction for Analysing Data Exchange Policies},
booktitle = {New Trends in Databases and Information Systems - {ADBIS} 2015 Short
Papers and Workshops, BigDap, DCSA, GID, MEBIS, OAIS, SW4CH, WISARD,
Poitiers, France, September 8-11, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {539},
pages = {517--526},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23201-0\_52},
doi = {10.1007/978-3-319-23201-0\_52},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/Cholvy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CholvyPRT15,
author = {Laurence Cholvy and
Laurent Perrussel and
William Raynaut and
Jean{-}Marc Th{\'{e}}venin},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Towards Consistency-Based Reliability Assessment},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1643--1644},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773364},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/CholvyPRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CholvyPRT15,
author = {Laurence Cholvy and
Laurent Perrussel and
William Raynaut and
Jean{-}Marc Th{\'{e}}venin},
editor = {S{\'{e}}bastien Destercke and
Thierry Denoeux},
title = {Consistency-Based Reliability Assessment},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 13th European Conference, {ECSQARU} 2015, Compi{\`{e}}gne, France,
July 15-17, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9161},
pages = {246--256},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20807-7\_22},
doi = {10.1007/978-3-319-20807-7\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/CholvyPRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Cholvy14,
author = {Laurence Cholvy},
editor = {Robin Cohen and
Rino Falcone and
Timothy J. Norman},
title = {How Strong to Believe Information? {A} Trust Model in the Logical
Belief Function Theory},
booktitle = {Proceedings of the 17th International Workshop on Trust in Agent Societies
co-located with the 13th International Conference on Autonomous Agents
and Multiagent Systems {(AAMAS} 2014), Paris, France, May 6, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1740},
pages = {44--54},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1740/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/atal/Cholvy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Cholvy14,
author = {Laurence Cholvy},
editor = {Anne Laurent and
Olivier Strauss and
Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {A Logical Version of the Belief Function Theory},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems - 15th International Conference, {IPMU} 2014, Montpellier,
France, July 15-19, 2014, Proceedings, Part {III}},
series = {Communications in Computer and Information Science},
volume = {444},
pages = {170--179},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08852-5\_18},
doi = {10.1007/978-3-319-08852-5\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/Cholvy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Cholvy12,
author = {Laurence Cholvy},
title = {Non-exclusive hypotheses in Dempster-Shafer Theory},
journal = {Int. J. Approx. Reason.},
volume = {53},
number = {4},
pages = {493--501},
year = {2012},
url = {https://doi.org/10.1016/j.ijar.2011.12.003},
doi = {10.1016/J.IJAR.2011.12.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Cholvy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/PolacsekCD12,
author = {Thomas Polacsek and
Laurence Cholvy and
R{\'{e}}mi Delmas},
title = {Vers une aide {\`{a}} la sp{\'{e}}cification d'une politique
d'{\'{e}}change d'information dans un {SI}},
booktitle = {Actes du XXX{\`{e}}me Congr{\`{e}}s INFORSID, Montpellier, France,
29 - 31 mai 2012},
pages = {352--370},
year = {2012},
url = {http://liris.cnrs.fr/inforsid/sites/default/files/2012\_6\_4-LaurenceCholvy.pdf},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/PolacsekCD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Cholvy12,
author = {Laurence Cholvy},
editor = {Salvatore Greco and
Bernadette Bouchon{-}Meunier and
Giulianella Coletti and
Mario Fedrizzi and
Benedetto Matarazzo and
Ronald R. Yager},
title = {Collecting Information Reported by Imperfect Information Sources},
booktitle = {Advances in Computational Intelligence - 14th International Conference
on Information Processing and Management of Uncertainty in Knowledge-Based
Systems, {IPMU} 2012, Catania, Italy, July 9-13, 2012, Proceedings,
Part {III}},
series = {Communications in Computer and Information Science},
volume = {299},
pages = {501--510},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31718-7\_52},
doi = {10.1007/978-3-642-31718-7\_52},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/Cholvy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/PolacsekC11,
author = {Thomas Polacsek and
Laurence Cholvy},
editor = {Weiming Shen and
Jean{-}Paul A. Barth{\`{e}}s and
Junzhou Luo and
Peter G. Kropf and
Michel Pouly and
Jianming Yong and
Yunjiao Xue and
Milton Pires Ramos},
title = {A framework to report and to analyse a debate},
booktitle = {Proceedings of the 2011 15th International Conference on Computer
Supported Cooperative Work in Design, {CSCWD} 2011, June 8-10, 2011,
Lausanne, Switzerland},
pages = {84--90},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CSCWD.2011.5960059},
doi = {10.1109/CSCWD.2011.5960059},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/cscwd/PolacsekC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Cholvy11,
author = {Laurence Cholvy},
editor = {Weiru Liu},
title = {How Strong Can an Agent Believe Reported Information ?},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 11th European Conference, {ECSQARU} 2011, Belfast, UK, June 29-July
1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6717},
pages = {386--397},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22152-1\_33},
doi = {10.1007/978-3-642-22152-1\_33},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Cholvy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/GarionRC10,
author = {Christophe Garion and
St{\'{e}}phanie Roussel and
Laurence Cholvy},
title = {Une logique modale pour raisonner sur la coh{\'{e}}rence et la
compl{\'{e}}tude de r{\'{e}}glementations},
journal = {Rev. d'Intelligence Artif.},
volume = {24},
number = {3},
pages = {267--290},
year = {2010},
url = {https://doi.org/10.3166/ria.24.267-290},
doi = {10.3166/RIA.24.267-290},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/GarionRC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Cholvy10,
author = {Laurence Cholvy},
editor = {Eyke H{\"{u}}llermeier and
Rudolf Kruse and
Frank Hoffmann},
title = {Evaluation of Information Reported: {A} Model in the Theory of Evidence},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems. Theory and Methods - 13th International Conference, {IPMU}
2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings, Part
{I}},
series = {Communications in Computer and Information Science},
volume = {80},
pages = {258--267},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14055-6\_27},
doi = {10.1007/978-3-642-14055-6\_27},
timestamp = {Thu, 07 Dec 2017 18:39:14 +0100},
biburl = {https://dblp.org/rec/conf/ipmu/Cholvy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/Cholvy10,
author = {Laurence Cholvy},
editor = {Amol Deshpande and
Anthony Hunter},
title = {Plausibility of Information Reported by Successive Sources},
booktitle = {Scalable Uncertainty Management - 4th International Conference, {SUM}
2010, Toulouse, France, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6379},
pages = {126--136},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15951-0\_16},
doi = {10.1007/978-3-642-15951-0\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sum/Cholvy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Cholvy09,
author = {Laurence Cholvy},
editor = {Claudio Sossai and
Gaetano Chemello},
title = {Using Logic to Understand Relations between DSmT and Dempster-Shafer
Theory},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
10th European Conference, {ECSQARU} 2009, Verona, Italy, July 1-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5590},
pages = {264--274},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02906-6\_24},
doi = {10.1007/978-3-642-02906-6\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Cholvy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/BesombesNC09,
author = {J{\'{e}}r{\^{o}}me Besombes and
Vincent Nimier and
Laurence Cholvy},
title = {Information evaluation in fusion using information correlation},
booktitle = {12th International Conference on Information Fusion, {FUSION} '09,
Seattle, Washington, USA, July 6-9, 2009},
pages = {264--269},
publisher = {{IEEE}},
year = {2009},
url = {https://ieeexplore.ieee.org/document/5203677/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fusion/BesombesNC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/GarionRC09,
author = {Christophe Garion and
St{\'{e}}phanie Roussel and
Laurence Cholvy},
title = {How to Complete Regulations in Multi-agent Systems},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Intelligent Agent Technology, {IAT} 2009, Milan, Italy, 15-18 September
2009},
pages = {285--288},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.165},
doi = {10.1109/WI-IAT.2009.165},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/GarionRC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GarionRC09,
author = {Christophe Garion and
St{\'{e}}phanie Roussel and
Laurence Cholvy},
editor = {Guido Boella and
Pablo Noriega and
Gabriella Pigozzi and
Harko Verhagen},
title = {A modal logic for reasoning on consistency and completeness of regulations},
booktitle = {Normative Multi-Agent Systems, 15.03. - 20.03.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09121},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1904/},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GarionRC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/CholvyR08,
author = {Laurence Cholvy and
St{\'{e}}phanie Roussel},
editor = {Danail Dochev and
Marco Pistore and
Paolo Traverso},
title = {Towards Agent-Oriented Relevant Information},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 13th
International Conference, {AIMSA} 2008, Varna, Bulgaria, September
4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5253},
pages = {22--31},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85776-1\_3},
doi = {10.1007/978-3-540-85776-1\_3},
timestamp = {Wed, 28 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/CholvyR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/normas/CholvyR08,
author = {Laurence Cholvy and
St{\'{e}}phanie Roussel},
editor = {Guido Boella and
Gabriella Pigozzi and
Munindar P. Singh and
Harko Verhagen},
title = {Consistency and Completeness of Regulations},
booktitle = {Third International Workshop on Normative Multiagent Systems - NorMAS
2008, Luxembourg, July 15-16, 2008. Proceedings},
pages = {51--65},
year = {2008},
timestamp = {Wed, 28 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/normas/CholvyR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CholvyR07,
author = {Laurence Cholvy and
St{\'{e}}phanie Roussel},
editor = {Khaled Mellouli},
title = {Reasoning with an Incomplete Information Exchange Policy},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
9th European Conference, {ECSQARU} 2007, Hammamet, Tunisia, October
31 - November 2, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4724},
pages = {683--694},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75256-1\_60},
doi = {10.1007/978-3-540-75256-1\_60},
timestamp = {Wed, 28 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/CholvyR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/Cholvy07,
author = {Laurence Cholvy},
title = {Modelling information evaluation in fusion},
booktitle = {10th International Conference on Information Fusion, {FUSION} 2007,
Qu{\'{e}}bec, Canada, July 9-12, 2007},
pages = {1--6},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICIF.2007.4408060},
doi = {10.1109/ICIF.2007.4408060},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fusion/Cholvy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/JousselmeMGCS07,
author = {Anne{-}Laure Jousselme and
Patrick Maupin and
Christophe Garion and
Laurence Cholvy and
Claire Saurel},
title = {Situation awareness and ability in coalitions},
booktitle = {10th International Conference on Information Fusion, {FUSION} 2007,
Qu{\'{e}}bec, Canada, July 9-12, 2007},
pages = {1--9},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICIF.2007.4408132},
doi = {10.1109/ICIF.2007.4408132},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fusion/JousselmeMGCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GarionC07,
author = {Christophe Garion and
Laurence Cholvy},
editor = {Guido Boella and
Leendert W. N. van der Torre and
Harko Verhagen},
title = {Deriving individual obligations from collective obligations},
booktitle = {Normative Multi-agent Systems, 18.03. - 23.03.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07122},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/911},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GarionC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CholvyGS05,
author = {Laurence Cholvy and
Christophe Garion and
Claire Saurel},
editor = {Francesca Toni and
Paolo Torroni},
title = {Ability in a Multi-agent Context: {A} Model in the Situation Calculus},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {23--36},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_2},
doi = {10.1007/11750734\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/CholvyGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Cholvy05,
author = {Laurence Cholvy},
editor = {Llu{\'{\i}}s Godo},
title = {A Modal Logic for Reasoning with Contradictory Beliefs Which Takes
into Account the Number and the Reliability of the Sources},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3571},
pages = {390--401},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11518655\_34},
doi = {10.1007/11518655\_34},
timestamp = {Fri, 05 Jun 2020 11:50:47 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Cholvy05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CholvyG04,
author = {Laurence Cholvy and
Christophe Garion},
title = {Querying several conflicting databases},
journal = {J. Appl. Non Class. Logics},
volume = {14},
number = {3},
pages = {295--327},
year = {2004},
url = {https://doi.org/10.3166/jancl.14.295-327},
doi = {10.3166/JANCL.14.295-327},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/CholvyG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/CholvyG04,
author = {Laurence Cholvy and
Christophe Garion},
title = {Answering Queries Addressed to Several Databases According to a Majority
Merging Approach},
journal = {J. Intell. Inf. Syst.},
volume = {22},
number = {2},
pages = {175--201},
year = {2004},
url = {https://doi.org/10.1023/B:JIIS.0000012469.11873.bb},
doi = {10.1023/B:JIIS.0000012469.11873.BB},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jiis/CholvyG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CholvyG04,
author = {Laurence Cholvy and
Christophe Garion},
title = {Desires, Norms and Constraints},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {724--731},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10092},
doi = {10.1109/AAMAS.2004.10092},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/CholvyG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/CholvyG04,
author = {Laurence Cholvy and
Christophe Garion},
editor = {Marie{-}Pierre Gleizes and
Andrea Omicini and
Franco Zambonelli},
title = {Strategies for Distributing Goals in a Team of Cooperative Agents},
booktitle = {Engineering Societies in the Agents World V, 5th InternationalWorkshop,
{ESAW} 2004, Toulouse, France, October 20-22, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3451},
pages = {178--190},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11423355\_13},
doi = {10.1007/11423355\_13},
timestamp = {Mon, 07 Oct 2019 16:15:28 +0200},
biburl = {https://dblp.org/rec/conf/esaw/CholvyG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/CholvyH03,
author = {Laurence Cholvy and
Anthony Hunter},
title = {Merging requirements from a set of ranked agents},
journal = {Knowl. Based Syst.},
volume = {16},
number = {2},
pages = {113--126},
year = {2003},
url = {https://doi.org/10.1016/S0950-7051(02)00078-3},
doi = {10.1016/S0950-7051(02)00078-3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/CholvyH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CholvyG03,
author = {Laurence Cholvy and
Christophe Garion},
title = {Distribution of goals addressed to a group of agents},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {765--772},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860698},
doi = {10.1145/860575.860698},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/CholvyG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CholvyG03a,
author = {Laurence Cholvy and
Christophe Garion},
title = {Deriving individual obligations from collective obligations},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {962--963},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860746},
doi = {10.1145/860575.860746},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/CholvyG03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CholvyG02,
author = {Laurence Cholvy and
Christophe Garion},
editor = {Mohand{-}Said Hacid and
Zbigniew W. Ras and
Djamel A. Zighed and
Yves Kodratoff},
title = {Answering Queries Addressed to Several Databases: {A} Query Evaluator
which Implements a Majority Merging Approach},
booktitle = {Foundations of Intelligent Systems, 13th International Symposium,
{ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2366},
pages = {131--139},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48050-1\_16},
doi = {10.1007/3-540-48050-1\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CholvyG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/krdb/2002,
editor = {Alexander Borgida and
Diego Calvanese and
Laurence Cholvy and
Marie{-}Christine Rousset},
title = {Proceedings of the 9th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2002), Toulouse France, April 21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {54},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-54},
urn = {urn:nbn:de:0074-54-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/krdb/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CholvyG01,
author = {Laurence Cholvy and
Christophe Garion},
title = {An Attempt to Adapt a Logic of Conditional Preferences for Reasoning
with Contrary-To-Duties},
journal = {Fundam. Informaticae},
volume = {48},
number = {2-3},
pages = {183--204},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi48-2-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CholvyG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/BlochHAABBCCCDFGKLMPSSS01,
author = {Isabelle Bloch and
Anthony Hunter and
Alain Appriou and
Andr{\'{e}} Ayoun and
Salem Benferhat and
Philippe Besnard and
Laurence Cholvy and
Roger M. Cooke and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Didier Dubois and
H{\'{e}}l{\`{e}}ne Fargier and
Michel Grabisch and
Rudolf Kruse and
J{\'{e}}r{\^{o}}me Lang and
Seraf{\'{\i}}n Moral and
Henri Prade and
Alessandro Saffiotti and
Philippe Smets and
Claudio Sossai},
title = {Fusion: General concepts and characteristics},
journal = {Int. J. Intell. Syst.},
volume = {16},
number = {10},
pages = {1107--1134},
year = {2001},
url = {https://doi.org/10.1002/int.1052},
doi = {10.1002/INT.1052},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijis/BlochHAABBCCCDFGKLMPSSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/CholvyM01,
author = {Laurence Cholvy and
Seraf{\'{\i}}n Moral},
title = {Merging databases: Problems and examples},
journal = {Int. J. Intell. Syst.},
volume = {16},
number = {10},
pages = {1193--1221},
year = {2001},
url = {https://doi.org/10.1002/int.1056},
doi = {10.1002/INT.1056},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/CholvyM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/CuppensCSC01,
author = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Laurence Cholvy and
Claire Saurel and
J{\'{e}}r{\^{o}}me Carr{\`{e}}re},
title = {Merging regulations: Analysis of a practical example},
journal = {Int. J. Intell. Syst.},
volume = {16},
number = {11},
pages = {1223--1243},
year = {2001},
url = {https://doi.org/10.1002/int.1057},
doi = {10.1002/INT.1057},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/CuppensCSC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Cholvy01,
author = {Laurence Cholvy},
editor = {Salem Benferhat and
Philippe Besnard},
title = {Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
6th European Conference, {ECSQARU} 2001, Toulouse, France, September
19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2143},
pages = {478--487},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44652-4\_42},
doi = {10.1007/3-540-44652-4\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Cholvy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/Cholvy99,
author = {Laurence Cholvy},
editor = {Jon Bing and
Andrew J. I. Jones and
Thomas F. Gordon},
title = {Checking regulation consistency by using SOL-resolution},
booktitle = {Proceedings of the Seventh International Conference on Artificial
Intelligence and Law, {ICAIL} '99, Oslo, Norway, June 14-17, 1999},
pages = {73--79},
publisher = {{ACM}},
year = {1999},
url = {http://portal.acm.org/citation.cfm?id=323706.323717},
timestamp = {Thu, 28 Sep 2023 09:26:09 +0200},
biburl = {https://dblp.org/rec/conf/icail/Cholvy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/Cholvy98,
author = {Laurence Cholvy},
title = {Reasoning About Data Provided by Federated Deductive Databases},
journal = {J. Intell. Inf. Syst.},
volume = {10},
number = {1},
pages = {49--80},
year = {1998},
url = {https://doi.org/10.1023/A:1008637507908},
doi = {10.1023/A:1008637507908},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jiis/Cholvy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CuppensCSC98,
author = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Laurence Cholvy and
Claire Saurel and
J{\'{e}}r{\^{o}}me Carr{\`{e}}re},
title = {Merging Security Policies: Analysis of a Practical Example},
booktitle = {Proceedings of the 11th {IEEE} Computer Security Foundations Workshop,
Rockport, Massachusetts, USA, June 9-11, 1998},
pages = {123--136},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSFW.1998.683163},
doi = {10.1109/CSFW.1998.683163},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/CuppensCSC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CholvyH97,
author = {Laurence Cholvy and
Anthony Hunter},
editor = {Dov M. Gabbay and
Rudolf Kruse and
Andreas Nonnengart and
Hans J{\"{u}}rgen Ohlbach},
title = {Information Fusion in Logic: {A} Brief Overview},
booktitle = {Qualitative and Quantitative Practical Reasoning, First International
Joint Conference on Qualitative and Quantitative Practical Reasoning
ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1244},
pages = {86--95},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035614},
doi = {10.1007/BFB0035614},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsqaru/CholvyH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/CholvyCS97,
author = {Laurence Cholvy and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Claire Saurel},
editor = {John Zeleznikow and
Daniel Hunter and
Luther Karl Branting},
title = {Towards a Logical Formalization of Responsibility},
booktitle = {Proceedings of the Sixth International Conference on Artificial Intelligence
and Law, {ICAIL} '97, Melbourne, Vicoria, Australia, June 30 - July
3, 1997},
pages = {233--242},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/261618.261658},
doi = {10.1145/261618.261658},
timestamp = {Tue, 06 Nov 2018 16:58:12 +0100},
biburl = {https://dblp.org/rec/conf/icail/CholvyCS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/CholvyC97,
author = {Laurence Cholvy and
Fr{\'{e}}d{\'{e}}ric Cuppens},
title = {Analyzing Consistency of Security Policies},
booktitle = {1997 {IEEE} Symposium on Security and Privacy, May 4-7, 1997, Oakland,
CA, {USA}},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/SECPRI.1997.601324},
doi = {10.1109/SECPRI.1997.601324},
timestamp = {Thu, 21 Sep 2023 15:57:36 +0200},
biburl = {https://dblp.org/rec/conf/sp/CholvyC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/Cholvy96,
author = {Laurence Cholvy},
editor = {Henning Christiansen and
Henrik Legind Larsen and
Troels Andreasen},
title = {Answering Queries Addressed to a Group of Deductive Databases},
booktitle = {Flexible Query-Answering Systems, Proceedings of the 1996 Workshop,
FQAS'96, Roskilde, Denmark, May 22-24, 1996},
series = {Datalogiske Skrifter (Writings on Computer Science)},
volume = {62},
pages = {203--217},
publisher = {Roskilde University},
year = {1996},
timestamp = {Thu, 08 Jun 2017 18:10:44 +0200},
biburl = {https://dblp.org/rec/conf/fqas/Cholvy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Cholvy95,
author = {Laurence Cholvy},
editor = {Christine Froidevaux and
J{\"{u}}rg Kohlas},
title = {Automated Reasoning with Merged Contradictory Information Whose Reliability
Depends on Topics},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {946},
pages = {125--132},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60112-0\_15},
doi = {10.1007/3-540-60112-0\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Cholvy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/CholvyC95,
author = {Laurence Cholvy and
Fr{\'{e}}d{\'{e}}ric Cuppens},
editor = {L. Thorne McCarty},
title = {Solving Normative Conflicts by Merging Roles},
booktitle = {Proceedings of the Fifth International Conference on Artificial Intelligence
and Law, {ICAIL} '95, College Park, Maryland, USA, May 21-24, 1995},
pages = {201--209},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/222092.222241},
doi = {10.1145/222092.222241},
timestamp = {Tue, 06 Nov 2018 16:58:12 +0100},
biburl = {https://dblp.org/rec/conf/icail/CholvyC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/Cholvy94,
author = {Laurence Cholvy},
title = {Database updates and transition constraints: {A} formula-based approach},
journal = {Int. J. Intell. Syst.},
volume = {9},
number = {1},
pages = {169--180},
year = {1994},
url = {https://doi.org/10.1002/int.4550090111},
doi = {10.1002/INT.4550090111},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/Cholvy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/daisd/CholvyDJ94,
author = {Laurence Cholvy and
Robert Demolombe and
Andrew J. I. Jones},
editor = {Antoni Oliv{\'{e}}},
title = {Reasoning about the Safety of Information: From Logical Formalization
to Operational Definition},
booktitle = {Fith International Workshop on the Deductive Approach to Information
Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
Costa Brava, Catalonia, Proceedings},
series = {Report de recerca},
volume = {{LSI/94-28-R}},
pages = {345--373},
publisher = {Universitat Politecnica de Catalunya {(UPC)}},
year = {1994},
timestamp = {Fri, 26 Jul 2019 12:08:51 +0200},
biburl = {https://dblp.org/rec/conf/daisd/CholvyDJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/CholvyC94,
author = {Laurence Cholvy and
Fr{\'{e}}d{\'{e}}ric Cuppens},
editor = {Joachim Biskup and
Matthew Morgenstern and
Carl E. Landwehr},
title = {Providing Consistent Views in a Polyinstantiated Database},
booktitle = {Database Security, {VIII:} Status and Prospects, Proceedings of the
{IFIP} {WG11.3} Working Conference on Database Security, Bad Salzdetfurth,
Germany, 23-26 August, 1994},
series = {{IFIP} Transactions},
volume = {{A-60}},
pages = {277--296},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:56:17 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/CholvyC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CholvyDJ94,
author = {Laurence Cholvy and
Robert Demolombe and
Andrew J. I. Jones},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Reasoning About the Safety of Information: From Logical Formalization
to Operational Definition},
booktitle = {Methodologies for Intelligent Systems, 8th International Symposium,
{ISMIS} '94, Charlotte, North Carolina, USA, October 16-19, 1994,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {869},
pages = {488--499},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58495-1\_49},
doi = {10.1007/3-540-58495-1\_49},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CholvyDJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cholvy93,
author = {Laurence Cholvy},
editor = {Ruzena Bajcsy},
title = {Proving Theorems in a Multi-Source Environment},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {66--73},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/010.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Cholvy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/law/Cholvy92,
author = {Laurence Cholvy},
editor = {Michael Masuch and
L{\'{a}}szl{\'{o}} P{\'{o}}los},
title = {A Logical Approach to Multi-Sources Reasoning},
booktitle = {Knowledge Representation and Reasoning Under Uncertainty, Logic at
Work [International Conference Logic at Work, Amsterdam, The Netherlands,
December 17-19, 1992]},
series = {Lecture Notes in Computer Science},
volume = {808},
pages = {183--196},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-58095-6\_13},
doi = {10.1007/3-540-58095-6\_13},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/law/Cholvy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Cholvy90,
author = {Laurence Cholvy},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {Querying an Inconstistent Database},
booktitle = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
Proceedings of the Fourth International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
September 19-22, 1990},
pages = {81--92},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 16 Mar 2017 14:36:15 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/Cholvy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/Cholvy89,
author = {Laurence Cholvy},
title = {Mises {\`{a}} jour dans les bases de connaissances},
booktitle = {Cinqui{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
26-28 Septembre 1989, Gen{\`{e}}ve, Suisse (Informal Proceedings)},
pages = {69--86},
publisher = {{INRIA}},
year = {1989},
timestamp = {Tue, 31 Oct 2006 14:02:09 +0100},
biburl = {https://dblp.org/rec/conf/bda/Cholvy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/PascualC88,
author = {Elsa Pascual and
Laurence Cholvy},
editor = {Bernadette Bouchon{-}Meunier and
Lorenza Saitta and
Ronald R. Yager},
title = {Answering Queries Addressed to the Rule Base of a Deductive Database},
booktitle = {Uncertainty and Intelligent Systems, 2nd International Conference
on Information Processing and Management of Uncertainty in Knowledge-Based
Systems, {IPMU} '88, Urbino, Italy, July 4-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {313},
pages = {138--145},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19402-9\_66},
doi = {10.1007/3-540-19402-9\_66},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/PascualC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/Cholvy86,
author = {Laurence Cholvy},
editor = {Robert Meersman and
Am{\'{\i}}lcar Sernadas},
title = {A Modal Approach to Update Semantics Problem},
booktitle = {Proceedings of the {IFIP} {WG} 2.6 Working Conference on Data Semantics,
"Data and Knowledge" {(DS-2).} Albufeira, Portugal, 3-7 November,
1986},
pages = {89--98},
publisher = {North-Holland},
year = {1986},
timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ds/Cholvy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eds/CholvyD86,
author = {Laurence Cholvy and
Robert Demolombe},
editor = {Larry Kerschberg},
title = {Querying a Rule Base},
booktitle = {Expert Database Systems, Proceedings From the First International
Conference, Charleston, South Carolina, USA, April 1-4, 1986},
pages = {477--485},
publisher = {Benjamin/Cummings},
year = {1986},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eds/CholvyD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Cholvy86,
author = {Laurence Cholvy},
editor = {Giorgio Ausiello and
Paolo Atzeni},
title = {Update Semantics under the Domain Closure Assumption},
booktitle = {ICDT'86, International Conference on Database Theory, Rome, Italy,
September 8-10, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {243},
pages = {123--140},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17187-8\_33},
doi = {10.1007/3-540-17187-8\_33},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Cholvy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Cholvy86,
author = {Laurence Cholvy},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {Future Information Systems (Panel)},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {645--646},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Cholvy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CholvyF83,
author = {Laurence Cholvy and
Jack Foisseau},
editor = {R. E. A. Mason},
title = {{ROSALIE:} {A} {C.A.D.} Object-Oriented and Rule-Based System},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {501--505},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CholvyF83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
