Volgen
Tatjana Stojanovic
Tatjana Stojanovic
University of Kragujevac, Faculty of Science
Geverifieerd e-mailadres voor kg.ac.rs
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–12