РЕФЕРЕНЦЕ:
- Т. Stojanović, T. Davidović, Z. Ognjanović, Bee colony optimization for the satisfiability problem in probabilistic logic, Applied Soft Computing 31 (2015): 339-347
- Т. Stojanović, A. Kaplarević-Mališić, Z. Ognjanović, An extension of the probability logic LPP2, Kragujevac J. Math. 33 (2010): 45-62
- M. Mosurović, T. Stojanović, A. Kaplarević-Mališić, Reasoning in Basic Description Logics and Description Logics with Modal Operators, Zbornik radova Logic in Computer Science, Matematički institut SANU (2009): 113-158
- 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
|