| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Tomović, Siniša | en |
| dc.contributor.author | Ognjanović, Zoran | en |
| dc.contributor.author | Doder, Dragan | en |
| dc.date.accessioned | 2020-05-01T20:13:51Z | - |
| dc.date.available | 2020-05-01T20:13:51Z | - |
| dc.date.issued | 2020-02-02 | en |
| dc.identifier.issn | 1529-3785 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/1753 | - |
| dc.description | Article no. 16 | - |
| dc.description.abstract | We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. We define its syntax and semantics and prove the strong completeness property of the corresponding axiomatic system. | en |
| dc.publisher | Association for Computing Machinery | - |
| dc.relation | Mathematical Modelas and Optimization Methods on Large-Scale Systems | - |
| dc.relation | Representations of logical structures and formal languages and their application in computing | - |
| dc.relation | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education | - |
| dc.relation.ispartof | ACM Transactions on Computational Logic | en |
| dc.subject | coordinated actions | infinite number of agents | probabilistic common knowledge | Probabilistic epistemic logic | strong completeness | en |
| dc.title | A First-order Logic for Reasoning about Knowledge and Probability | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.1145/3359752 | en |
| dc.identifier.scopus | 2-s2.0-85082382863 | en |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
| dc.relation.firstpage | 16:1 | - |
| dc.relation.lastpage | 16:30 | - |
| dc.relation.issue | 2 | en |
| dc.relation.volume | 21 | en |
| dc.description.rank | M22 | - |
| item.grantfulltext | none | - |
| item.openairetype | Article | - |
| item.cerifentitytype | Publications | - |
| item.fulltext | No Fulltext | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174010e.php | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php | - |
| crisitem.project.fundingProgram | Directorate for Engineering | - |
| crisitem.project.fundingProgram | Directorate for Social, Behavioral & Economic Sciences | - |
| crisitem.project.fundingProgram | NATIONAL HEART, LUNG, AND BLOOD INSTITUTE | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Engineering/1740103 | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267 | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04 | - |
| crisitem.author.orcid | 0000-0002-1832-3348 | - |
| crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
10
checked on Dec 4, 2024
Page view(s)
24
checked on Dec 4, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.