Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract

dc.contributor.author	Antonelli, Melissa
dc.date	2024-08-01
dc.date.accessioned	2024-11-18T13:19:55Z
dc.date.available	2024-11-18T13:19:55Z
dc.date.issued	2024
dc.description.abstract	Interactions between logic and theoretical computer science are multiple and profound. In the last decades, they have been deeply investigated, but, surprisingly, the study of probabilistic computation was only marginally touched by such fruitful interchanges. The overall goal of my doctoral thesis was precisely that of start bridging this gap by developing logical systems corresponding to specific aspects of randomized computation and, due to them, by generalizing standard achievements to the probabilistic realm. To do so, the key ingredient is the introduction of new, measure-sensitive quantifiers associated with quantitative interpretations.	de
dc.identifier.doi	10.1007/s13218-024-00843-y
dc.identifier.issn	1610-1987
dc.identifier.uri	http://dx.doi.org/10.1007/s13218-024-00843-y
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/45387
dc.publisher	Springer
dc.relation.ispartof	KI - Künstliche Intelligenz: Vol. 38, No. 0
dc.relation.ispartofseries	KI - Künstliche Intelligenz
dc.subject	Logical foundations of computer science
dc.subject	Probability logic
dc.subject	Randomized computation
dc.subject	Reasoning about uncertainty
dc.title	Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract	de
dc.type	Text/Journal Article
mci.reference.pages	99-105

Sammlungen