A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. - Nenad Savic; Dragan Doder; Zoran Ognjanovic (ECSQARU, 2017)

Justification Logic with Approximate Conditional Probabilities. - Zoran Ognjanovic; Nenad Savic; Thomas Studer (LORI, 2017)

Logics with lower and upper probability operators. - Nenad Savic; Dragan Doder; Zoran Ognjanovic (Int. J. Approx. Reason., 2017)

A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. - Dragan Doder; Nenad Savic; Zoran Ognjanovic (FoIKS, 2018)

Probabilistic Reasoning About Simply Typed Lambda Terms. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Zoran Ognjanovic; Nenad Savic (LFCS, 2018)

Public Announcements for Epistemic Models and Hypertheories. - Nenad Savic; Thomas Studer (ICLA, 2019)

Incomplete Information and Justifications. - Dragan Doder; Zoran Ognjanovic; Nenad Savic; Thomas Studer (TbiLLC, 2019)

Relevant Justification Logic. - Nenad Savic; Thomas Studer (FLAP, 2019)

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Zoran Ognjanovic; Nenad Savic (FoIKS, 2020)

Procode: the Swiss Multilingual Solution for Automatic Coding and Recoding of Occupations and Economic Activities. - Nenad Savic; Nicolas Bovio; Fabian Gilbert; Irina Guseva Canu (CoRR, 2020)

Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. - Dragan Doder; Nenad Savic; Zoran Ognjanovic (J. Log. Lang. Inf., 2020)