Nenad Savic

11 papers C 1Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.
J. Log. Lang. Inf.
Dragan Doder, Nenad Savic, Zoran Ognjanovic
2020 J jnl
Procode: the Swiss Multilingual Solution for Automatic Coding and Recoding of Occupations and Economic Activities.
CoRR
Nenad Savic, Nicolas Bovio, Fabian Gilbert, Irina Guseva Canu
2020 — conf
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case.
FoIKS
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
2019 — conf
Incomplete Information and Justifications.
TbiLLC
Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer
2019 — conf
Public Announcements for Epistemic Models and Hypertheories.
ICLA
Nenad Savic, Thomas Studer
2019 J jnl
Relevant Justification Logic.
FLAP
Nenad Savic, Thomas Studer
2018 — conf
A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators.
FoIKS
Dragan Doder, Nenad Savic, Zoran Ognjanovic
2018 Misc conf
Probabilistic Reasoning About Simply Typed Lambda Terms.
LFCS
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
2017 C conf
A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities.
ECSQARU
Nenad Savic, Dragan Doder, Zoran Ognjanovic
2017 — conf
Justification Logic with Approximate Conditional Probabilities.
LORI
Zoran Ognjanovic, Nenad Savic, Thomas Studer
2017 J jnl
Logics with lower and upper probability operators.
Int. J. Approx. Reason.
Nenad Savic, Dragan Doder, Zoran Ognjanovic