Conditional Belief, Knowledge and Probability

Autor: Jan van Eijck, Kai Li

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 188-206 (2017)

A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at

Externí odkaz: https://doaj.org/article/6d255031b8c14e17bfd5cdc81f440208

Public Announcements, Public Lies and Recoveries

Autor: Kai Li, Jan van Eijck

Publikováno v: Journal of logic, language, and information. 31(3)

The paper gives a formal analysis of public lies, explains how public lying is related to public announcement, and describes the process of recoveries from false beliefs engendered by public lying. The framework treats two kinds of public lies: simpl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fab0a705fd8cecb6d7580b8830ffb209
https://pubmed.ncbi.nlm.nih.gov/35317266

Quality of life and traditional outcome results at 1 year in elderly patients having critical limb ischemia and the role of conservative treatment

Autor: Nathalie Verbogt, Paul Lodder, Lijckle van der Laan, Geert-Jan van Eijck, Hans de Groot, Gwan H. Ho, Stijn L. Steunenberg, Jolanda De Vries, Jelle W. Raats, Eelco J. Veen

Publikováno v: Vascular and endovascular surgery, 54(2), 126-134. Sage Publications, Inc.

Introduction: Revascularization is the cornerstone of the treatment of critical limb ischemia (CLI), but the number of elderly frail patients increase. Revascularization is not always possible in these patients and conservative therapy seems to be an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2eec4a5eeb743e73c47f395cea96dc7b
https://doi.org/10.1177/1538574419885478

Conditional Belief, Knowledge and Probability

Autor: Kai Li, Jan van Eijck

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 188-206 (2017)

A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7645c221371193dcfa94c8e0311e6fa
https://doi.org/10.4204/eptcs.251.14

A description of the non-sequential execution of Petri nets in partially commutative linear logic

Autor: Christian Retoré, Vincent Van Oostrom, Jan van Eijck, Albert Visser

Publikováno v: Logic Colloquium '99
Jan Van Eijck; Vincent Van Oostrom; Albert Visser. Logic Colloquium '99, Cambridge University Press, pp.152-181, 2017, Lecture Notes in Logic, ⟨10.1017/9781316755921.013⟩
Logic Colloquium ’99: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Utrecht, Netherlands, August 1–6, 1999

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cfe8ca4d16fdf0d5cde1e34b7feffe84
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02189885