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

SCOPUSTM   
Citations

2
checked on Nov 27, 2024

Page view(s)

31
checked on Nov 26, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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