DC FieldValueLanguage
dc.contributor.authorOgnjanović, Zoranen
dc.contributor.authorPerović, Aleksandaren
dc.contributor.authorDoder, Draganen
dc.date.accessioned2020-02-18T20:06:27Z-
dc.date.available2020-02-18T20:06:27Z-
dc.date.issued2013-08-01en
dc.identifier.isbn978-3-642-39091-3en
dc.identifier.issn0302-9743en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/41-
dc.description.abstractWe introduce a Hilbert-style first-order dynamic probability logic and prove the strong completeness theorem for the class of rigid measurable models.en
dc.publisherSpringer Link-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.subjectFirst-order | Probability logic | Strong completeness-
dc.titleA first-order dynamic probability logicen
dc.typeConference Paperen
dc.relation.conference12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013; Utrecht; Netherlands; 8 July 2013 through 10 July 2013-
dc.identifier.doi10.1007/978-3-642-39091-3_39en
dc.identifier.scopus2-s2.0-84880711223en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage461-
dc.relation.lastpage472-
dc.relation.volume7958 LNAI-
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

SCOPUSTM   
Citations

2
checked on Sep 7, 2024

Page view(s)

4
checked on Sep 7, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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