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 | | |