Nenad Savic

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 11

Top Topics

Anti Unification

Main Idea Consists

Probabilistic Reasoning

Classical Logic

Top Venues

Int. J. Approx. Reason.

Publications

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