Z. Ognjanović, T. Timotijević, On two approaches to modal theorem proving, Novi Sad J. Math., vol 30, No, 2, (2000) 83-93
T. Timotijević, One implementation of PL prover algorithm, Kragujevac J. Math. 23, (2000) 119-130
M. Mosurović, T. Stojanović, A. Kaplarević-Mališić, Reasoning in Basic Description Logics and Descripltion Logics with Modal Operators, Zbornik radova Logic in Computer Science, Matematički institut SANU, (2009) 113-158
T. Stojanović, A. Kaplarević-Mališić, Z. Ognjanović, An extension of the probability logic , Kragujevac J. Math. 33, (2010) 113-158
T. Stojanović, T. Davidović, Z. Ognjanović, Bee colony optimization for the satisfiability problem in probabilistic logic, Applied Soft Computing 31(0), (2015) 339 – 347 Click here to download test instances
T. Stojanović, N. Ikodinović, T. Davidović, Z. Ognjanović, Automated non-monotonic reasoning in System P, Annals of Mathematics and Artificial Intelligence, accepted Click here to download test instances
Conferences:
Z. Ognjanović, T. Timotijević, On two approaches to modal theorem proving, III International Conference on Theoretical Aspects of computer Science with practical applications, Novi Sad, Yugoslavia, September 6-7, 2000
Z. Ognjanović, T. Timotijević, On two approaches to modal theorem proving, 10. Kongres matematičara Jugoslavije, Beograd, 21-24. januar 2001
T. Timotijević, One implementation of PL prover algorithm, 10. Kongres matematičara Jugoslavije, Beograd, 21-24. januar 2001
D. Stefanović, S. Radisavljević, T. Timotijević, A. Kaplarević, Tehnički informacioni sistem rezervnih delova vozila, Info-Teh 2001, XV naučno-stručni skup, Zbornik radova, 316-319, Vrnjačka Banja, 18-22 jun 2001.
T. Stojanović, Probability description language P-ALCN, Prva nacionalna kongerencija “Verovatnosne logike i primene“, Beograd, 29.-30.09.2011.
T. Stojanović, T. Davidović, Z. Ognjanović, Bee Colony Optimization for the satisfiability problem in probabilistic logic, Treća nacionalna kongerencija “Verovatnosne logike i primene“, Beograd, 26.09.2013.
T. Stojanović, N. Ikodinović, T. Davidović, Z. Ognjanović, Dealing with satisfiability problem in default logic using Bee Colony Optimization, Četvrta nacionalna kongerencija “Verovatnosne logike i primene“, Beograd, 2.10.2014.
Т. Stojanović, N. Ikodinović, T. Davidović, Z. Ognjanović, Some optimization methods for non-monotonic reasoning in System P, XIV Serbian Mathematical Congress, Kragujevac, Serbia, May 16–19, 2018
Books:
M. Čabarkapa, S. Matković, T. Timotijević, Zbirka zadataka iz programiranja – okružna i republička takmičenja učenika osnovnih škola 1988-2006, Beograd, 2007