DC FieldValueLanguage
dc.contributor.authorLehnherr, Daviden_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.contributor.authorStuder, Thomasen_US
dc.date.accessioned2022-11-25T13:02:04Z-
dc.date.available2022-11-25T13:02:04Z-
dc.date.issued2022-
dc.identifier.issn0955-792X-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4861-
dc.description.abstractWe introduce the probabilistic two-agent justification logic IPJ⁠, a logic in which we can reason about agents that perform interactive proofs. In order to study the growth rate of the probabilities in IPJ⁠, we present a new method of parametrizing IPJ over certain negligible functions. Further, our approach leads to a new notion of zero-knowledge proofs.en_US
dc.publisherOxford Academicen_US
dc.relationAdvanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBCen_US
dc.relation.ispartofJournal of Logic and Computationen_US
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.titleA logic of interactive proofsen_US
dc.typeArticleen_US
dc.identifier.doi10.1093/logcom/exac071-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Artsen_US
dc.relation.firstpage1645-
dc.relation.lastpage1658-
dc.relation.issue8-
dc.relation.volume32-
dc.description.rank~M21-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/description.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/participants.php-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

SCOPUSTM   
Citations

1
checked on Nov 23, 2024

Page view(s)

26
checked on Nov 23, 2024

Google ScholarTM

Check

Altmetric

Altmetric


This item is licensed under a Creative Commons License Creative Commons