Cholvy, Laurence Opinion diffusion and influence: a logical approach. (English) Zbl 1452.68183 Int. J. Approx. Reasoning 93, 24-39 (2018). MSC: 68T27 68T42 91D30 PDFBibTeX XMLCite \textit{L. Cholvy}, Int. J. Approx. Reasoning 93, 24--39 (2018; Zbl 1452.68183) Full Text: DOI HAL
Cholvy, L.; Perrussel, L.; Thévenin, J-M. Using inconsistency measures for estimating reliability. (English) Zbl 1419.68187 Int. J. Approx. Reasoning 89, 41-57 (2017). MSC: 68T42 68T27 68T37 PDFBibTeX XMLCite \textit{L. Cholvy} et al., Int. J. Approx. Reasoning 89, 41--57 (2017; Zbl 1419.68187) Full Text: DOI Link
Antonucci, Alessandro (ed.); Cholvy, Laurence (ed.); Papini, Odile (ed.) Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. (English) Zbl 1367.68004 Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). xxii, 502 p. (2017). MSC: 68-06 68T37 00B25 PDFBibTeX XMLCite \textit{A. Antonucci} (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10--14, 2017. Proceedings. Cham: Springer (2017; Zbl 1367.68004) Full Text: DOI
Cholvy, Laurence Diffusion of opinion and influence. (English) Zbl 1366.68282 Schockaert, Steven (ed.) et al., Scalable uncertainty management. 10th international conference, SUM 2016, Nice, France, September 21–23, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-45855-7/pbk; 978-3-319-45856-4/ebook). Lecture Notes in Computer Science 9858. Lecture Notes in Artificial Intelligence, 112-125 (2016). MSC: 68T27 68T42 PDFBibTeX XMLCite \textit{L. Cholvy}, Lect. Notes Comput. Sci. 9858, 112--125 (2016; Zbl 1366.68282) Full Text: DOI
Cholvy, Laurence Towards a logical belief function theory. (English) Zbl 1378.03013 J. Appl. Log. 13, No. 4, Part 1, 441-457 (2015). MSC: 03B42 68T27 68T37 PDFBibTeX XMLCite \textit{L. Cholvy}, J. Appl. Log. 13, No. 4, Part 1, 441--457 (2015; Zbl 1378.03013) Full Text: DOI
Cholvy, Laurence; Perrussel, Laurent; Raynaut, William; Thévenin, Jean-Marc Consistency-based reliability assessment. (English) Zbl 1465.68250 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 246-256 (2015). MSC: 68T37 68T35 PDFBibTeX XMLCite \textit{L. Cholvy} et al., Lect. Notes Comput. Sci. 9161, 246--256 (2015; Zbl 1465.68250) Full Text: DOI Link
Cholvy, Laurence A logical version of the belief function theory. (English) Zbl 1415.68218 Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 170-179 (2014). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{L. Cholvy}, Commun. Comput. Inf. Sci. 444, 170--179 (2014; Zbl 1415.68218) Full Text: DOI
Cholvy, Laurence Collecting information reported by imperfect information sources. (English) Zbl 1252.68299 Greco, Salvatore (ed.) et al., 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. Berlin: Springer (ISBN 978-3-642-31717-0/pbk; 978-3-642-31718-7/ebook). Communications in Computer and Information Science 299, 501-510 (2012). MSC: 68T37 03B45 68T27 PDFBibTeX XMLCite \textit{L. Cholvy}, Commun. Comput. Inf. Sci. 299, 501--510 (2012; Zbl 1252.68299) Full Text: DOI
Cholvy, Laurence Non-exclusive hypotheses in Dempster-Shafer theory. (English) Zbl 1246.68228 Int. J. Approx. Reasoning 53, No. 4, 493-501 (2012). MSC: 68T37 68T27 PDFBibTeX XMLCite \textit{L. Cholvy}, Int. J. Approx. Reasoning 53, No. 4, 493--501 (2012; Zbl 1246.68228) Full Text: DOI
Cholvy, Laurence How strong can an agent believe reported information? (English) Zbl 1341.68208 Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 386-397 (2011). MSC: 68T27 03B42 68T37 PDFBibTeX XMLCite \textit{L. Cholvy}, Lect. Notes Comput. Sci. 6717, 386--397 (2011; Zbl 1341.68208) Full Text: DOI
Cholvy, Laurence Evaluation of information reported: A model in the theory of evidence. (English) Zbl 1209.68541 Hüllermeier, Eyke (ed.) et al., 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. Berlin: Springer (ISBN 978-3-642-14054-9/pbk; 978-3-642-14055-6/ebook). Communications in Computer and Information Science 80, 258-267 (2010). MSC: 68T37 PDFBibTeX XMLCite \textit{L. Cholvy}, Commun. Comput. Inf. Sci. 80, 258--267 (2010; Zbl 1209.68541) Full Text: DOI
Cholvy, Laurence Using logic to understand relations between DSmT and Dempster-Shafer theory. (English) Zbl 1245.68206 Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 264-274 (2009). MSC: 68T37 68T27 PDFBibTeX XMLCite \textit{L. Cholvy}, Lect. Notes Comput. Sci. 5590, 264--274 (2009; Zbl 1245.68206) Full Text: DOI
Cholvy, Laurence; Roussel, Stéphanie Towards agent-oriented relevant information. (English) Zbl 1169.68613 Dochev, Danail (ed.) et al., Artificial intelligence: Methodology, systems, and applications. 13th international conference, AIMSA 2008, Varna, Bulgaria, September 4–6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85775-4/pbk). Lecture Notes in Computer Science 5253. Lecture Notes in Artificial Intelligence, 22-31 (2008). MSC: 68T27 PDFBibTeX XMLCite \textit{L. Cholvy} and \textit{S. Roussel}, Lect. Notes Comput. Sci. 5253, 22--31 (2008; Zbl 1169.68613) Full Text: DOI
Cholvy, Laurence; Roussel, Stéphanie Reasoning with an incomplete information exchange policy. (English) Zbl 1148.68504 Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 683-694 (2007). MSC: 68T37 PDFBibTeX XMLCite \textit{L. Cholvy} and \textit{S. Roussel}, Lect. Notes Comput. Sci. 4724, 683--694 (2007; Zbl 1148.68504) Full Text: DOI
Cholvy, Laurence; Garion, Christophe; Saurel, Claire Ability in a multi-agent context: a model in the situation calculus. (English) Zbl 1236.68223 Toni, Francesca (ed.) et al., Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27–29, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-33996-5/pbk). Lecture Notes in Computer Science 3900. Lecture Notes in Artificial Intelligence, 23-36 (2006). MSC: 68T27 68T42 PDFBibTeX XMLCite \textit{L. Cholvy} et al., Lect. Notes Comput. Sci. 3900, 23--36 (2006; Zbl 1236.68223) Full Text: DOI
Cholvy, Laurence A modal logic for reasoning with contradictory beliefs which takes into account the number and the reliability of the sources. (English) Zbl 1122.68622 Godo, Lluís (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27326-3/pbk). Lecture Notes in Computer Science 3571. Lecture Notes in Artificial Intelligence, 390-401 (2005). MSC: 68T27 03B42 03B45 68T37 PDFBibTeX XMLCite \textit{L. Cholvy}, Lect. Notes Comput. Sci. 3571, 390--401 (2005; Zbl 1122.68622) Full Text: DOI
Cholvy, Laurence; Garion, Christophe Querying several conflicting databases. (English) Zbl 1182.68069 J. Appl. Non-Class. Log. 14, No. 3, 295-327 (2004). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{L. Cholvy} and \textit{C. Garion}, J. Appl. Non-Class. Log. 14, No. 3, 295--327 (2004; Zbl 1182.68069) Full Text: DOI Link
Cholvy, Laurence; Garion, Christophe Answering queries addressed to several databases according to a majority merging approach. (English) Zbl 1075.68021 J. Intell. Inf. Syst. 22, No. 2, 175-201 (2004). MSC: 68P15 PDFBibTeX XML Full Text: DOI
Cholvy, Laurence; Garion, Christophe Answering queries addressed to several databases: A query evaluator which implements a majority merging approach. (English) Zbl 1049.68572 Hacid, Mohand-Saïd (ed.) et al., Foundations of intelligent systems. 13th international symposium, ISMIS 2002, Lyon, France, June 27–29, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43785-1). Lect. Notes Comput. Sci. 2366, 131-139 (2002). MSC: 68P15 68T27 PDFBibTeX XMLCite \textit{L. Cholvy} and \textit{C. Garion}, Lect. Notes Comput. Sci. 2366, 131--139 (2002; Zbl 1049.68572) Full Text: Link
Cholvy, Laurence Data merging: Theory of evidence vs. knowledge-bases merging operators. (English) Zbl 1001.68537 Benferhat, Salem (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2143, 478-487 (2001). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{L. Cholvy}, Lect. Notes Comput. Sci. 2143, 478--487 (2001; Zbl 1001.68537) Full Text: Link
Cholvy, Laurence; Garion, Christophe An attempt to adapt a logic of conditional preferences for reasoning with contrary-to-duties. (English) Zbl 0995.03017 Fundam. Inform. 48, No. 2-3, 183-204 (2001). MSC: 03B45 68T27 PDFBibTeX XMLCite \textit{L. Cholvy} and \textit{C. Garion}, Fundam. Inform. 48, No. 2--3, 183--204 (2001; Zbl 0995.03017)
Cuppens, Frédéric; Cholvy, Laurence; Saurel, Claire; Carrère, Jérome Merging regulations: Analysis of a practical example. (English) Zbl 0997.68133 Int. J. Intell. Syst. 16, No. 11, 1223-1243 (2001). MSC: 68T20 68U99 68U35 PDFBibTeX XMLCite \textit{F. Cuppens} et al., Int. J. Intell. Syst. 16, No. 11, 1223--1243 (2001; Zbl 0997.68133) Full Text: DOI
Cholvy, Laurence; Moral, Serafin Merging databases: Problems and examples. (English) Zbl 0988.68065 Int. J. Intell. Syst. 16, No. 10, 1193-1221 (2001). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Cholvy} and \textit{S. Moral}, Int. J. Intell. Syst. 16, No. 10, 1193--1221 (2001; Zbl 0988.68065) Full Text: DOI
Appriou, A.; Ayoun, A.; Benferhat, S.; Besnard, P.; Bloch, I.; Cholvy, L.; Cooke, R.; Cuppens, F.; Dubois, D.; Fargier, H.; Grabisch, M.; Hunter, A.; Kruse, R.; Lang, J.; Moral, S.; Prade, H.; Saffiotti, A.; Smets, P.; Sossai, C. Fusion: General concepts and characteristics. (English) Zbl 0989.68162 Int. J. Intell. Syst. 16, No. 10, 1107-1134 (2001). MSC: 68U35 PDFBibTeX XMLCite \textit{A. Appriou} et al., Int. J. Intell. Syst. 16, No. 10, 1107--1134 (2001; Zbl 0989.68162) Full Text: DOI
Cholvy, Laurence; Cuppens, Frédéric Reasoning about norms provided by conflicting regulations. (English) Zbl 0939.03035 McNamara, P. (ed.) et al., Norms, logics and information systems. New studies in deontic logic and computer science. Selected papers of the 4th \(\Delta\)EON workshop, Bologna, Italy, January 8-10, 1998. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 49, 247-262 (1999). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{L. Cholvy} and \textit{F. Cuppens}, Front. Artif. Intell. Appl. 49, 247--262 (1999; Zbl 0939.03035)
Cholvy, Laurence Reasoning about merged information. (English) Zbl 0928.03017 Dubois, Didier (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 3: Belief change. Dordrecht: Kluwer Academic Publishers. 233-263 (1998). MSC: 03B42 68T35 68T30 68P15 PDFBibTeX XMLCite \textit{L. Cholvy}, in: Handbook of defeasible reasoning and uncertainty management systems. Vol. 3: Belief change. Dordrecht: Kluwer Academic Publishers. 233--263 (1998; Zbl 0928.03017)
Cholvy, Laurence Flexible query-answering in a group of databases. (English) Zbl 0886.68056 Andreasen, Troels (ed.) et al., Flexible query answering systems. Dordrecht: Kluwer Academic Publishers. 141-161 (1997). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Cholvy}, in: Flexible query answering systems. Dordrecht: Kluwer Academic Publishers. 141--161 (1997; Zbl 0886.68056)
Cholvy, Laurence Database updates and transition constraints: A formula-based approach. (English) Zbl 0805.68031 Int. J. Intell. Syst. 9, No. 1, 169-180 (1994). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Cholvy}, Int. J. Intell. Syst. 9, No. 1, 169--180 (1994; Zbl 0805.68031) Full Text: DOI
Cholvy, Laurence Update semantics under the domain closure assumption. (English) Zbl 0643.68170 Database theory, Proc. Int. Conf., Rome/Italy 1986, Lect. Notes Comput. Sci. 243, 123-140 (1986). MSC: 68P20 PDFBibTeX XML