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.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.grantfulltextnone-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

50
checked on Oct 5, 2022

Google ScholarTM

Check

Altmetric

Altmetric


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