Zobrazeno 1 - 10
of 88
pro vyhledávání: '"Sergei Artemov"'
Autor:
Sergei Artemov, Bernd Krause
Publikováno v:
Proceedings of the International Conference on Applied Innovations in IT, Vol 4, Iss 1, Pp 73-76 (2016)
Research analysis of electrocardiograms (ECG) today is carried out mostly using time depending signals of different leads shown in the graphs. Definition of ECG parameters is performed by qualified personnel, and requiring particular skills. To suppo
Externí odkaz:
https://doaj.org/article/6f14b7312ffe443190d015b8e74598da
Autor:
Sergei Artemov, Melvin Fitting
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and t
Autor:
Sergei Artemov
Publikováno v:
Journal of Logic and Computation. 30:1431-1446
We offer a new semantic approach to formal epistemology that incorporates two principal ideas: (i) justifications are prime objects of the model: knowledge and belief are defined evidence-based concepts; (ii) awareness restrictions are applied to jus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a22fe78880bc41d326fe89d316e72a18
https://doi.org/10.1093/logcom/exaa043
https://doi.org/10.1093/logcom/exaa043
Autor:
Sergei Artemov
Publikováno v:
Journal of Logic and Computation. 30:61-76
Imagine a database—a set of propositions $\varGamma =\{F_1,\ldots ,F_n\}$ with some kind of probability estimates and let a proposition $X$ logically follow from $\varGamma $. What is the best justified lower bound of the probability of $X$? The tr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62255f605e70feea293f336f4a800c26
https://doi.org/10.1093/logcom/exaa003
https://doi.org/10.1093/logcom/exaa003
Autor:
Sergei Artemov, Anil Nerode
Publikováno v:
Journal of Logic and Computation. 32:1486-1486
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d752f9b111950a0ec65bd3b16fde12e4
https://doi.org/10.1093/logcom/exac080
https://doi.org/10.1093/logcom/exac080
Autor:
Sergei Artemov
Publikováno v:
Indagationes Mathematicae. 29:125-134
In this paper we analyze the foundations of epistemology from a constructive Brouwerian position. In particular, we consider the famous tripartite account of knowledge as justified true belief, JTB, traditionally attributed to Plato as well as counte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5060705fb0bf89e66cf1cbb1259bc4ab
https://doi.org/10.1016/j.indag.2017.09.012
https://doi.org/10.1016/j.indag.2017.09.012
Autor:
Sergei Artemov, Anil Nerode
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected fr
Autor:
Sergei Artemov
Publikováno v:
Logical Foundations of Computer Science ISBN: 9783030367541
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28ab6f111ecbdddaaff506389807974e
https://doi.org/10.1007/978-3-030-36755-8_2
https://doi.org/10.1007/978-3-030-36755-8_2