| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Doder, Dragan | en |
| dc.contributor.author | Savić, Nenad | en |
| dc.contributor.author | Ognjanović, Zoran | en |
| dc.date.accessioned | 2020-02-18T20:06:23Z | - |
| dc.date.available | 2020-02-18T20:06:23Z | - |
| dc.date.issued | 2018-01-01 | en |
| dc.identifier.isbn | 978-3-319-90049-0 | en |
| dc.identifier.issn | 0302-9743 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/12 | - |
| dc.description.abstract | We present a propositional logic for reasoning about higher-order upper and lower probabilities. The main technical result is the proof of decidability of the introduced logical system. We also show that the axiomatization for the corresponding logic without iterations of operators, which we developed in our previous work, is also complete for the new class of models presented in this paper. | en |
| dc.publisher | Springer Link | - |
| dc.relation | Advanced Techniques of Cryptology, Image Processing and Computational Topology for Information Security | - |
| 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 | SNSF project 200021 165549 | - |
| dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
| dc.subject | Completeness theorem | Decidability | Probabilistic logic | Upper and lower probabilities | en |
| dc.title | A decidable multi-agent logic with iterations of upper and lower probability operators | en |
| dc.type | Conference Paper | en |
| dc.relation.conference | 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018; Budapest; Hungary; 14 May 2018 through 18 May 2018 | - |
| dc.identifier.doi | 10.1007/978-3-319-90050-6_10 | en |
| dc.identifier.scopus | 2-s2.0-85046890785 | en |
| dc.relation.firstpage | 170 | - |
| dc.relation.lastpage | 185 | - |
| dc.relation.volume | 10833 LNCS | - |
| dc.description.rank | M33 | - |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.openairetype | Conference Paper | - |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| crisitem.author.orcid | 0000-0003-2508-6480 | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174008e.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 Education & Human Resources | - |
| 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 Education & Human Resources/1740089 | - |
| 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 | - |
SCOPUSTM
Citations
4
checked on Nov 18, 2024
Page view(s)
19
checked on Nov 19, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.