DC FieldValueLanguage
dc.contributor.authorDautović, Šejla-
dc.contributor.authorDoder, Dragan-
dc.contributor.authorOgnjanović, Zoran-
dc.date.accessioned2020-06-15T15:23:22Z-
dc.date.available2020-06-15T15:23:22Z-
dc.date.issued2020-
dc.identifier.isbn978-3-030-44637-6-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/3040-
dc.description.abstractWe present a probabilistic logic for reasoning about degrees of confirmation. We provide a sound and strongly complete axiomatization for the logic. We show that the problem of deciding satisfiability is in PSPACE.-
dc.publisherSpringer Link-
dc.relation.ispartofLecture Notes in Computer Science-
dc.subjectProbabilistic logic | Measure of confirmation | Completeness theorem | Decidability-
dc.titleReasoning About Degrees of Confirmation-
dc.typeConference Paper-
dc.relation.conferenceThe 3rd International Conference on Logic and Argumentation (CLAR 2020)-
dc.identifier.doi10.1007/978-3-030-44638-3_5-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage80-
dc.relation.lastpage95-
dc.relation.volume12061-
dc.description.rankM33-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.orcid0000-0002-2108-3314-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

SCOPUSTM   
Citations

1
checked on Nov 24, 2024

Page view(s)

40
checked on Nov 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.