Nenad Savic

According to our database, Nenad Savic authored at least 11 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.

Dragan Doder, Nenad Savic, Zoran Ognjanovic

J. Log. Lang. Inf., 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

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Proceedings of the Foundations of Information and Knowledge Systems, 2020

2019

Relevant Justification Logic.

Nenad Savic, Thomas Studer

FLAP, 2019

Incomplete Information and Justifications.

Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Public Announcements for Epistemic Models and Hypertheories.

Nenad Savic, Thomas Studer

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

Probabilistic Reasoning About Simply Typed Lambda Terms.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators.

Dragan Doder, Nenad Savic, Zoran Ognjanovic

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

Logics with lower and upper probability operators.

Nenad Savic, Dragan Doder, Zoran Ognjanovic

Int. J. Approx. Reason., 2017

Justification Logic with Approximate Conditional Probabilities.

Zoran Ognjanovic, Nenad Savic, Thomas Studer

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities.

Nenad Savic, Dragan Doder, Zoran Ognjanovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017