Results
| Title: | A First-order Logic for Reasoning about Knowledge and Probability | Authors: | Tomović, Siniša   ; Ognjanović, Zoran ; Doder, Dragan |
Issue Date: | 2020 | Publication: | ACM Transactions on Computational Logic | ISSN: | 1529-3785 ACM Transactions on Computational Logic Search Idenfier |
Publisher: | Association for Computing Machinery | Type: | Article | Collation: | vol. 21 br. 2 str. 1-30 | DOI: | 10.1145/3359752 | WoS-ID: | 000535132200009 | Scopus-ID: | 2-s2.0-85082382863 | URI: | https://enauka.gov.rs/handle/123456789/578192 http://researchrepository.mi.sanu.ac.rs/handle/123456789/1753 |
Project: | Mathematical Modelas and Optimization Methods on Large-Scale Systems Representations of logical structures and formal languages and their application in computing 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 |
M-category: | 21M21 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.