Browsing by Author Kokkinis, Ioannis
Showing results 1 to 3 of 3
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas | First steps towards probabilistic justification logic | 1-Jan-2015 | Logic Journal of the IGPL; 23(4); 662-687 | M21 |
| Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas | Probabilistic justification logic | 1-Jan-2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2016; Deerfield Beach; United States; 4 January 2016 through 7 January 2016; 9537; 174-186 | M33 |
| Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas | Probabilistic justification logic | 23-Jan-2020 | Journal of Logic and Computation; 30(1); 257-280 | M21 |