Autori: Kokkinis Ioannis
Naslov | Probabilistic justification logic (Article) |
Autori | Kokkinis Ioannis Ognjanovic Zoran D Studer Thomas |
Info | JOURNAL OF LOGIC AND COMPUTATION, (2020), vol. 30 br. 1, str. 257-280 |
Projekat | SNSF project [153169]; Serbian Ministry of Education, Science and Technological Development |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Probabilistic Justification Logic (Proceedings Paper) |
Autori | Kokkinis Ioannis Ognjanovic Zoran D Studer Thomas |
Info | LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), (2016), vol. 9537 br. , str. 174-186 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | First steps towards probabilistic justification logic (Article) |
Autori | Kokkinis Ioannis Maksimovic Petar Ognjanovic Zoran D Studer Thomas |
Info | LOGIC JOURNAL OF THE IGPL, (2015), vol. 23 br. 4, str. 662-687 |
Projekat | SNSF [153169]; Serbian Ministry of Education, Science and Technological Development [III44006, ON174026] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |