Seguir
Tatjana Stojanovic
Tatjana Stojanovic
University of Kragujevac, Faculty of Science
Dirección de correo verificada de kg.ac.rs
Título
Citado por
Citado por
Año
Bee colony optimization for the satisfiability problem in probabilistic logic
T Stojanović, T Davidović, Z Ognjanović
Applied Soft Computing 31, 339-347, 2015
222015
Database of papers about probability logics
Z Ognjanovic, T Timotijevic, A Stanojevic
Mathematical institute Belgrade, 2005
62005
An extension of the probability logic
T Stojanović, A Kaplarević-Mališić, Z Ognjanović
Kragujevac Journal of Mathematics 33 (33), 45-62, 2010
22010
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
12021
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–12