Bee colony optimization for the satisfiability problem in probabilistic logic T Stojanović, T Davidović, Z Ognjanović
Applied Soft Computing 31, 339-347, 2015
22 2015 Database of papers about probability logics Z Ognjanovic, T Timotijevic, A Stanojevic
Mathematical institute Belgrade, 2005
6 2005 An extension of the probability logic T Stojanović, A Kaplarević-Mališić, Z Ognjanović
Kragujevac Journal of Mathematics 33 (33), 45-62, 2010
2 2010 Automated non-monotonic reasoning in System P Z Stojanović, T., Ikodinović, N., Davidović, T. and Ognjanović
Annals of Mathematics and Artificial Intelligence, 471-509, 2021
1 2021 Some optimization methods for non-monotonic Reasoning in System P T Stojanović, N Ikodinović, T Davidović, Z Ognjanović
Faculty of Science, University of Kragujevac, 2018
2018 Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama T Stojanović
Универзитет у Крагујевцу, 2016
2016 One implementation of PL prover algorithm T Timotijević
Kragujevac Journal of Mathematics 23, 119 - 130, 2001
2001 On two approaches to modal theorem proving TT Zoran Ognjanović
NOVI SAD JOURNAL OF MATHEMATICS 30 (2), 83-93, 2000
2000 Automated non-monotonic reasoning in System P
Dealing with satisfiability problem in default logic using Bee-colony optimization T Stojanovic, N Ikodinovic, T Davidovic, Z Ognjanovic
ˇCetvrta nacionalna konferencija “Verovatnosne logike i njihove primene”, 37, 0
Probability description language P− ALCN T Stojanovic
Knjiga apstrakata, 34, 0
Reasoning in Basic Description Logics and Description Logics with Modal Operators M Mosurovic, T Stojanovic, A Kaplarevic-Mališic