Autori: Savic Nenad
Naslov | Incomplete Information and Justifications (Proceedings Paper) |
Autori | Doder Dragan J Ognjanovic Zoran D Savic Nenad Studer Thomas |
Info | LANGUAGE, LOGIC, AND COMPUTATION, (2022), vol. 13206 br. , str. 258-278 |
Projekat | SNSF project [200021 165549]; Serbian Ministry of Education and Science through Mathematical Institute of Serbian Academy of Sciences and Arts |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (Proceedings Paper) |
Autori | Ghilezan Silvia Ivetic Jelena B Kasterovic Simona Ognjanovic Zoran D Savic Nenad |
Info | FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, (2020), vol. 12012 br. , str. 122-139 |
Projekat | Serbian Ministry of Education and Science [ON174026, III 044006]; Swiss National Science Foundation [200021_165549] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities (Article) |
Autori | Doder Dragan J Savic Nenad Ognjanovic Zoran D |
Info | JOURNAL OF LOGIC LANGUAGE AND INFORMATION, (2020), vol. 29 br. 1, str. 77-107 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities (Proceedings Paper) |
Autori | Savic Nenad Doder Dragan J Ognjanovic Zoran D |
Info | SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, (2017), vol. 10369 br. , str. 491-500 |
Projekat | SNSF [200021_165549]; Serbian Ministry of Education and Science [ON174026, III44006, ON174008] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
Naslov | Logics with lower and upper probability operators (Article) |
Autori | Savic Nenad Doder Dragan J Ognjanovic Zoran D |
Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2017), vol. 88 br. , str. 148-168 |
Projekat | National Research Fund (FNR) of Luxembourg through project PRIMAT; National Research Fund (FNR) of Luxembourg through Swiss National Science Foundation grant [200021_165549]; Serbian Ministry of Education and Science [ON174026, III44006, ON174008] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A Logic with Upper and Lower Probability Operators (Proceedings Paper) |
Autori | Savic Nenad Doder Dragan J Ognjanovic Zoran D |
Info | PROCEEDINGS OF THE 9TH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS (ISIPTA '15), (2015), vol. br. , str. 267-276 |
Projekat | National Research Fund (FNR) of Luxembourg through project PRIMATLuxembourg National Research Fund; Serbian Ministry of Education and Science [ON174026, III44006] |
Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
Naslov | Application of Novel Zn-Ferrite Modified Glassy Carbon Paste Electrode as a Sensor for Determination of Cd(II) in Waste Water (Article) |
Autori | Stankovic Dalibor M Skrivanj Sandra B Savic Nenad Nikolic Aleksandar S Vulic Predrag J Manojlovic Dragan D |
Info | ELECTROANALYSIS, (2014), vol. 26 br. 7, str. 1536-1543 |
Projekat | Ministry for Science, Republic of Serbia [172030, 172035] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | The Implementation of Remote Maitenance of Bucket Wheel Excavator (Article) |
Autori | Prvulovic Slavica S Josimovic Ljubisa Savic Nenad |
Info | METALURGIA INTERNATIONAL, (2013), vol. 18 br. 1, str. 59-62 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |