DC FieldValueLanguage
dc.contributor.authorIlić Stepić, Angelinaen_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.contributor.authorPerović, Aleksandaren_US
dc.date.accessioned2022-10-27T09:58:37Z-
dc.date.available2022-10-27T09:58:37Z-
dc.date.issued2022-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4859-
dc.description.abstractWe introduce the logic ILP suitable for intuitionistic reasoning about prob- abilities. We use operators of the form P⩾sα with the intended meaning “It is proven that the probability of α is at least s”. We describe the corresponding class of models which are intuitionistic Kripke models equipped with the appro- priate probability requirements. We give sound a axiomatic system and prove decidability of ILP.en_US
dc.publisherUniversity Center Dubrovnik, Croatiaen_US
dc.relationAdvanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBCen_US
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectIntuitionistic logic | Probabilityen_US
dc.titleThe logic ILP for intuitionistic reasoning about probabilityen_US
dc.typeConference Paperen_US
dc.relation.conference11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022en_US
dc.relation.publicationBook of Abstractsen_US
dc.identifier.urlhttp://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2022-Book_of_Abstracts.pdf-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Artsen_US
dc.relation.firstpage25-
dc.relation.lastpage26-
dc.description.rankM34-
item.cerifentitytypePublications-
item.openairetypeConference Paper-
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
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-0002-9771-1196-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

32
checked on Dec 22, 2024

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons