Резултати
| Назив: | A Probabilistic Temporal Epistemic Logic: Strong Completeness | Аутори: | Ognjanović, Zoran   ; Ilić Stepić, Angelina ; Perović, Aleksandar |
Година: | 2024 | Публикација: | Logic Journal of the IGPL / Interest Group in Pure and Applied Logics | ISSN: | 1367-0751 Logic Journal of the IGPL / Interest Group in Pure and Applied Logics Претражи идентификатор |
Издавач: | Oxford Academic | Тип резултата: | Научни чланак | Колација: | str. jzac072 | DOI: | 10.1093/jigpal/jzac072 | WoS-ID: | 000877666800001 | Scopus-ID: | 2-s2.0-85183667135 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/5284 https://enauka.gov.rs/handle/123456789/579866 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4860 |
Пројекат: | Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC | М-категорија: | 21aM21a - Водећи међународни часопис категорије M21a |