Nebojsa Ikodinovic

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 4

Top Topics

Conditional Probabilities

General Logic Programs

Probabilistic Logic

Top Venues

Int. J. Approx. Reason.

Fundam. Informaticae

Ann. Math. Artif. Intell.

Publications

Tatjana Stojanovic, Nebojsa Ikodinovic, Tatjana Davidovic, Zoran Ognjanovic
Automated non-monotonic reasoning in System P. Ann. Math. Artif. Intell. 89 (5-6) (2021)
Radosav Djordjevic, Nebojsa Ikodinovic, Nenad Stojanovic
A Propositional Metric Logic with Fixed Finite Ranges. Fundam. Informaticae 174 (2) (2020)
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
-additive probabilistic semantics. Ann. Pure Appl. Log. 171 (4) (2020)
Nenad Stojanovic, Nebojsa Ikodinovic, Radosav Djordjevic
A Propositional Logic with Binary Metric Operators. FLAP 5 (8) (2018)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
A first-order probabilistic logic with approximate conditional probabilities. Log. J. IGPL 22 (4) (2014)
Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic
Conditional p-adic probability logic. Int. J. Approx. Reason. 55 (9) (2014)
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
Hierarchies of probabilistic logics. Int. J. Approx. Reason. 55 (9) (2014)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Logics with Generalized Measure Operators. J. Multiple Valued Log. Soft Comput. 20 (5-6) (2013)
Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic
A p-adic probability logic. Math. Log. Q. 58 (4-5) (2012)
Vladimir Ristic, Radosav S. Dordevic, Nebojsa Ikodinovic
Biprobability logic with conditional expectation. Math. Log. Q. 57 (4) (2011)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Measure Logic. ECSQARU (2007)
Radosav Djordjevic, Nebojsa Ikodinovic, Zarko Mijajlovic
Completeness theorem for topological class models. Arch. Math. Log. 46 (1) (2007)
Nebojsa Ikodinovic, Zoran Ognjanovic
A Logic with Coherent Conditional Probabilities. ECSQARU (2005)