Tatjana Stojanović, Ph.D. - Publications

Papers:

  1. Z. Ognjanović, T. Timotijević, On two approaches to modal theorem proving, Novi Sad J. Math., vol 30, No, 2, (2000) 83-93
  2. T. Timotijević, One implementation of PL prover algorithm, Kragujevac J. Math. 23, (2000) 119-130
  3. 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
  4. T. Stojanović, A. Kaplarević-Mališić, Z. Ognjanović, An extension of the probability logic , Kragujevac J. Math. 33, (2010) 113-158
  5. 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
  6. T. Stojanović, N. Ikodinović, T. Davidović, Z. Ognjanović, Automated non-monotonic reasoning in System P, Annals of Mathematics and Artificial Intelligence, 89(5) (2021), 471-509
    Click here to download test instances
  7. A. Perović, Z. Ognjanović, T. Stojanović, Logics for at most countable first-order structures, Journal Of Logic And Computation, 35 (8) (2025)

Conferences:

  1. 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
  2. Z. Ognjanović, T. Timotijević, On two approaches to modal theorem proving, 10. Kongres matematičara Jugoslavije, Beograd, 21-24. januar 2001
  3. T. Timotijević, One implementation of PL prover algorithm, 10. Kongres matematičara Jugoslavije, Beograd, 21-24. januar 2001
  4. 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.
  5. T. Stojanović, Probability description language P-ALCN, Prva nacionalna kongerencija “Verovatnosne logike i primene“, Beograd, 29.-30.09.2011.
  6. 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.
  7. 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.
  8. Т. 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
  9. Tatjana Stojanović, Combining Logic and Optimization for Applications in Probabilistic and Nonmonotonous Reasoning, First Serbian International Conference on Applied Artificial Intelligence, Kragujevac, Serbia, 2022.
  10. Dragutin Ostojić, Branko Arsić, Tatjana Stojanović, Neda Vidanović Miletić, Efficient Model for English to Serbian Neural Machine Translation, First Serbian International Conference on Applied Artificial Intelligence, Kragujevac, Serbia, 2022.
  11. Nikolija Mojsić, Tatjana Stojanović, Uvod u mašinsko učenje kroz primere iz umetnosti, Prva konferencija o nastvi matematike i informatike, Kragujevac, Srbija, 2024
  12. Aleksandar Perović, Zoran Ognjanović, Tatjana Stojanović, Using ????????????ℎ-????-logic in Neuro-Symbolic Reasoning, ARTIFICAL INTELLIGENCE CONFERENCE, Belgrade, Serbia, 2024
  13. Neda Milosavljević, Tatjana Stojanović, Darko Stojanović, Marko Spasić, Marija Živković Radojević, Bee colony optimization and automation of initial beam positioning in postoperative breast irradiation, ESTRO 2025, 2-6 May 2025, Vienna, Austria
    Radiotherapy and Oncology, Volume 206, Supplement 1, 2025, S637-S639

Books:

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